Skip to content

GitLab

Commit 7d7b26bd authored by John van Groningen's avatar John van Groningen
Browse files

also compare NewTypePatterns

parent 16c90715
Hide whitespace changes
Inline Side-by-side
frontend/comparedefimp.icl
View file @ 7d7b26bd
......@@ -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)
......
Markdown is supported
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