diff options
| author | johnvg | 2011-02-07 13:30:29 +0000 |
|---|---|---|
| committer | johnvg | 2011-02-07 13:30:29 +0000 |
| commit | 20f354c0e52eaa01f4196cc5336e4a5de7108119 (patch) | |
| tree | 96721c555bb6320ebf9788b926be73f5f70adf88 | |
| parent | remove unused types in dynamic patterns in .tcl file (diff) | |
remove unused cons_arg_vars and cons_index in .tcl file
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1834 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -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) |