5 files changed, 3 insertions, 46 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl
index 20cc02c..9ab46a1 100644
--- a/frontend/convertDynamics.icl
+++ b/frontend/convertDynamics.icl
@@ -150,13 +150,8 @@ convertDynamicPatternsIntoUnifyAppls global_type_instances common_defs main_dcl_
 		= case tcl_file of
 			No
 				-> (No,type_heaps,ci_predef_symb)
-/*2.0
 			_ 
 				# tcl_file = f tcl_file;
-0.2*/
-//1.3
-			(Yes tcl_file)
-//3.1
 				# (ok,tcl_file,type_heaps,ci_predef_symb)
 					= write_tcl_file main_dcl_module_n dcl_mods icl_mod.icl_common tcl_file directly_imported_dcl_modules global_type_instances ci_type_constructor_used_in_dynamic_patterns type_heaps ci_predef_symb
 				| not ok
diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl
index 3fa1ff6..c8822ad 100644
--- a/frontend/convertcases.icl
+++ b/frontend/convertcases.icl
@@ -1729,11 +1729,6 @@ splitGuards (BasicPatterns basicType patterns)
 splitGuards (OverloadedListPatterns type decons_expr patterns)
 	=	[OverloadedListPatterns type decons_expr [pattern] \\ pattern <- patterns]
 
-::	TypedVariable =
-	{	tv_free_var	:: !FreeVar
-	,	tv_type		:: !AType
-	}
-
 copyExpression :: ![TypedVariable] !Expression !*VarHeap -> (![Expression], ![TypedVariable], ![FreeVar], !Expression, !*VarHeap)
 copyExpression bound_vars expr var_heap
     # var_heap = foldSt (\{tv_free_var={fv_info_ptr},tv_type} -> writePtr fv_info_ptr (VI_BoundVar tv_type)) bound_vars var_heap
diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl
index bccf65b..171d1c3 100644
--- a/frontend/frontend.dcl
+++ b/frontend/frontend.dcl
@@ -3,14 +3,8 @@
 */
 definition module frontend
 
-/*2.0
 from scanner import ::SearchPaths
-from general import ::Optional, Yes, No
-0.2*/
-//1.3
-from scanner import SearchPaths
-from general import Optional, Yes, No
-//3.1
+from general import ::Optional (Yes, No)
 import checksupport, transform, overloading
 
 :: FrontEndOptions 
diff --git a/frontend/frontend.icl b/frontend/frontend.icl
index 9ecb140..66c1e6e 100644
--- a/frontend/frontend.icl
+++ b/frontend/frontend.icl
@@ -8,32 +8,11 @@ import scanner, parse, postparse, check, type, trans, convertcases, overloading,
 
 //import print
 
-:: FrontEndOptions 
-	=	{	feo_up_to_phase			:: !FrontEndPhase
-		,	feo_generics 			:: !Bool
-		,	feo_fusion	 			:: !Bool
-		}
-
-:: FrontEndSyntaxTree
-	=	{	fe_icl					:: !IclModule
-		,	fe_dcls					:: !{#DclModule}
-		,	fe_components			:: !{!Group}
-		,	fe_arrayInstances		:: !ArrayAndListInstances
-		}
-
 // trace macro
 (-*->) infixl
 (-*->) value trace
 	:==	value // ---> trace
 
-:: FrontEndPhase
-	=	FrontEndPhaseCheck
-	|	FrontEndPhaseTypeCheck
-	|	FrontEndPhaseConvertDynamics
-	|	FrontEndPhaseTransformGroups
-	|	FrontEndPhaseConvertModules
-	|	FrontEndPhaseAll
-
 instance == FrontEndPhase where
 	(==) a b
 		=	equal_constructor a b
@@ -409,12 +388,6 @@ where
 	show_dcl_function {ft_symb, ft_type} file
 		= file <<< ft_symb <<< " :: " <<< ft_type <<< "\n"			
 		
-
-:: ListTypesKind = ListTypesNone | ListTypesInferred | ListTypesStrictExports | ListTypesAll
-:: ListTypesOption =
-	{	lto_showAttributes :: Bool
-	,	lto_listTypesKind :: ListTypesKind
-	}
 instance == ListTypesKind where
 	(==) ListTypesNone ListTypesNone
 		=	True
diff --git a/frontend/mergecases.icl b/frontend/mergecases.icl
index 452c002..193a933 100644
--- a/frontend/mergecases.icl
+++ b/frontend/mergecases.icl
@@ -120,10 +120,10 @@ where
 							-> (Yes cees, var_heap, symbol_heap)
 
 						No
-*/
+
 							-> (No, var_heap, symbol_heap)
 				_
-					-> (No, var_heap, symbol_heap)
+*/					-> (No, var_heap, symbol_heap)
 		| otherwise
 			= (No, var_heap, symbol_heap)
 	split_case split_var_info_ptr (Let lad=:{let_expr,let_strict_binds,let_lazy_binds}) var_heap symbol_heap