From a613de0b391f5f95b0496515ec73ac41639af7b2 Mon Sep 17 00:00:00 2001
From: ronny
Date: Wed, 17 Mar 2004 12:26:47 +0000
Subject: reification of type definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
frontend/convertDynamics.icl | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
(limited to 'frontend/convertDynamics.icl')
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
--
cgit v1.2.3