From 20f354c0e52eaa01f4196cc5336e4a5de7108119 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 7 Feb 2011 13:30:29 +0000
Subject: remove unused cons_arg_vars and cons_index in .tcl file

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1834 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/type_io.icl | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

(limited to 'frontend')

diff --git a/frontend/type_io.icl b/frontend/type_io.icl
index 6e24999..a5b4a7a 100644
--- a/frontend/type_io.icl
+++ b/frontend/type_io.icl
@@ -59,25 +59,18 @@ where
 	
 instance WriteTypeInfo ConsDef
 where 
-	write_type_info {cons_ident,cons_type,cons_priority,cons_number,cons_type_index,cons_exi_vars} tcl_file wtis=:{wtis_n_type_vars}
+	write_type_info {cons_ident,cons_type,cons_type_index,cons_exi_vars} tcl_file wtis=:{wtis_n_type_vars}
  		// normalize ...
  		# (th_vars,wtis)
  			= sel_type_var_heap wtis
  		# (_,(_,th_vars))
  			= mapSt normalize_type_var cons_exi_vars (wtis_n_type_vars,th_vars)
-  		# wtis
- 			= { wtis & wtis_type_heaps.th_vars = th_vars }
+  		# wtis = { wtis & wtis_type_heaps.th_vars = th_vars }
  		// ... normalize
-
 		# (tcl_file,wtis)
 			= write_type_info cons_ident tcl_file wtis
 		# (tcl_file,wtis)
-			= write_type_info cons_type tcl_file wtis
-		
-		# tcl_file = fwritei 0 tcl_file // was cons_arg_vars, not used, write 0 for []
-		# (tcl_file,wtis)
-			= write_type_info cons_number tcl_file wtis
-						
+			= write_type_info cons_type tcl_file wtis						
 		# (tcl_file,wtis)
 			= write_type_info cons_type_index tcl_file wtis
 		# (tcl_file,wtis)
-- 
cgit v1.2.3