aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2011-02-02 13:26:22 +0000
committerjohnvg2011-02-02 13:26:22 +0000
commit77c19d968a1a5e55c5453fb21c57628eade7f803 (patch)
tree864893b89a36c96b31367aeb942e3c3e27766ad2
parentfix test for predefined module index in write_type_info, (diff)
don't write fs_var to .tcl file, because it is the same as fs_ident,
also requires new linkers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1830 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/type_io.icl12
1 files changed, 4 insertions, 8 deletions
diff --git a/frontend/type_io.icl b/frontend/type_io.icl
index 36f7d12..6e24999 100644
--- a/frontend/type_io.icl
+++ b/frontend/type_io.icl
@@ -205,18 +205,14 @@ where
# tcl_file
= fwritei (size id_name) tcl_file
= (fwrites id_name tcl_file,wtis)
-
+
instance WriteTypeInfo FieldSymbol
where
- write_type_info {fs_ident,fs_var,fs_index} tcl_file wtis
+ write_type_info {fs_ident,fs_index} tcl_file wtis
# (tcl_file,wtis)
= write_type_info fs_ident tcl_file wtis
- # (tcl_file,wtis)
- = write_type_info fs_var tcl_file wtis
- # (tcl_file,wtis)
- = write_type_info fs_index tcl_file wtis
- = (tcl_file,wtis)
-
+ = write_type_info fs_index tcl_file wtis
+
instance WriteTypeInfo SymbolType
where
write_type_info symbol_type tcl_file wtis