From be6ee9e2c0b114cdf2f6f6c69a15ec5f6b36560d Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 11 Apr 2007 11:55:36 +0000
Subject: remove <<< instance for removed type

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1660 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.icl | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'frontend')

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}
-- 
cgit v1.2.3