diff options
-rw-r--r-- | frontend/type_io.icl | 13 |
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 |