diff options
Diffstat (limited to 'frontend/explicitimports.icl')
| -rw-r--r-- | frontend/explicitimports.icl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl index bcc6b0e..822de3e 100644 --- a/frontend/explicitimports.icl +++ b/frontend/explicitimports.icl @@ -667,9 +667,9 @@ instance check_completeness BasicPattern where check_completeness {bp_expr} cci ccs = check_completeness bp_expr cci ccs -instance check_completeness (Bind Expression FreeVar) where - check_completeness {bind_src} cci ccs - = check_completeness bind_src cci ccs +instance check_completeness LetBind where + check_completeness {lb_src} cci ccs + = check_completeness lb_src cci ccs instance check_completeness Case where check_completeness { case_expr, case_guards, case_default } cci ccs |