diff options
Diffstat (limited to 'frontend/predef.icl')
| -rw-r--r-- | frontend/predef.icl | 35 |
1 files changed, 20 insertions, 15 deletions
diff --git a/frontend/predef.icl b/frontend/predef.icl index e33a4c8..646102f 100644 --- a/frontend/predef.icl +++ b/frontend/predef.icl @@ -103,29 +103,32 @@ PD_ConsPAIR :== 145 PD_TypeARROW :== 146 PD_ConsARROW :== 147 -PD_TypeCONSInfo :== 148 -PD_ConsCONSInfo :== 149 -PD_cons_info :== 150 -PD_TypeCONS :== 151 -PD_ConsCONS :== 152 +PD_TypeConsDefInfo :== 148 +PD_ConsConsDefInfo :== 149 +PD_TypeTypeDefInfo :== 150 +PD_ConsTypeDefInfo :== 151 +PD_cons_info :== 152 +PD_TypeCONS :== 153 +PD_ConsCONS :== 154 -PD_isomap_ARROW_ :== 153 -PD_isomap_ID :== 154 +PD_isomap_ARROW_ :== 155 +PD_isomap_ID :== 156 /* StdMisc */ -PD_StdMisc :== 155 -PD_abort :== 156 -PD_undef :== 157 +PD_StdMisc :== 157 +PD_abort :== 158 +PD_undef :== 159 -PD_Start :== 158 +PD_Start :== 160 // MW.. -PD_DummyForStrictAliasFun :== 159 +PD_DummyForStrictAliasFun :== 161 -PD_NrOfPredefSymbols :== 160 +PD_NrOfPredefSymbols :== 162 // ..MW + (<<=) infixl (<<=) state val :== let (array, symbol_table) = state @@ -217,8 +220,10 @@ where <<- ("ARROW", IC_Expression, PD_ConsARROW) <<- ("isomap_ARROW_", IC_Expression, PD_isomap_ARROW_) <<- ("isomap_ID", IC_Expression, PD_isomap_ID) - <<- ("CONSInfo", IC_Type, PD_TypeCONSInfo) - <<- ("_CONSInfo", IC_Expression, PD_ConsCONSInfo) + <<- ("ConsDefInfo", IC_Type, PD_TypeConsDefInfo) + <<- ("_ConsDefInfo", IC_Expression, PD_ConsConsDefInfo) + <<- ("TypeDefInfo", IC_Type, PD_TypeTypeDefInfo) + <<- ("_TypeDefInfo", IC_Expression, PD_ConsTypeDefInfo) <<- ("CONS", IC_Type, PD_TypeCONS) <<- ("CONS", IC_Expression, PD_ConsCONS) <<- ("_cons_info", IC_Expression, PD_cons_info) |