aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
Diffstat (limited to 'frontend')
-rw-r--r--frontend/StdCompare.icl1
-rw-r--r--frontend/convertcases.icl2
-rw-r--r--frontend/syntax.dcl1
-rw-r--r--frontend/syntax.icl1
4 files changed, 4 insertions, 1 deletions
diff --git a/frontend/StdCompare.icl b/frontend/StdCompare.icl
index f902857..a8c2ed0 100644
--- a/frontend/StdCompare.icl
+++ b/frontend/StdCompare.icl
@@ -162,6 +162,7 @@ where
// compare_indexes (SK_InternalFunction i1) (SK_InternalFunction i2) = i1 =< i2
compare_indexes (SK_OverloadedFunction i1) (SK_OverloadedFunction i2) = i1 =< i2
compare_indexes (SK_GeneratedFunction _ i1) (SK_GeneratedFunction _ i2) = i1 =< i2
+ compare_indexes (SK_GeneratedCaseFunction _ i1) (SK_GeneratedCaseFunction _ i2) = i1 =< i2
compare_indexes (SK_LocalDclMacroFunction i1) (SK_LocalDclMacroFunction i2) = i1 =< i2
| less_constructor symb1 symb2
diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl
index f321f55..e78aaad 100644
--- a/frontend/convertcases.icl
+++ b/frontend/convertcases.icl
@@ -1095,7 +1095,7 @@ newFunctionWithType opt_id fun_bodies local_vars fun_type group_index (cs_next_f
, fun_lifted = 0
, fun_info = { EmptyFunInfo & fi_group_index = group_index, fi_local_vars = local_vars }
}
- = ({ symb_name = fun_id, symb_kind = SK_GeneratedFunction fun_def_ptr cs_next_fun_nr },
+ = ({ symb_name = fun_id, symb_kind = SK_GeneratedCaseFunction fun_def_ptr cs_next_fun_nr },
(inc cs_next_fun_nr, [fun_def_ptr : cs_new_functions],
cs_fun_heap <:= (fun_def_ptr, FI_Function { gf_fun_def = fun_def, gf_instance_info = II_Empty,
gf_fun_index = cs_next_fun_nr, gf_cons_args = {cc_size=0, cc_args = [], cc_linear_bits = [], cc_producer = False} })))
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 7d10d81..5f2cab6 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -696,6 +696,7 @@ cNonRecursiveAppl :== False
| SK_LocalDclMacroFunction !(Global Index)
| SK_OverloadedFunction !(Global Index)
| SK_GeneratedFunction !FunctionInfoPtr !Index
+ | SK_GeneratedCaseFunction !FunctionInfoPtr !Index
| SK_Constructor !(Global Index)
| SK_Generic !(Global Index) !TypeKind
| SK_TypeCode
diff --git a/frontend/syntax.icl b/frontend/syntax.icl
index 9db1f27..342c8f5 100644
--- a/frontend/syntax.icl
+++ b/frontend/syntax.icl
@@ -666,6 +666,7 @@ cNotVarNumber :== -1
| SK_LocalDclMacroFunction !(Global Index)
| SK_OverloadedFunction !(Global Index)
| SK_GeneratedFunction !FunctionInfoPtr !Index
+ | SK_GeneratedCaseFunction !FunctionInfoPtr !Index
| SK_Constructor !(Global Index)
| SK_Generic !(Global Index) !TypeKind
| SK_TypeCode