diff options
| -rw-r--r-- | frontend/syntax.icl | 7 |
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} |