diff options
| author | johnvg | 2007-04-11 11:55:36 +0000 |
|---|---|---|
| committer | johnvg | 2007-04-11 11:55:36 +0000 |
| commit | be6ee9e2c0b114cdf2f6f6c69a15ec5f6b36560d (patch) | |
| tree | d01b9d753765ee1be5b27e0a2fac49a70b1b55e7 | |
| parent | move some type definitions from checksupport.dcl to syntax.dcl (diff) | |
remove <<< instance for removed type
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1660 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -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} |