diff options
| author | ronny | 2004-03-17 12:26:47 +0000 |
|---|---|---|
| committer | ronny | 2004-03-17 12:26:47 +0000 |
| commit | a613de0b391f5f95b0496515ec73ac41639af7b2 (patch) | |
| tree | aef2a99b4618c4c8d6588ca53d3f039f6defe9f0 /frontend/convertDynamics.icl | |
| parent | ignore rank > 1 quantors in type_io (diff) | |
reification of type definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index 161b6dc..d5c8a59 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -646,8 +646,14 @@ where # predef_type_index = type_index + FirstTypePredefinedSymbolIndex = constructorExp (predefinedTypeConstructor predef_type_index) SK_Function 0 ci - typeConstructor (GTT_Constructor cons_ident) ci - = (App {app_symb = cons_ident, app_args = [], app_info_ptr = nilPtr}, ci) + typeConstructor (GTT_Constructor cons_ident fun_ident) ci + # type_cons + = App {app_symb = cons_ident, app_args = [], app_info_ptr = nilPtr} + # 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) typeConstructor (GTT_Basic basic_type) ci = constructorExp (basicTypeConstructor basic_type) SK_Function 0 ci typeConstructor GTT_Function ci |