diff options
| -rw-r--r-- | frontend/explicitimports.icl | 3 |
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) |