Commit 6aa2f047 authored by John van Groningen's avatar John van Groningen

bug fix, add case for OverloadedListPatterns in function has_no_curried_macro_CasePatterns

parent dbf290c4
......@@ -1153,6 +1153,8 @@ where
= has_no_curried_macro_Expression bp_expr && has_no_curried_macro_BasicPatterns patterns
has_no_curried_macro_BasicPatterns []
= True
has_no_curried_macro_CasePatterns (OverloadedListPatterns type decons_expr patterns)
= has_no_curried_macro_AlgebraicPatterns patterns
has_no_curried_macro_CasePatterns (NewTypePatterns type patterns)
= has_no_curried_macro_AlgebraicPatterns patterns
has_no_curried_macro_CasePatterns (DynamicPatterns 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