diff options
| -rw-r--r-- | frontend/comparedefimp.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 1f8e0f2..b4729b2 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -1093,6 +1093,8 @@ instance e_corresponds CasePatterns where e_corresponds (BasicPatterns dcl_basic_type dcl_patterns) (BasicPatterns icl_basic_type icl_patterns) = equal2 dcl_basic_type icl_basic_type o` e_corresponds dcl_patterns icl_patterns + e_corresponds (NewTypePatterns _ dcl_patterns) (NewTypePatterns _ icl_patterns) + = e_corresponds dcl_patterns icl_patterns e_corresponds (OverloadedListPatterns dcl_alg_type _ dcl_patterns) (OverloadedListPatterns icl_alg_type _ icl_patterns) = e_corresponds dcl_patterns icl_patterns e_corresponds (DynamicPatterns dcl_patterns) (DynamicPatterns icl_patterns) |