aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
Diffstat (limited to 'frontend')
-rw-r--r--frontend/classify.dcl2
-rw-r--r--frontend/classify.icl2
-rw-r--r--frontend/typereify.dcl3
-rw-r--r--frontend/typereify.icl3
4 files changed, 4 insertions, 6 deletions
diff --git a/frontend/classify.dcl b/frontend/classify.dcl
index 86734de..c448395 100644
--- a/frontend/classify.dcl
+++ b/frontend/classify.dcl
@@ -1,6 +1,6 @@
definition module classify
-import syntax, checksupport, transform
+import syntax, transform
CUnusedLazy :== -1
CUnusedStrict :== -2
diff --git a/frontend/classify.icl b/frontend/classify.icl
index 6ef3cd5..f14072f 100644
--- a/frontend/classify.icl
+++ b/frontend/classify.icl
@@ -6,7 +6,7 @@ implementation module classify
SwitchMultimatchClassification multi no_multi :== multi
SwitchNewOld new old :== new
-import syntax, checksupport, transform
+import syntax, transform
import StdStrictLists
:: CleanupInfo :== [ExprInfoPtr]
diff --git a/frontend/typereify.dcl b/frontend/typereify.dcl
index 2c1e361..0da434d 100644
--- a/frontend/typereify.dcl
+++ b/frontend/typereify.dcl
@@ -5,8 +5,7 @@ definition module typereify
from syntax import
::Ident, ::FunDef, ::IndexRange, ::TypeHeaps,
- ::SymbolTable, ::SymbolTableEntry, ::Heap
-from checksupport import
+ ::SymbolTable, ::SymbolTableEntry, ::Heap,
::DclModule, ::CommonDefs, ::VarHeap, ::VarInfo
from predef import
::PredefinedSymbols, ::PredefinedSymbol
diff --git a/frontend/typereify.icl b/frontend/typereify.icl
index 0cf6beb..ed7cf70 100644
--- a/frontend/typereify.icl
+++ b/frontend/typereify.icl
@@ -3,9 +3,8 @@
*/
implementation module typereify
-import checksupport
+import syntax
import typesupport
-// import StdDebug
typeFunName :: Ident -> {#Char}
typeFunName {id_name}