diff options
Diffstat (limited to 'frontend/explicitimports.dcl')
| -rw-r--r-- | frontend/explicitimports.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/explicitimports.dcl b/frontend/explicitimports.dcl index f428874..afd799a 100644 --- a/frontend/explicitimports.dcl +++ b/frontend/explicitimports.dcl @@ -48,4 +48,6 @@ search_qualified_ident :: !Ident {#Char} !NameSpaceN !*CheckState -> (!Bool,!Dec search_qualified_import :: !String !SortedQualifiedImports !NameSpaceN -> (!Bool,!DeclarationRecord) search_qualified_imports :: !String !SortedQualifiedImports !NameSpaceN -> [DeclarationRecord] +qualified_import_for_type :: !String !SortedQualifiedImports -> Bool + restore_module_ste_kinds_in_symbol_table :: ![(SymbolPtr,STE_Kind)] !*SymbolTable -> *SymbolTable |