aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/explicitimports.icl3
1 files changed, 3 insertions, 0 deletions
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)