diff options
Diffstat (limited to 'frontend/explicitimports.icl')
| -rw-r--r-- | frontend/explicitimports.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl index 9e52bba..c178de9 100644 --- a/frontend/explicitimports.icl +++ b/frontend/explicitimports.icl @@ -618,6 +618,8 @@ instance check_completeness CasePatterns where = check_completeness algebraicPatterns cci ccs check_completeness (BasicPatterns _ basicPatterns) cci ccs = check_completeness basicPatterns cci ccs + check_completeness (OverloadedListPatterns _ _ algebraicPatterns) cci ccs + = check_completeness algebraicPatterns cci ccs check_completeness (DynamicPatterns dynamicPatterns) cci ccs = check_completeness dynamicPatterns cci ccs check_completeness NoPattern _ ccs |