From bdd5fc638acd15ba8299832fdcc9a9b759e56de6 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 17 Jul 2002 12:59:58 +0000
Subject: add abstract synonym types

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1153 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checktypes.icl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl
index f2a9ed7..9489e3d 100644
--- a/frontend/checktypes.icl
+++ b/frontend/checktypes.icl
@@ -272,6 +272,9 @@ where
 	check_rhs_of_TypeDef {td_rhs = SynType type} _ cti ts_ti_cs
 		# (type, type_attr, ts_ti_cs) = bindTypes cti type ts_ti_cs
 		= (SynType type, ts_ti_cs)
+	check_rhs_of_TypeDef {td_rhs = AbstractSynType properties type} _ cti ts_ti_cs
+		# (type, type_attr, ts_ti_cs) = bindTypes cti type ts_ti_cs
+		= (AbstractSynType properties type, ts_ti_cs)
 	check_rhs_of_TypeDef {td_rhs} _ _ ts_ti_cs
 		= (td_rhs, ts_ti_cs)
 
-- 
cgit v1.2.3