From d08add445e47eeee41f6e978a2fadf500295e412 Mon Sep 17 00:00:00 2001
From: ronny
Date: Wed, 3 Oct 2001 11:03:41 +0000
Subject: fixed type error by reintroducing uniqueCopy

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

diff --git a/frontend/type.icl b/frontend/type.icl
index 180e29e..9c281dc 100644
--- a/frontend/type.icl
+++ b/frontend/type.icl
@@ -2225,7 +2225,7 @@ where
 					# (error=:{ea_file})
 							= errorHeading "Uniqueness error" error
 					  (coercion_env, copy_coercion_env)
-					  		= arrayCopy coercion_env
+					  		= uniqueCopy coercion_env
 					  format
 					  		= { form_properties = cMarkAttribute,
 					  			form_attr_position = Yes (reverse positions, copy_coercion_env) }			
@@ -2488,6 +2488,13 @@ where
 			CheckedType _
 				-> ts
 
+uniqueCopy :: !*a -> (!*a, !*a)
+uniqueCopy x =
+	code
+	{	.inline uniqueCopy
+			push_a 0
+		.end
+	}
 is_rare_name {id_name}
 	= id_name.[0]=='_'
 
-- 
cgit v1.2.3