diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/type_io.icl | 12 |
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 |