aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
authorjohnvg2007-02-06 14:05:13 +0000
committerjohnvg2007-02-06 14:05:13 +0000
commitab722a681973019fec3049d445b58b5ef8b73295 (patch)
tree5dd70e638cab76bebee572ae87eb1d4d5e106795 /frontend/syntax.dcl
parentremove di_instances, because it is always [] (diff)
in checkExplicitImportCompleteness when checking whether a symbol is imported,
compare module number and symbol number as well, instead of just the name of the ident git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1646 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl3
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index cef2bf7..96226f1 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -64,12 +64,15 @@ instance == FunctionOrMacroIndex
the "actual" dcl module.
*/
| STE_BelongingSymbol !Int
+ | STE_ExplImpSymbolNotImported !ModuleN
| STE_UsedType !Index !STE_Kind
/* used during binding of types to mark types that have been applied. The first */
| STE_BelongingSymbolExported
| STE_BelongingSymbolForExportedSymbol
+:: ModuleN:==Int
+
:: Declaration = Declaration !DeclarationRecord
:: DeclarationRecord =