aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/type_io.icl13
1 files changed, 7 insertions, 6 deletions
diff --git a/frontend/type_io.icl b/frontend/type_io.icl
index 69b7332..43bcc98 100644
--- a/frontend/type_io.icl
+++ b/frontend/type_io.icl
@@ -389,15 +389,16 @@ where
/*2.0
instance WriteTypeInfo String
where
- write_type_info s tcl_file wtis
- # tcl_file
- = fwritei (size s) tcl_file
- = fwrites s tcl_file
- // warning:
- // Should be identical to the code in Ident
+ write_type_info s tcl_file wtis
+ # tcl_file
+ = fwritei (size s) tcl_file
+ = (fwrites s tcl_file,wtis)
+ // warning:
+ // Should be identical to the code in Ident
0.2*/
+
// basic and structural write_type_info's
instance WriteTypeInfo Int
where