diff options
Diffstat (limited to 'frontend/explicitimports.icl')
| -rw-r--r-- | frontend/explicitimports.icl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl index 35e9b06..4487bf8 100644 --- a/frontend/explicitimports.icl +++ b/frontend/explicitimports.icl @@ -665,6 +665,10 @@ instance check_completeness CasePatterns where check_completeness NoPattern _ ccs = ccs +instance check_completeness CheckedAlternative where + check_completeness {ca_rhs} cci ccs + = check_completeness ca_rhs cci ccs + instance check_completeness CheckedBody where check_completeness {cb_rhs} cci ccs = check_completeness cb_rhs cci ccs |