From 4bd944183fc14429ddff292cde9fef79a415e0b5 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 13 Dec 2013 13:40:27 +0000
Subject: in derived dynamic types, add uniqueness to algebraic types that are
 always unique (the type definition has a * on the left), add Bool to
 GTT_Constructor to indicate uniqueness, generate TCE_UnqType in TypeCode for
 unique GTT_Constructor's, this uniqueness property should be propagated, but
 this is not implemented yet

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2336 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.dcl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index d2a47c7..fd7ce17 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1476,7 +1476,7 @@ instance == OverloadedListType
 
 ::	GlobalTCType
 	=	GTT_Basic !BasicType
-	|	GTT_Constructor !SymbIdent
+	|	GTT_Constructor !SymbIdent !Bool/*is unique type*/
 	|	GTT_PredefTypeConstructor !(Global Index)
 	|	GTT_Function
 
-- 
cgit v1.2.3