diff options
| -rw-r--r-- | frontend/type_io.icl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/frontend/type_io.icl b/frontend/type_io.icl index 3a3d7f4..433346f 100644 --- a/frontend/type_io.icl +++ b/frontend/type_io.icl @@ -187,7 +187,11 @@ where write_type_info (AbstractType _) tcl_file wtis #! tcl_file = fwritec AbstractTypeCode tcl_file; - + // unimplemented + = (tcl_file,wtis) + + write_type_info (AbstractSynType _ _) tcl_file wtis + #! tcl_file = fwritec AbstractTypeCode tcl_file; // unimplemented = (tcl_file,wtis) |