aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2003-06-19 15:08:11 +0000
committerjohnvg2003-06-19 15:08:11 +0000
commitc7c5d50d1da9e0e070d3573dbf1d96eafc4c01a7 (patch)
treeecf03bc87eef618f386d384e359abebd74caac17
parentcompare lhs root attributes for type definitions (diff)
write abstract type synonyms in the same way as abstract types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1360 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/type_io.icl6
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)