Skip to content
GitLab
Commit 5804580e authored by Artem Alimarine's avatar Artem Alimarine
Browse files

added fields to cons_info and type_info 

fixed bugs
parent 352e606a
Expand all Hide whitespace changes
Inline Side-by-side
frontend/check.icl
View file @ 5804580e
......@@ -2675,8 +2675,10 @@ where
<=< adjust_predef_symbol PD_ConsARROW mod_index STE_Constructor
<=< adjust_predef_symbol PD_isomap_ARROW_ mod_index STE_DclFunction
<=< adjust_predef_symbol PD_isomap_ID mod_index STE_DclFunction
<=< adjust_predef_symbol PD_TypeCONSInfo mod_index STE_Type
<=< adjust_predef_symbol PD_ConsCONSInfo mod_index STE_Constructor
<=< adjust_predef_symbol PD_TypeConsDefInfo mod_index STE_Type
<=< adjust_predef_symbol PD_ConsConsDefInfo mod_index STE_Constructor
<=< adjust_predef_symbol PD_TypeTypeDefInfo mod_index STE_Type
<=< adjust_predef_symbol PD_ConsTypeDefInfo mod_index STE_Constructor
<=< adjust_predef_symbol PD_TypeCONS mod_index STE_Type
<=< adjust_predef_symbol PD_ConsCONS mod_index STE_Constructor
<=< adjust_predef_symbol PD_cons_info mod_index STE_DclFunction)
......
frontend/generics.icl
View file @ 5804580e
This diff is collapsed.
frontend/predef.dcl
View file @ 5804580e
......@@ -105,26 +105,28 @@ 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
GetTupleConsIndex tup_arity :== PD_Arity2TupleSymbol + tup_arity - 2
......
frontend/predef.icl
View file @ 5804580e
......@@ -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)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment