aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/generics1.icl5
1 files changed, 1 insertions, 4 deletions
diff --git a/frontend/generics1.icl b/frontend/generics1.icl
index a99a6df..dcd44b3 100644
--- a/frontend/generics1.icl
+++ b/frontend/generics1.icl
@@ -194,7 +194,7 @@ where
#! modules = {modules & [n].com_generic_defs = com_generic_defs}
= clear_module (inc n) modules heaps
- clear_generic_def _ generic_def=:{gen_ident,gen_info_ptr} heaps=:{hp_generic_heap}
+ clear_generic_def generic_def=:{gen_ident,gen_info_ptr} heaps=:{hp_generic_heap}
#! (gen_info, hp_generic_heap) = readPtr gen_info_ptr hp_generic_heap
#! gen_info = { gen_info & gen_classes = createArray 32 [] }
#! hp_generic_heap = writePtr gen_info_ptr gen_info hp_generic_heap
@@ -815,9 +815,6 @@ where
make_expr (TFA _ _) heaps
// error is reported in convertATypeToGenTypeStruct
= make_error_type_cons heaps
- make_expr (TFAC _ _ _) heaps
- // error is reported in convertATypeToGenTypeStruct
- = make_error_type_cons heaps
make_expr _ heaps
= abort "type does not match\n"