diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/type_io.icl | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/frontend/type_io.icl b/frontend/type_io.icl index 6e24999..a5b4a7a 100644 --- a/frontend/type_io.icl +++ b/frontend/type_io.icl @@ -59,25 +59,18 @@ where instance WriteTypeInfo ConsDef where - write_type_info {cons_ident,cons_type,cons_priority,cons_number,cons_type_index,cons_exi_vars} tcl_file wtis=:{wtis_n_type_vars} + write_type_info {cons_ident,cons_type,cons_type_index,cons_exi_vars} tcl_file wtis=:{wtis_n_type_vars} // normalize ... # (th_vars,wtis) = sel_type_var_heap wtis # (_,(_,th_vars)) = mapSt normalize_type_var cons_exi_vars (wtis_n_type_vars,th_vars) - # wtis - = { wtis & wtis_type_heaps.th_vars = th_vars } + # wtis = { wtis & wtis_type_heaps.th_vars = th_vars } // ... normalize - # (tcl_file,wtis) = write_type_info cons_ident tcl_file wtis # (tcl_file,wtis) - = write_type_info cons_type tcl_file wtis - - # tcl_file = fwritei 0 tcl_file // was cons_arg_vars, not used, write 0 for [] - # (tcl_file,wtis) - = write_type_info cons_number tcl_file wtis - + = write_type_info cons_type tcl_file wtis # (tcl_file,wtis) = write_type_info cons_type_index tcl_file wtis # (tcl_file,wtis) |