import module _SystemDynamic instead of StdCleanTypes if -dynamics is used,

don't generate type representation in TD; functions,
use TypeCodeConstructor and TD_ constructors instead of TypeCodeConstructor.. functions


git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2070 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

1 files changed, 133 insertions, 109 deletions

diff --git a/frontend/predef.dcl b/frontend/predef.dcl
index f4a4d77..8c45127 100644
--- a/frontend/predef.dcl
+++ b/frontend/predef.dcl
@@ -160,121 +160,145 @@ PD_Dyn_initial_unification_environment	:== 172
 PD_Dyn_bind_global_type_pattern_var		:== 173
 PD_Dyn_unify							:== 174
 PD_Dyn_normalise						:== 175
-// predefined type code constructor (expressions)
-PD_Dyn_TypeCodeConstructorInt						:==	176
-PD_Dyn_TypeCodeConstructorChar						:== 177
-PD_Dyn_TypeCodeConstructorReal						:== 178
-PD_Dyn_TypeCodeConstructorBool						:== 179
-PD_Dyn_TypeCodeConstructorDynamic					:== 180
-PD_Dyn_TypeCodeConstructorFile						:== 181
-PD_Dyn_TypeCodeConstructorWorld						:== 182
-PD_Dyn_TypeCodeConstructor_Arrow					:== 183
-PD_Dyn_TypeCodeConstructor_List						:== 184
-PD_Dyn_TypeCodeConstructor_StrictList				:== 185
-PD_Dyn_TypeCodeConstructor_UnboxedList				:== 186
-PD_Dyn_TypeCodeConstructor_TailStrictList			:== 187
-PD_Dyn_TypeCodeConstructor_StrictTailStrictList		:== 188		
-PD_Dyn_TypeCodeConstructor_UnboxedTailStrictList	:== 189
-PD_Dyn_TypeCodeConstructor_Tuple					:== 190
-PD_Dyn_TypeCodeConstructor_LazyArray				:== 191
-PD_Dyn_TypeCodeConstructor_StrictArray				:== 192
-PD_Dyn_TypeCodeConstructor_UnboxedArray				:== 193
 
 /* Generics */
-PD_StdGeneric				:== 194
+PD_StdGeneric				:== 176
 // Generics types
-PD_TypeBimap				:== 195
-PD_TypeUNIT					:== 196
-PD_TypeEITHER				:== 197
-PD_TypePAIR					:== 198
+PD_TypeBimap				:== 177
+PD_TypeUNIT					:== 178
+PD_TypeEITHER				:== 179
+PD_TypePAIR					:== 180
 // for constructor info
-PD_TypeCONS					:== 199
-PD_TypeFIELD				:== 200
-PD_TypeOBJECT				:== 201
-PD_GenericInfo				:== 202
-PD_TGenericConsDescriptor 	:== 203
-PD_TGenericFieldDescriptor 	:== 204
-PD_TGenericTypeDefDescriptor :== 205
-PD_TGenConsPrio				:== 206
-PD_TGenConsAssoc			:== 207
-PD_TGenType					:== 208
-
-PD_TypeGenericDict 			:== 209
+PD_TypeCONS					:== 181
+PD_TypeFIELD				:== 182
+PD_TypeOBJECT				:== 183
+PD_GenericInfo				:== 184
+//PD_TGenericConsDescriptor 	:== 184
+PD_TGenericFieldDescriptor 	:== 185
+PD_TGenericTypeDefDescriptor :== 186
+PD_TGenConsPrio				:== 187
+PD_TGenConsAssoc			:== 188
+PD_TGenType					:== 189
+
+PD_TypeGenericDict 			:== 190
 // Generics fields
-PD_map_to					:== 210
-PD_map_from					:== 211
-// Generics expressions
-PD_ConsBimap				:== 212
-PD_ConsUNIT					:== 213
-PD_ConsLEFT					:== 214
-PD_ConsRIGHT				:== 215
-PD_ConsPAIR					:== 216
+PD_map_to					:== 191
+PD_map_from					:== 192
+// Generics expression
+PD_ConsBimap				:== 193
+PD_ConsUNIT					:== 194
+PD_ConsLEFT					:== 195
+PD_ConsRIGHT				:== 196
+PD_ConsPAIR					:== 197
 // for constructor info
-PD_ConsCONS					:== 217
-PD_ConsFIELD				:== 218
-PD_ConsOBJECT				:== 219
-PD_NoGenericInfo			:== 220
-PD_GenericConsInfo			:== 221
-PD_GenericFieldInfo			:== 222
-PD_GenericTypeInfo			:== 223
-PD_CGenericConsDescriptor 	:== 224
-PD_CGenericFieldDescriptor 	:== 225
-PD_CGenericTypeDefDescriptor :== 226
-PD_CGenConsNoPrio			:== 227
-PD_CGenConsPrio				:== 228
-PD_CGenConsAssocNone		:== 229
-PD_CGenConsAssocLeft		:== 230
-PD_CGenConsAssocRight		:== 231
-PD_CGenTypeCons				:== 232
-PD_CGenTypeVar				:== 233
-PD_CGenTypeArrow			:== 234
-PD_CGenTypeApp				:== 235
-
-PD_bimapId					:== 236
-PD_GenericBimap				:== 237
-
-PD_FromS					:== 238
-PD_FromTS					:== 239
-PD_FromSTS					:== 240
-PD_FromU					:== 241
-PD_FromUTS					:== 242
-PD_FromO					:== 243
-
-PD_FromThenS				:== 244
-PD_FromThenTS				:== 245
-PD_FromThenSTS				:== 246
-PD_FromThenU				:== 247
-PD_FromThenUTS				:== 248
-PD_FromThenO				:== 249
-
-PD_FromToS					:== 250
-PD_FromToTS					:== 251
-PD_FromToSTS				:== 252
-PD_FromToU					:== 253
-PD_FromToUTS				:== 254
-PD_FromToO					:== 255
-
-PD_FromThenToS				:== 256
-PD_FromThenToTS				:== 257
-PD_FromThenToSTS			:== 258
-PD_FromThenToU				:== 259
-PD_FromThenToUTS			:== 260
-PD_FromThenToO				:== 261
-
-/* Clean Type introspection */
-PD_CleanTypes				:== 262
-PD_CTTypeDef				:== 263
-PD_CTAlgType				:== 264
-PD_CTRecordType				:== 265
-PD_CTSynType				:== 266
-PD_CTPredefined				:== 267
-PD_CTConsDef				:== 268
-PD__CTToCons				:== 269
-PD_CTFieldDef				:== 270
-
-PD_Dyn__to_TypeCodeConstructor	:== 271
-
-PD_NrOfPredefSymbols		:== 272
+PD_ConsCONS					:== 198
+PD_ConsFIELD				:== 199
+PD_ConsOBJECT				:== 200
+PD_NoGenericInfo			:== 201
+PD_GenericConsInfo			:== 202
+PD_GenericFieldInfo			:== 203
+PD_GenericTypeInfo			:== 204
+PD_CGenericConsDescriptor 	:== 205
+PD_CGenericFieldDescriptor 	:== 206
+PD_CGenericTypeDefDescriptor :== 207
+PD_CGenConsNoPrio			:== 208
+PD_CGenConsPrio				:== 209
+PD_CGenConsAssocNone		:== 210
+PD_CGenConsAssocLeft		:== 211
+PD_CGenConsAssocRight		:== 212
+PD_CGenTypeCons				:== 213
+PD_CGenTypeVar				:== 214
+PD_CGenTypeArrow			:== 215
+PD_CGenTypeApp				:== 216
+
+PD_bimapId					:== 217
+PD_GenericBimap				:== 218
+
+PD_FromS					:== 219
+PD_FromTS					:== 220
+PD_FromSTS					:== 221
+PD_FromU					:== 222
+PD_FromUTS					:== 223
+PD_FromO					:== 224
+
+PD_FromThenS				:== 225
+PD_FromThenTS				:== 226
+PD_FromThenSTS				:== 227
+PD_FromThenU				:== 228
+PD_FromThenUTS				:== 229
+PD_FromThenO				:== 230
+
+PD_FromToS					:== 231
+PD_FromToTS					:== 232
+PD_FromToSTS				:== 233
+PD_FromToU					:== 234
+PD_FromToUTS				:== 235
+PD_FromToO					:== 236
+
+PD_FromThenToS				:== 237
+PD_FromThenToTS				:== 238
+PD_FromThenToSTS			:== 239
+PD_FromThenToU				:== 240
+PD_FromThenToUTS			:== 241
+PD_FromThenToO				:== 242
+
+PD_Dyn__to_TypeCodeConstructor	:== 243
+PD_TypeCodeConstructor :== 244
+
+PD_TC_Int			:== 245
+PD_TC_Char			:== 246
+PD_TC_Real			:== 247
+PD_TC_Bool			:== 248
+PD_TC_Dynamic		:== 249
+PD_TC_File			:== 250
+PD_TC_World			:== 251
+
+PD_TC__Arrow		:== 252
+
+PD_TC__List			:== 253
+PD_TC__StrictList	:== 254
+PD_TC__UnboxedList	:== 255
+PD_TC__TailStrictList	:== 256
+PD_TC__StrictTailStrictList	:== 257
+PD_TC__UnboxedTailStrictList	:== 258
+
+PD_TC__Tuple2		:== 259
+PD_TC__Tuple3		:== 260
+PD_TC__Tuple4		:== 261
+PD_TC__Tuple5		:== 262
+PD_TC__Tuple6		:== 263
+PD_TC__Tuple7		:== 264
+PD_TC__Tuple8		:== 265
+PD_TC__Tuple9		:== 266
+PD_TC__Tuple10		:== 267
+PD_TC__Tuple11		:== 268
+PD_TC__Tuple12		:== 269
+PD_TC__Tuple13		:== 270
+PD_TC__Tuple14		:== 271
+PD_TC__Tuple15		:== 272
+PD_TC__Tuple16		:== 273
+PD_TC__Tuple17		:== 274
+PD_TC__Tuple18		:== 275
+PD_TC__Tuple19		:== 276
+PD_TC__Tuple20		:== 277
+PD_TC__Tuple21		:== 278
+PD_TC__Tuple22		:== 279
+PD_TC__Tuple23		:== 280
+PD_TC__Tuple24		:== 281
+PD_TC__Tuple25		:== 282
+PD_TC__Tuple26		:== 283
+PD_TC__Tuple27		:== 284
+PD_TC__Tuple28		:== 285
+PD_TC__Tuple29		:== 286
+PD_TC__Tuple30		:== 287
+PD_TC__Tuple31		:== 288
+PD_TC__Tuple32		:== 289
+
+PD_TC__LazyArray	:== 290
+PD_TC__StrictArray	:== 291
+PD_TC__UnboxedArray	:== 292
+
+PD_NrOfPredefSymbols		:== 293
 
 GetTupleConsIndex tup_arity :== PD_Arity2TupleSymbol + tup_arity - 2
 GetTupleTypeIndex tup_arity :== PD_Arity2TupleType + tup_arity - 2