aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
authormartinw2000-01-04 14:15:47 +0000
committermartinw2000-01-04 14:15:47 +0000
commit863c7d815d5cf98d90304b9ad4b77b554b6f6d35 (patch)
tree20ec9e7b330e2ccd5766c8de18109f519e1fd97b /frontend/checksupport.dcl
parentcompile time pattern matching only took linearity into account but (diff)
introduced new error message: "StdDynamics not imported"
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@72 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl9
1 files changed, 8 insertions, 1 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index a1b5a95..50a3f3d 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -14,6 +14,12 @@ cGlobalScope :== 1
cIsNotADclModule :== False
cIsADclModule :== True
+// MW..
+cNeedStdArray :== 1
+cNeedStdEnum :== 2
+cNeedStdDynamics:== 4
+// ..MW
+
:: VarHeap :== Heap VarInfo
:: Heaps =
@@ -24,7 +30,8 @@ cIsADclModule :== True
:: ErrorAdmin = { ea_file :: !.File, ea_loc :: ![IdentPos], ea_ok :: !Bool }
-:: CheckState = { cs_symbol_table :: !.SymbolTable, cs_predef_symbols :: !.PredefinedSymbols, cs_error :: !.ErrorAdmin }
+:: CheckState = { cs_symbol_table :: !.SymbolTable, cs_predef_symbols :: !.PredefinedSymbols, cs_error :: !.ErrorAdmin,
+ cs_needed_modules :: !BITVECT } // MW++
// SymbolTable :== {# SymbolTableEntry}