aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/syntax.icl7
1 files changed, 0 insertions, 7 deletions
diff --git a/frontend/syntax.icl b/frontend/syntax.icl
index f5894bb..96c5b84 100644
--- a/frontend/syntax.icl
+++ b/frontend/syntax.icl
@@ -387,7 +387,6 @@ where
(<<<) file (NoBind _) = file <<< "** NB **"
(<<<) file (DynamicExpr {dyn_expr,dyn_type_code}) = file <<< "dynamic " <<< dyn_expr <<< " :: " <<< dyn_type_code
// (<<<) file (DynamicExpr {dyn_expr,dyn_uni_vars,dyn_type_code}) = writeVarPtrs (file <<< "dynamic " <<< dyn_expr <<< " :: dyn_uni_vars") dyn_uni_vars <<< "dyn_type_code=" <<< dyn_type_code
-// (<<<) file (TypeCase type_case) = file <<< type_case
(<<<) file (TypeCodeExpression type_code) = file <<< type_code
(<<<) file (Constant symb _ _ _) = file <<< "** Constant **" <<< symb
@@ -405,12 +404,6 @@ where
(<<<) file {lb_dst, lb_src}
= file <<< lb_dst <<< " = " <<< lb_src <<< "\n"
-instance <<< TypeCase
-where
- (<<<) file {type_case_dynamic,type_case_patterns,type_case_default}
- = file <<< "typecase " <<< type_case_dynamic <<< "of\n" <<<
- type_case_patterns <<< type_case_default
-
instance <<< DynamicPattern
where
(<<<) file {dp_var,dp_rhs,dp_type_code}