diff options
Diffstat (limited to 'frontend/predef.dcl')
| -rw-r--r-- | frontend/predef.dcl | 243 |
1 files changed, 129 insertions, 114 deletions
diff --git a/frontend/predef.dcl b/frontend/predef.dcl index 70874f9..1be3af7 100644 --- a/frontend/predef.dcl +++ b/frontend/predef.dcl @@ -66,146 +66,161 @@ PD_Arity32TupleSymbol :== 87 PD_TypeVar_a0 :== 88 PD_TypeVar_a31 :== 119 -/* Dynamics */ - -PD_TypeCodeMember :== 120 -PD_TypeCodeClass :== 121 -PD_Dyn_bind_global_type_pattern_var - :== 122 -PD_Dyn_ModuleID :== 123 - /* identifiers present in the hashtable */ -PD_StdArray :== 124 -PD_StdEnum :== 125 -PD_StdBool :== 126 +PD_StdArray :== 120 +PD_StdEnum :== 121 +PD_StdBool :== 122 -PD_AndOp :== 127 -PD_OrOp :== 128 +PD_AndOp :== 123 +PD_OrOp :== 124 /* Array functions */ -PD_ArrayClass :== 129 +PD_ArrayClass :== 125 -PD_CreateArrayFun :== 130 -PD__CreateArrayFun :== 131 -PD_ArraySelectFun :== 132 -PD_UnqArraySelectFun :== 133 -PD_ArrayUpdateFun :== 134 -PD_ArrayReplaceFun :== 135 -PD_ArraySizeFun :== 136 -PD_UnqArraySizeFun :== 137 +PD_CreateArrayFun :== 126 +PD__CreateArrayFun :== 127 +PD_ArraySelectFun :== 128 +PD_UnqArraySelectFun :== 129 +PD_ArrayUpdateFun :== 130 +PD_ArrayReplaceFun :== 131 +PD_ArraySizeFun :== 132 +PD_UnqArraySizeFun :== 133 /* Enum/Comprehension functions */ -PD_SmallerFun :== 138 -PD_LessOrEqualFun :== 139 -PD_IncFun :== 140 -PD_SubFun:== 141 -PD_From :== 142 -PD_FromThen :== 143 -PD_FromTo :== 144 -PD_FromThenTo :== 145 +PD_SmallerFun :== 134 +PD_LessOrEqualFun :== 135 +PD_IncFun :== 136 +PD_SubFun :== 137 +PD_From :== 138 +PD_FromThen :== 139 +PD_FromTo :== 140 +PD_FromThenTo :== 141 /* StdMisc */ -PD_StdMisc :== 146 -PD_abort :== 147 -PD_undef :== 148 +PD_StdMisc :== 142 +PD_abort :== 143 +PD_undef :== 144 -PD_Start :== 149 +PD_Start :== 145 -PD_DummyForStrictAliasFun :== 150 +PD_DummyForStrictAliasFun :== 146 -PD_StdStrictLists:==151 +PD_StdStrictLists:==147 -PD_cons:==152 -PD_decons:==153 +PD_cons:==148 +PD_decons:==149 -PD_cons_u:==154 -PD_decons_u:==155 +PD_cons_u:==150 +PD_decons_u:==151 -PD_cons_uts:==156 -PD_decons_uts:==157 +PD_cons_uts:==152 +PD_decons_uts:==153 -PD_nil:==158 -PD_nil_u:==159 -PD_nil_uts:==160 +PD_nil:==154 +PD_nil_u:==155 +PD_nil_uts:==156 -PD_ListClass :== 161 -PD_UListClass :== 162 -PD_UTSListClass :== 163 +PD_ListClass :== 157 +PD_UListClass :== 158 +PD_UTSListClass :== 159 /* Dynamics */ -PD_StdDynamic :== 164 - -PD_Dyn_DynamicTemp :== 165 -PD_Dyn_Type :== 166 -PD_Dyn_TypeScheme :== 167 -PD_Dyn_TypeApp :== 168 -PD_Dyn_TypeVar :== 169 -PD_Dyn_TypePatternVar :== 170 -PD_Dyn_TypeCons :== 171 -PD_Dyn_tc_name :== 172 -PD_Dyn_Unifier :== 173 -PD_Dyn_unify :== 174 -PD_Dyn_initial_unifier :== 175 -PD_Dyn_normalise :== 176 +// TC class +PD_TypeCodeMember :== 160 +PD_TypeCodeClass :== 161 +// dynamic module +PD_StdDynamic :== 162 +// dynamic type +PD_Dyn_DynamicTemp :== 163 +// type code +PD_Dyn_Type :== 164 +PD_Dyn_TypeScheme :== 165 +PD_Dyn_TypeApp :== 166 +PD_Dyn_TypeVar :== 167 +PD_Dyn_TypePatternVar :== 168 +PD_Dyn_TypeCons :== 169 +// unification +PD_Dyn_UnificationEnvironment :== 170 +PD_Dyn_initial_unification_environment :== 171 +PD_Dyn_bind_global_type_pattern_var :== 172 +PD_Dyn_unify :== 173 +PD_Dyn_normalise :== 174 +// predefined type code constructor +PD_Dyn_TypeCodeConstructorInt :== 175 +PD_Dyn_TypeCodeConstructorChar :== 176 +PD_Dyn_TypeCodeConstructorReal :== 177 +PD_Dyn_TypeCodeConstructorBool :== 178 +PD_Dyn_TypeCodeConstructorDynamic :== 179 +PD_Dyn_TypeCodeConstructorFile :== 180 +PD_Dyn_TypeCodeConstructorWorld :== 181 +PD_Dyn_TypeCodeConstructor_Arrow :== 182 +PD_Dyn_TypeCodeConstructor_List :== 183 +PD_Dyn_TypeCodeConstructor_StrictList :== 184 +PD_Dyn_TypeCodeConstructor_UnboxedList :== 185 +PD_Dyn_TypeCodeConstructor_TailStrictList :== 186 +PD_Dyn_TypeCodeConstructor_StrictTailStrictList :== 187 +PD_Dyn_TypeCodeConstructor_UnboxedTailStrictList :== 188 +PD_Dyn_TypeCodeConstructor_Tuple :== 189 +PD_Dyn_TypeCodeConstructor_LazyArray :== 190 +PD_Dyn_TypeCodeConstructor_StrictArray :== 191 +PD_Dyn_TypeCodeConstructor_UnboxedArray :== 192 /* Generics */ -PD_StdGeneric :== 177 - -PD_TypeBimap :== 178 -PD_ConsBimap :== 179 -PD_map_to :== 180 -PD_map_from :== 181 - -PD_TypeUNIT :== 182 -PD_ConsUNIT :== 183 -PD_TypeEITHER :== 184 -PD_ConsLEFT :== 185 -PD_ConsRIGHT :== 186 -PD_TypePAIR :== 187 -PD_ConsPAIR :== 188 - +PD_StdGeneric :== 193 + +PD_TypeBimap :== 194 +PD_ConsBimap :== 195 +PD_map_to :== 196 +PD_map_from :== 197 + +PD_TypeUNIT :== 198 +PD_ConsUNIT :== 199 +PD_TypeEITHER :== 200 +PD_ConsLEFT :== 201 +PD_ConsRIGHT :== 202 +PD_TypePAIR :== 203 +PD_ConsPAIR :== 204 // for constructor info -PD_TypeCONS :== 189 -PD_ConsCONS :== 190 -PD_TypeFIELD :== 191 -PD_ConsFIELD :== 192 -PD_TypeREC :== 193 -PD_ConsREC :== 194 -PD_GenericInfo :== 195 -PD_NoGenericInfo :== 196 -PD_GenericConsInfo :== 197 -PD_GenericFieldInfo :== 198 -PD_TGenericConsDescriptor :== 199 -PD_CGenericConsDescriptor :== 200 -PD_TGenericFieldDescriptor :== 201 -PD_CGenericFieldDescriptor :== 202 -PD_TGenericTypeDefDescriptor :== 203 -PD_CGenericTypeDefDescriptor :== 204 -PD_TGenConsPrio :== 205 -PD_CGenConsNoPrio :== 206 -PD_CGenConsPrio :== 207 -PD_TGenConsAssoc :== 208 -PD_CGenConsAssocNone :== 209 -PD_CGenConsAssocLeft :== 210 -PD_CGenConsAssocRight :== 211 -PD_TGenType :== 212 -PD_CGenTypeCons :== 213 -PD_CGenTypeVar :== 214 -PD_CGenTypeArrow :== 215 -PD_CGenTypeApp :== 216 - - -PD_GenericBimap :== 217 -PD_bimapId :== 218 - -PD_TypeGenericDict :== 219 - -PD_ModuleConsSymbol :== 220 -PD_NrOfPredefSymbols :== 221 +PD_TypeCONS :== 205 +PD_ConsCONS :== 206 +PD_TypeFIELD :== 207 +PD_ConsFIELD :== 208 +PD_TypeREC :== 209 +PD_ConsREC :== 210 +PD_GenericInfo :== 211 +PD_NoGenericInfo :== 212 +PD_GenericConsInfo :== 213 +PD_GenericFieldInfo :== 214 +PD_TGenericConsDescriptor :== 215 +PD_CGenericConsDescriptor :== 216 +PD_TGenericFieldDescriptor :== 217 +PD_CGenericFieldDescriptor :== 218 +PD_TGenericTypeDefDescriptor :== 219 +PD_CGenericTypeDefDescriptor :== 220 +PD_TGenConsPrio :== 221 +PD_CGenConsNoPrio :== 222 +PD_CGenConsPrio :== 223 +PD_TGenConsAssoc :== 224 +PD_CGenConsAssocNone :== 225 +PD_CGenConsAssocLeft :== 226 +PD_CGenConsAssocRight :== 227 +PD_TGenType :== 228 +PD_CGenTypeCons :== 229 +PD_CGenTypeVar :== 230 +PD_CGenTypeArrow :== 231 +PD_CGenTypeApp :== 232 + + +PD_GenericBimap :== 233 +PD_bimapId :== 234 + +PD_TypeGenericDict :== 235 + +PD_NrOfPredefSymbols :== 236 GetTupleConsIndex tup_arity :== PD_Arity2TupleSymbol + tup_arity - 2 GetTupleTypeIndex tup_arity :== PD_Arity2TupleType + tup_arity - 2 |