From 8695e389df1e131d91996cfc0c42c2acfb6a9eb1 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 2 Jan 2003 11:33:41 +0000
Subject: bug fix: check explicit import completeness for TAS constructor

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

(limited to 'frontend')

diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl
index bd2cea2..ee0be00 100644
--- a/frontend/explicitimports.icl
+++ b/frontend/explicitimports.icl
@@ -815,6 +815,9 @@ instance check_completeness Type where
 	check_completeness (TA {type_name} arguments) cci ccs
 		= check_completeness arguments cci
 		  (check_whether_ident_is_imported type_name STE_Type cci ccs)
+	check_completeness (TAS {type_name} arguments _) cci ccs
+		= check_completeness arguments cci
+		  (check_whether_ident_is_imported type_name STE_Type cci ccs)
 	check_completeness (l --> r) cci ccs
 		= check_completeness l cci
 		  (check_completeness r cci ccs)
-- 
cgit v1.2.3