blob: 620b4706d49165e71e335c9662b53aeb22920ad4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
|
definition module predef
import syntax, hashtable
:: PredefinedSymbols :== {# PredefinedSymbol}
:: PredefinedSymbol = {
pds_module :: !Index,
pds_def :: !Index
}
init_identifiers :: !*SymbolTable !*World -> (!*SymbolTable,!*World)
predefined_idents :: {!Ident}
buildPredefinedSymbols :: !*HashTable -> (!.PredefinedSymbols,!*HashTable)
buildPredefinedModule :: !Bool !*PredefinedSymbols -> (!ScannedModule, !.PredefinedSymbols)
cPredefinedModuleIndex :== 1
PD_StringTypeIndex :== 0
PD_Arity2TupleTypeIndex :== 8
PD_Arity32TupleTypeIndex :== 38
/* identifiers not present the hashtable */
PD_PredefinedModule :== 0
FirstTypePredefinedSymbolIndex:==PD_StringType; // to compute index in com_type_defs
PD_StringType :== 1
PD_ListType :== 2
PD_StrictListType :== 3
PD_UnboxedListType :== 4
PD_TailStrictListType :== 5
PD_StrictTailStrictListType :== 6
PD_UnboxedTailStrictListType :== 7
PD_OverloadedListType :== 8
PD_Arity2TupleType :== 9
PD_Arity32TupleType :== 39
PD_LazyArrayType :== 40
PD_StrictArrayType :== 41
PD_UnboxedArrayType :== 42
PD_UnitType :== 43
// constructors:
FirstConstructorPredefinedSymbolIndex :== PD_ConsSymbol; // to compute index in com_cons_defs
PD_ConsSymbol :== 44
PD_StrictConsSymbol :== 45
PD_UnboxedConsSymbol :== 46
PD_TailStrictConsSymbol :== 47
PD_StrictTailStrictConsSymbol :== 48
PD_UnboxedTailStrictConsSymbol :== 49
PD_OverloadedConsSymbol :== 50
PD_NilSymbol :== 51
PD_StrictNilSymbol :== 52
PD_UnboxedNilSymbol :== 53
PD_TailStrictNilSymbol :== 54
PD_StrictTailStrictNilSymbol :== 55
PD_UnboxedTailStrictNilSymbol :== 56
PD_OverloadedNilSymbol :== 57
PD_Arity2TupleSymbol :== 58
PD_Arity32TupleSymbol :== 88
PD_UnitConsSymbol :== 89
// end constructors
PD_TypeVar_a0 :== 90
PD_TypeVar_a31 :== 121
/* identifiers present in the hashtable */
PD_StdArray :== 122
PD_StdEnum :== 123
PD_StdBool :== 124
PD_AndOp :== 125
PD_OrOp :== 126
/* Array functions */
PD_ArrayClass :== 127
PD_CreateArrayFun :== 128
PD__CreateArrayFun :== 129
PD_ArraySelectFun :== 130
PD_UnqArraySelectFun :== 131
PD_ArrayUpdateFun :== 132
PD_ArrayReplaceFun :== 133
PD_ArraySizeFun :== 134
PD_UnqArraySizeFun :== 135
/* Enum/Comprehension functions */
PD_SmallerFun :== 136
PD_LessOrEqualFun :== 137
PD_IncFun :== 138
PD_SubFun :== 139
PD_From :== 140
PD_FromThen :== 141
PD_FromTo :== 142
PD_FromThenTo :== 143
/* StdMisc */
PD_StdMisc :== 144
PD_abort :== 145
PD_undef :== 146
PD_Start :== 147
PD_DummyForStrictAliasFun :== 148
PD_StdStrictLists:==149
PD_cons:==150
PD_decons:==151
PD_cons_u:==152
PD_decons_u:==153
PD_cons_uts:==154
PD_decons_uts:==155
PD_nil:==156
PD_nil_u:==157
PD_nil_uts:==158
PD_ListClass :== 159
PD_UListClass :== 160
PD_UTSListClass :== 161
/* Dynamics */
// TC class
PD_TypeCodeMember :== 162
PD_TypeCodeClass :== 163
// dynamic module
PD_StdDynamic :== 164
// dynamic type
PD_Dyn_DynamicTemp :== 165
// type code (type)
PD_Dyn_TypeCode :== 166
// unification (type)
PD_Dyn_UnificationEnvironment :== 167
// type code (expressions)
PD_Dyn_TypeScheme :== 168
PD_Dyn_TypeApp :== 169
PD_Dyn_TypeVar :== 170
PD_Dyn_TypeCons :== 171
PD_Dyn_TypeUnique :== 172
PD_Dyn__TypeFixedVar :== 173
// unification (expressions)
PD_Dyn_initial_unification_environment :== 174
PD_Dyn_bind_global_type_pattern_var :== 175
PD_Dyn_unify :== 176
PD_Dyn_normalise :== 177
/* Generics */
PD_StdGeneric :== 178
// Generics types
PD_TypeBimap :== 179
PD_TypeUNIT :== 180
PD_TypeEITHER :== 181
PD_TypePAIR :== 182
// for constructor info
PD_TypeCONS :== 183
PD_TypeRECORD :== 184
PD_TypeFIELD :== 185
PD_TypeOBJECT :== 186
PD_TGenericConsDescriptor :== 187
PD_TGenericRecordDescriptor :== 188
PD_TGenericFieldDescriptor :== 189
PD_TGenericTypeDefDescriptor :== 190
PD_TGenConsPrio :== 191
PD_TGenConsAssoc :== 192
PD_TGenType :== 193
PD_TypeGenericDict :== 194
// Generics fields
PD_map_to :== 195
PD_map_from :== 196
// Generics expression
PD_ConsBimap :== 197
PD_ConsUNIT :== 198
PD_ConsLEFT :== 199
PD_ConsRIGHT :== 200
PD_ConsPAIR :== 201
// for constructor info
PD_ConsCONS :== 202
PD_ConsRECORD :== 203
PD_ConsFIELD :== 204
PD_ConsOBJECT :== 205
PD_CGenericConsDescriptor :== 206
PD_CGenericRecordDescriptor :== 207
PD_CGenericFieldDescriptor :== 208
PD_CGenericTypeDefDescriptor :== 209
PD_CGenConsNoPrio :== 210
PD_CGenConsPrio :== 211
PD_CGenConsAssocNone :== 212
PD_CGenConsAssocLeft :== 213
PD_CGenConsAssocRight :== 214
PD_CGenTypeCons :== 215
PD_CGenTypeVar :== 216
PD_CGenTypeArrow :== 217
PD_CGenTypeApp :== 218
PD_bimapId :== 219
PD_GenericBimap :== 220
PD_FromS :== 221
PD_FromTS :== 222
PD_FromSTS :== 223
PD_FromU :== 224
PD_FromUTS :== 225
PD_FromO :== 226
PD_FromThenS :== 227
PD_FromThenTS :== 228
PD_FromThenSTS :== 229
PD_FromThenU :== 230
PD_FromThenUTS :== 231
PD_FromThenO :== 232
PD_FromToS :== 233
PD_FromToTS :== 234
PD_FromToSTS :== 235
PD_FromToU :== 236
PD_FromToUTS :== 237
PD_FromToO :== 238
PD_FromThenToS :== 239
PD_FromThenToTS :== 240
PD_FromThenToSTS :== 241
PD_FromThenToU :== 242
PD_FromThenToUTS :== 243
PD_FromThenToO :== 244
PD_Dyn__to_TypeCodeConstructor :== 245
PD_TypeCodeConstructor :== 246
PD_TC_Int :== 247
PD_TC_Char :== 248
PD_TC_Real :== 249
PD_TC_Bool :== 250
PD_TC_Dynamic :== 251
PD_TC_File :== 252
PD_TC_World :== 253
PD_TC__Arrow :== 254
PD_TC__List :== 255
PD_TC__StrictList :== 256
PD_TC__UnboxedList :== 257
PD_TC__TailStrictList :== 258
PD_TC__StrictTailStrictList :== 259
PD_TC__UnboxedTailStrictList :== 260
PD_TC__Tuple2 :== 261
PD_TC__Tuple3 :== 262
PD_TC__Tuple4 :== 263
PD_TC__Tuple5 :== 264
PD_TC__Tuple6 :== 265
PD_TC__Tuple7 :== 266
PD_TC__Tuple8 :== 267
PD_TC__Tuple9 :== 268
PD_TC__Tuple10 :== 269
PD_TC__Tuple11 :== 270
PD_TC__Tuple12 :== 271
PD_TC__Tuple13 :== 272
PD_TC__Tuple14 :== 273
PD_TC__Tuple15 :== 274
PD_TC__Tuple16 :== 275
PD_TC__Tuple17 :== 276
PD_TC__Tuple18 :== 277
PD_TC__Tuple19 :== 278
PD_TC__Tuple20 :== 279
PD_TC__Tuple21 :== 280
PD_TC__Tuple22 :== 281
PD_TC__Tuple23 :== 282
PD_TC__Tuple24 :== 283
PD_TC__Tuple25 :== 284
PD_TC__Tuple26 :== 285
PD_TC__Tuple27 :== 286
PD_TC__Tuple28 :== 287
PD_TC__Tuple29 :== 288
PD_TC__Tuple30 :== 289
PD_TC__Tuple31 :== 290
PD_TC__Tuple32 :== 291
PD_TC__LazyArray :== 292
PD_TC__StrictArray :== 293
PD_TC__UnboxedArray :== 294
PD_TC__Unit :== 295
PD_NrOfPredefSymbols :== 296
GetTupleConsIndex tup_arity :== PD_Arity2TupleSymbol + tup_arity - 2
GetTupleTypeIndex tup_arity :== PD_Arity2TupleType + tup_arity - 2
// changes requires recompile of {static,dynamic}-linker plus all dynamics ever made
UnderscoreSystemDynamicModule_String :== "_SystemDynamic"
// List-type
PD_ListType_String :== "_List"
PD_ConsSymbol_String :== "_Cons"
PD_NilSymbol_String :== "_Nil"
// Array-type
PD_UnboxedArray_String :== "_#Array"
DynamicRepresentation_String :== "DynamicTemp" // "_DynamicTemp"
|
