diff options
Diffstat (limited to 'frontend/check.icl')
| -rw-r--r-- | frontend/check.icl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/frontend/check.icl b/frontend/check.icl index f22866b..76653c3 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -3,8 +3,7 @@ implementation module check import StdEnv, compare_types import syntax, expand_types, parse, checksupport, utilities, checktypes, transform, predef -import explicitimports, comparedefimp, checkFunctionBodies, containers -import genericsupport +import explicitimports, comparedefimp, checkFunctionBodies, containers, typesupport import typereify from checkgenerics import checkGenericDefs,checkGenericCaseDefs,convert_generic_instances,create_gencase_funtypes |