remove unused constructor TQV of :: type_io.icl

frontend/compare_types.icl

@@ -102,8 +102,6 @@ where
 			= tb1 == tb2
 		equal_constructor_args (type1 :@: types1) (type2 :@: types2)
 			= type1 == type2 && types1 == types2
-		equal_constructor_args (TQV varid1) (TQV varid2)
-			= varid1 == varid2
 		equal_constructor_args (GTV varid1) (GTV varid2)
 			= varid1 == varid2
 		equal_constructor_args (TempQV varid1) (TempQV varid2)

frontend/generics1.icl

@@ -895,8 +895,6 @@ where
 			= make_type_var tv_info_ptr heaps 
 		make_expr (GTV {tv_info_ptr}) heaps
 			= make_type_var tv_info_ptr heaps 
-		make_expr (TQV {tv_info_ptr}) heaps 
-			= make_type_var tv_info_ptr heaps
 		make_expr TE heaps
 			= make_error_type_cons heaps
 		make_expr (TFA _ _) heaps

frontend/syntax.dcl

@@ -1077,8 +1077,6 @@ cNotVarNumber :== -1
 			|	TFAC ![ATypeVar] !Type ![TypeContext]	// Universally quantified function argument type with contexts
 
 			|	TempV !TempVarId				/* Auxiliary, used during type checking */
-			
-			|	TQV	TypeVar
 			|	TempQV !TempVarId				/* Auxiliary, used during type checking */
 			|	TempQDV !TempVarId				// Auxiliary, used during type checking, existential type variable in dynamic pattern
 

frontend/syntax.icl

@@ -203,8 +203,6 @@ where
 		= file <<< "A." <<< vars <<< ':' <<< types
 	(<<<) file (TFAC vars types contexts)
 		= file <<< "A." <<< vars <<< ':' <<< types <<< " | " <<< contexts
-	(<<<) file (TQV varid)
-		= file <<< "E." <<< varid
 	(<<<) file (TempQV tv_number)
 		= file  <<< "E.#" <<< tv_number <<< ' ' 
 	(<<<) file (TempQDV tv_number)

frontend/type_io.icl

@@ -285,13 +285,6 @@ where
 			= write_type_info type_var tcl_file wtis
 		= (tcl_file,wtis)
 
-	write_type_info (TQV type_var) tcl_file wtis
-		# tcl_file
-			= fwritec TypeTQVCode tcl_file
-		# (tcl_file,wtis)
-			= write_type_info type_var tcl_file wtis
-		= (tcl_file,wtis)	
-
 	// FIXME: the universally quantifier and type vars are ignored here
 	// this is really just a hack to prevent the compiler from crashing
 	// on rank>1 types

frontend/typesupport.icl

@@ -1276,8 +1276,6 @@ where
 		   (file, opt_beautifulizer) = writeType (file <<< ":") opt_beautifulizer (clearProperty form cBrackets, type)
 		   (file, opt_beautifulizer) = show_context form contexts (file,opt_beautifulizer)
 		 = (file <<< ")", opt_beautifulizer)
-	writeType file opt_beautifulizer (form, TQV varid)
-		= (file <<< "E." <<< varid, opt_beautifulizer)
 	writeType file opt_beautifulizer (form, TempQV tv_number)
 		= (file  <<< "E." <<< tv_number <<< ' ', opt_beautifulizer)
 	writeType file opt_beautifulizer (form, TempQDV tv_number)
@@ -1733,8 +1731,6 @@ anonymizeAttrVars st=:{st_attr_vars, st_args, st_result, st_attr_env} implicit_i
 							-> count_attr_vars_of_type at_type (writePtr av_info_ptr (AVI_CountVar tv_info_ptr) th_attrs)
 						GTV {tv_info_ptr}
 							-> count_attr_vars_of_type at_type (writePtr av_info_ptr (AVI_CountVar tv_info_ptr) th_attrs)
-						TQV {tv_info_ptr}
-							-> count_attr_vars_of_type at_type (writePtr av_info_ptr (AVI_CountVar tv_info_ptr) th_attrs)
 						_
 							-> count_attr_vars_of_type at_type (writePtr av_info_ptr AVI_CountOne th_attrs)
 				AVI_CountVar previous_tv_info_ptr
@@ -1745,9 +1741,6 @@ anonymizeAttrVars st=:{st_attr_vars, st_args, st_result, st_attr_env} implicit_i
 						GTV {tv_info_ptr}
 							| tv_info_ptr==previous_tv_info_ptr
 								-> count_attr_vars_of_type at_type (writePtr av_info_ptr (AVI_CountVar tv_info_ptr) th_attrs)
-						TQV {tv_info_ptr}
-							| tv_info_ptr==previous_tv_info_ptr
-								-> count_attr_vars_of_type at_type (writePtr av_info_ptr (AVI_CountVar tv_info_ptr) th_attrs)
 						_
 							-> count_attr_vars_of_type at_type (writePtr av_info_ptr AVI_CountMany th_attrs)
 				AVI_CountOne
@@ -1944,8 +1937,6 @@ instance performOnTypeVars AType
 		= f at_attribute type_var st
 	performOnTypeVars f {at_attribute, at_type=GTV type_var} st
 		= f at_attribute type_var st
-	performOnTypeVars f {at_attribute, at_type=TQV type_var} st
-		= f at_attribute type_var st
 	performOnTypeVars f {at_attribute, at_type} st
 		= performOnTypeVars f at_type st