diff options
Diffstat (limited to 'frontend/predef.dcl')
| -rw-r--r-- | frontend/predef.dcl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/frontend/predef.dcl b/frontend/predef.dcl index eec5174..30f62b7 100644 --- a/frontend/predef.dcl +++ b/frontend/predef.dcl @@ -148,7 +148,6 @@ PD_ModuleID :== 173 PD_ModuleConsSymbol :== 174 /* Generics */ - PD_StdGeneric :== 175 PD_TypeISO :== 176 @@ -177,7 +176,11 @@ PD_ConsCONS :== 195 PD_isomap_ARROW_ :== 196 PD_isomap_ID :== 197 -PD_NrOfPredefSymbols :== 198 +PD_TypeType :== 198 +PD_ConsTypeApp :== 199 +PD_ConsTypeVar :== 200 + +PD_NrOfPredefSymbols :== 201 GetTupleConsIndex tup_arity :== PD_Arity2TupleSymbol + tup_arity - 2 GetTupleTypeIndex tup_arity :== PD_Arity2TupleType + tup_arity - 2 |