From 239e8ffebea875a36ae7ca8b656aaa9ce9f16126 Mon Sep 17 00:00:00 2001
From: ronny
Date: Fri, 17 Oct 2003 13:47:35 +0000
Subject: added limited support for uniqueness attributes in dynamic types

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

(limited to 'frontend/overloading.icl')

diff --git a/frontend/overloading.icl b/frontend/overloading.icl
index f42016b..54533ce 100644
--- a/frontend/overloading.icl
+++ b/frontend/overloading.icl
@@ -1367,7 +1367,12 @@ instance toTypeCodeExpression TypeVar where
 
 instance toTypeCodeExpression AType
 where
-	toTypeCodeExpression {at_type} tci_and_var_heap_and_error = toTypeCodeExpression at_type tci_and_var_heap_and_error
+	toTypeCodeExpression {at_attribute=TA_Unique, at_type} tci_and_var_heap_and_error
+		# (tce, st)
+			=	toTypeCodeExpression at_type tci_and_var_heap_and_error
+		=	(TCE_UnqType tce, st)
+	toTypeCodeExpression {at_type} tci_and_var_heap_and_error
+		=	toTypeCodeExpression at_type tci_and_var_heap_and_error
 
 ::	UpdateInfo =
 	{	ui_instance_calls	:: ![FunCall]
-- 
cgit v1.2.3