diff options
| author | ronny | 2004-04-19 14:19:38 +0000 |
|---|---|---|
| committer | ronny | 2004-04-19 14:19:38 +0000 |
| commit | 46d10df341f0c1bbc5452dabea0210b2599039bb (patch) | |
| tree | 260fde8c24e404fb771bc86df45dd91d6db8ebd4 /frontend/convertDynamics.icl | |
| parent | mark lazy and/or curried entries of cons for list of unboxed records (diff) | |
remove TC; types
type constructors in dynamic types are now uniquely represented by the
descriptor of their TD_ (type definition) function
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1486 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index d5c8a59..df56c4e 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -646,14 +646,12 @@ where # predef_type_index = type_index + FirstTypePredefinedSymbolIndex = constructorExp (predefinedTypeConstructor predef_type_index) SK_Function 0 ci - typeConstructor (GTT_Constructor cons_ident fun_ident) ci - # type_cons - = App {app_symb = cons_ident, app_args = [], app_info_ptr = nilPtr} + typeConstructor (GTT_Constructor fun_ident) ci # type_fun = App {app_symb = fun_ident, app_args = [], app_info_ptr = nilPtr} # (to_tc_symb, ci) = getSymbol PD_Dyn__to_TypeCodeConstructor SK_Function 2 ci - = (App {app_symb = to_tc_symb, app_args = [type_cons, type_fun], app_info_ptr = nilPtr}, ci) + = (App {app_symb = to_tc_symb, app_args = [type_fun], app_info_ptr = nilPtr}, ci) typeConstructor (GTT_Basic basic_type) ci = constructorExp (basicTypeConstructor basic_type) SK_Function 0 ci typeConstructor GTT_Function ci |