diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/predef.dcl | 2 | ||||
| -rw-r--r-- | frontend/predef.icl | 4 | ||||
| -rw-r--r-- | frontend/type_io_common.icl | 4 |
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 |