diff options
Diffstat (limited to 'frontend/explicitimports.dcl')
| -rw-r--r-- | frontend/explicitimports.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl index 334b9e6..0ffc679 100644 --- a/frontend/explicitimports.dcl +++ b/frontend/explicitimports.dcl @@ -34,7 +34,7 @@ checkExplicitImportCompleteness :: ![([Declaration], Position)] ![([Declaration] !*{#DclModule} !*{#*{#FunDef}} !*ExpressionHeap !*CheckState -> (!.{#DclModule},!*{#*{#FunDef}},!.ExpressionHeap,!.CheckState) -store_qualified_explicit_imports_in_symbol_table :: ![([Declaration],Int,Position)] ![(SymbolPtr,STE_Kind)] !*SymbolTable *{#DclModule} -> (![(SymbolPtr,STE_Kind)],!*SymbolTable,!*{#DclModule}) +store_qualified_explicit_imports_in_symbol_table :: ![([Declaration],Int,Position)] ![(SymbolPtr,STE_Kind)] !*SymbolTable !*{#DclModule} -> (![(SymbolPtr,STE_Kind)],!*SymbolTable,!*{#DclModule}) :: NameSpaceN:==Int |