aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl3
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 6b14923..0c7e306 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -4,8 +4,9 @@ import StdEnv
import scanner, general, typeproperties, Heap
import IndexType
-
from containers import ::NumberSet
+from convertDynamics import :: TypeCodeVariableInfo, :: DynamicValueAliasInfo
+from convertcases import :: LetVarInfo, :: LetExpressionInfo, :: RefCountsInCase, :: SplitsInCase
:: Ident =
{ id_name :: !String