prevent crash if a newtype is used with -dynamics

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2292 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

1 files changed, 9 insertions, 5 deletions

diff --git a/frontend/type_io.icl b/frontend/type_io.icl
index 3cf3fc8..31a5fcd 100644
--- a/frontend/type_io.icl
+++ b/frontend/type_io.icl
@@ -103,10 +103,10 @@ where
 			= fwritei (get_type_var_nf_number v) tcl_file
 
   		# wtis & wtis_type_heaps = {wtis_type_heaps & th_vars = th_vars}
- 		= (tcl_file,wtis)	
- 	where 
- 		get_type_var_nf_number (TVI_Normalized i)	= i
-
+ 		= (tcl_file,wtis)
+ 	where
+ 		get_type_var_nf_number (TVI_Normalized i) = i
+ 
 instance WriteTypeInfo TypeRhs
 where 
 	write_type_info (AlgType defined_symbols) tcl_file wtis
@@ -134,6 +134,10 @@ where
 	write_type_info (AlgConses _ _) tcl_file wtis
  		// unimplemented
 		= (tcl_file,wtis)
+	write_type_info (NewType _) tcl_file wtis
+ 		#! tcl_file = fwritec AbstractTypeCode tcl_file;
+ 		// unimplemented
+		= (tcl_file,wtis)
 
 instance WriteTypeInfo DefinedSymbol 
 where
@@ -392,7 +396,7 @@ write_type_info_of_array i limit array tcl_file wtis
 	# (tcl_file,wtis)
 		= write_type_info array.[i] tcl_file wtis
 	= write_type_info_of_array (inc i) limit array tcl_file wtis
-	
+
 instance WriteTypeInfo [a] | WriteTypeInfo a
 where
 	write_type_info l tcl_file wtis