From 3b51f9a12c0c57a05eb002173b8936319ee4a634 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 27 Nov 2013 12:44:06 +0000
Subject: fix printing of uniqueness attributes in type with A.

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

(limited to 'frontend')

diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl
index 6c016ce..1bc3eaf 100644
--- a/frontend/typesupport.icl
+++ b/frontend/typesupport.icl
@@ -1772,6 +1772,10 @@ anonymizeAttrVars st=:{st_attr_vars, st_args, st_result, st_attr_env} implicit_i
 			= count_attr_vars_of_atype t th_attrs
 		count_attr_vars_of_type (_ :@: args) th_attrs
 			= foldSt count_attr_vars_of_atype args th_attrs
+		count_attr_vars_of_type (TFA _ type) th_attrs
+			= count_attr_vars_of_type type th_attrs
+		count_attr_vars_of_type (TFAC _ type _) th_attrs
+			= count_attr_vars_of_type type th_attrs
 		count_attr_vars_of_type _ th_attrs
 			= th_attrs
 
-- 
cgit v1.2.3