diff options
| -rw-r--r-- | frontend/convertDynamics.dcl | 6 | ||||
| -rw-r--r-- | frontend/convertcases.dcl | 2 | ||||
| -rw-r--r-- | frontend/type_io.dcl | 1 |
3 files changed, 2 insertions, 7 deletions
diff --git a/frontend/convertDynamics.dcl b/frontend/convertDynamics.dcl index 7c8f44e..8ce0b52 100644 --- a/frontend/convertDynamics.dcl +++ b/frontend/convertDynamics.dcl @@ -1,10 +1,6 @@ -/* - module owner: Ronny Wichers Schreur -*/ definition module convertDynamics -import syntax , checksupport -from partition import ::Component +import syntax, checksupport :: TypeCodeVariableInfo :: DynamicValueAliasInfo diff --git a/frontend/convertcases.dcl b/frontend/convertcases.dcl index 2648812..dab97d7 100644 --- a/frontend/convertcases.dcl +++ b/frontend/convertcases.dcl @@ -4,7 +4,7 @@ definition module convertcases import syntax -from partition import ::Component +from checksupport import ::Component :: LetVarInfo :: LetExpressionInfo diff --git a/frontend/type_io.dcl b/frontend/type_io.dcl index 114d0a3..e22afbe 100644 --- a/frontend/type_io.dcl +++ b/frontend/type_io.dcl @@ -5,7 +5,6 @@ definition module type_io import scanner, general, Heap, typeproperties, utilities, checksupport import StdEnv -import trans :: WriteTypeInfoState = { wtis_n_type_vars :: !Int |