Commit 280c7277 authored by John van Groningen's avatar John van Groningen
Browse files

bug fix: check explicit import completeness for TAS constructor

parent 037076ed
......@@ -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)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment