blob: 5a431beef26eef02692e05be83cd7cb881f75e51 (
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
|
definition module predef
import syntax, hashtable
:: PredefinedSymbols :== {# PredefinedSymbol}
:: PredefinedSymbol =
{ pds_ident :: !Ident
, pds_module :: !Index
, pds_def :: !Index
}
/* identifiers not present the hastable */
PD_PredefinedModule :== 0
PD_StringType :== 1
PD_ListType :== 2
PD_Arity2TupleType :== 3
PD_Arity32TupleType :== 33
PD_LazyArrayType :== 34
PD_StrictArrayType :== 35
PD_UnboxedArrayType :== 36
PD_ConsSymbol :== 37
PD_NilSymbol :== 38
PD_Arity2TupleSymbol :== 39
PD_Arity32TupleSymbol :== 69
PD_TypeVar_a0 :== 70
PD_TypeVar_a31 :== 101
/* Dynamics */
PD_TypeCodeMember :== 102
// MV ...
PD_DynamicTemp :== 103
PD_DynamicValue :== 104
PD_DynamicType :== 105
// ... MV
/* identifiers present in the hastable */
PD_StdArray :== 106
PD_StdEnum :== 107
PD_StdBool :== 108
PD_AndOp :== 109
PD_OrOp :== 110
/* Array functions */
PD_ArrayClass :== 111
PD_CreateArrayFun :== 112
PD__CreateArrayFun :== 113
PD_ArraySelectFun :== 114
PD_UnqArraySelectFun :== 115
PD_ArrayUpdateFun :== 116
PD_ArrayReplaceFun :== 117
PD_ArraySizeFun :== 118
PD_UnqArraySizeFun :== 119
/* Enum/Comprehension functions */
PD_SmallerFun :== 120
PD_LessOrEqualFun:== 121
PD_SubFun:==122
PD_IncFun :== 123
PD_From :== 124
PD_FromThen :== 125
PD_FromTo :== 126
PD_FromThenTo :== 127
/* Dynamics */
PD_TypeCodeClass :== 128
PD_TypeObjectType :== 129
PD_TypeConsSymbol :== 130
PD_unify :== 131
// MV ..
PD_coerce :== 132
PD_variablePlaceholder :== 133
PD_StdDynamic :== 134
PD_undo_indirections :== 135
// MV ...
PD_TypeID :== 136
PD_ModuleID :== 137
PD_ModuleConsSymbol :== 138
// ... MV
/* Generics */
PD_StdGeneric :== 139
PD_TypeISO :== 140
PD_ConsISO :== 141
PD_iso_to :== 142
PD_iso_from :== 143
PD_TypeUNIT :== 144
PD_ConsUNIT :== 145
PD_TypeEITHER :== 146
PD_ConsLEFT :== 147
PD_ConsRIGHT :== 148
PD_TypePAIR :== 149
PD_ConsPAIR :== 150
PD_TypeARROW :== 151
PD_ConsARROW :== 152
PD_TypeConsDefInfo :== 153
PD_ConsConsDefInfo :== 154
PD_TypeTypeDefInfo :== 155
PD_ConsTypeDefInfo :== 156
PD_cons_info :== 157
PD_TypeCONS :== 158
PD_ConsCONS :== 159
PD_isomap_ARROW_ :== 160
PD_isomap_ID :== 161
/* StdMisc */
PD_StdMisc :== 162
PD_abort :== 163
PD_undef :== 164
PD_Start :== 165
PD_DummyForStrictAliasFun :== 166
PD_NrOfPredefSymbols :== 167
GetTupleConsIndex tup_arity :== PD_Arity2TupleSymbol + tup_arity - 2
GetTupleTypeIndex tup_arity :== PD_Arity2TupleType + tup_arity - 2
buildPredefinedSymbols :: !*HashTable -> (!.PredefinedSymbols,!*HashTable)
buildPredefinedModule :: !*PredefinedSymbols -> (!ScannedModule, !.PredefinedSymbols)
|
