aboutsummaryrefslogtreecommitdiff
path: root/frontend/explicitimports.dcl
diff options
context:
space:
mode:
authorjohnvg2010-07-13 11:44:10 +0000
committerjohnvg2010-07-13 11:44:10 +0000
commit64e63324f509a32f4139c5a6070fbdadb0dc35fc (patch)
tree1e233170d1719aa73886d1b5aeb77d027cd1d8bb /frontend/explicitimports.dcl
parentremove code for backwards compatibility with Clean 1.3 (diff)
improve failed explicit import error message
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1796 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/explicitimports.dcl')
-rw-r--r--frontend/explicitimports.dcl2
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