aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormartijnv2002-02-07 14:38:26 +0000
committermartijnv2002-02-07 14:38:26 +0000
commit01a69d965fa2cbf1adfc7d1fb7cbcb0446782278 (patch)
treecd865f436773f0b51431896c7d5224dad7b4558d
parentfix bug for boolean cases with then or else expressions that (diff)
- cosmetic changes: made some String-representation of type names symbolic
for the dynamic linker. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1006 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/predef.dcl2
-rw-r--r--frontend/predef.icl4
-rw-r--r--frontend/type_io_common.icl4
3 files changed, 9 insertions, 1 deletions
diff --git a/frontend/predef.dcl b/frontend/predef.dcl
index 85c184f..5704f58 100644
--- a/frontend/predef.dcl
+++ b/frontend/predef.dcl
@@ -203,6 +203,8 @@ UnderscoreSystemDynamicModule_String :== "_SystemDynamic"
DynamicRepresentation_String :== "DynamicTemp"
+T_ypeObjectTypeRepresentation_String :== "T_ypeObjectType"
+
// List-type
PD_ListType_String :== "_List"
PD_ConsSymbol_String :== "_Cons"
diff --git a/frontend/predef.icl b/frontend/predef.icl
index 563486d..7699085 100644
--- a/frontend/predef.icl
+++ b/frontend/predef.icl
@@ -280,7 +280,7 @@ predefined_idents
[PD_FromThenTo] = i "_from_then_to",
[PD_TypeCodeClass] = i "TC",
- [PD_TypeObjectType] = i "T_ypeObjectType",
+ [PD_TypeObjectType] = i T_ypeObjectTypeRepresentation_String,
[PD_TypeConsSymbol] = i "T_ypeConsSymbol",
[PD_variablePlaceholder] = i "P_laceholder",
[PD_UvariablePlaceholder] = i "UP_laceholder",
@@ -634,6 +634,8 @@ UnderscoreSystemDynamicModule_String :== "_SystemDynamic"
DynamicRepresentation_String :== "DynamicTemp"
+T_ypeObjectTypeRepresentation_String :== "T_ypeObjectType"
+
// List-type
PD_ListType_String :== "_List"
PD_ConsSymbol_String :== "_Cons"
diff --git a/frontend/type_io_common.icl b/frontend/type_io_common.icl
index a0f6292..c47cfaa 100644
--- a/frontend/type_io_common.icl
+++ b/frontend/type_io_common.icl
@@ -63,8 +63,12 @@ MaybeJustCode :== (toChar 31)
// used by {compiler,dynamic rts} to make String representation of types
PredefinedModuleName :== "_predefined"
+isPredefinedModuleName name :== name == PredefinedModuleName
+
UnderscoreSystemModule :== "_system" // implements the predefined module
+LowLevelInterfaceModule :== "StdDynamicLowLevelInterface"
+
instance toString GlobalTCType
where
toString (GTT_Basic basic_type) = create_type_string (toString basic_type) PredefinedModuleName