aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2011-11-04 13:48:06 +0000
committerjohnvg2011-11-04 13:48:06 +0000
commit1492dbb8a333fbdb117883b9573ba5e2ce8f2ee8 (patch)
treecc2884c9807097df37aeb6699bc1956e422060c8
parentremove differences in layout between the compiler and the iTask compiler (diff)
remove differences in layout between the compiler and the iTask compiler
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1987 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/type_io.icl12
1 files changed, 6 insertions, 6 deletions
diff --git a/frontend/type_io.icl b/frontend/type_io.icl
index fc393e0..9a46a6e 100644
--- a/frontend/type_io.icl
+++ b/frontend/type_io.icl
@@ -59,7 +59,7 @@ where
= (tcl_file,wtis)
instance WriteTypeInfo (TypeDef TypeRhs)
-where
+where
write_type_info {td_ident,td_arity,td_args,td_rhs,td_fun_index} tcl_file wtis=:{wtis_type_heaps}
// normalize ...
# (n_type_vars,th_vars)
@@ -74,7 +74,7 @@ where
= write_type_info td_args tcl_file wtis
| td_fun_index<>NoIndex
= write_type_info td_rhs tcl_file wtis
- // currently not used
+ // currently not used
# (RecordType {rt_constructor,rt_fields}) = td_rhs
tcl_file = fwritec GenericDictionaryTypeCode tcl_file;
(tcl_file,wtis) = write_type_info rt_constructor tcl_file wtis
@@ -120,12 +120,12 @@ where
# (tcl_file,wtis)
= write_type_info defined_symbols tcl_file wtis
= (tcl_file,wtis)
-
+
write_type_info (SynType _) tcl_file wtis
# tcl_file
= fwritec SynTypeCode tcl_file;
= (tcl_file,wtis)
-
+
write_type_info (RecordType {rt_constructor,rt_fields}) tcl_file wtis
#! tcl_file
= fwritec RecordTypeCode tcl_file;
@@ -291,7 +291,7 @@ where
# (tcl_file,wtis)
= 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
@@ -353,7 +353,7 @@ where
instance WriteTypeInfo TypeSymbIdent
where
write_type_info tsi=:{type_ident,type_arity,type_index={glob_module,glob_object}} tcl_file wtis
- # is_type_without_definition = glob_module == cPredefinedModuleIndex
+ # is_type_without_definition = glob_module==cPredefinedModuleIndex
# tcl_file
= fwritec (if is_type_without_definition TypeSymbIdentWithoutDefinition TypeSymbIdentWithDefinition) tcl_file
# (tcl_file,wtis)