diff options
| author | johnvg | 2003-01-02 11:33:41 +0000 |
|---|---|---|
| committer | johnvg | 2003-01-02 11:33:41 +0000 |
| commit | 8695e389df1e131d91996cfc0c42c2acfb6a9eb1 (patch) | |
| tree | bcb4ef915162489b1815069bfa1713e1618f3139 | |
| parent | Clean 2.0.2 backend.dll (diff) | |
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
| -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) |