Commit bf46f009 authored by John van Groningen's avatar John van Groningen
Browse files

added alternative for OverloadedListPatterns in producerRequirements

parent b8ce1eef
......@@ -3318,6 +3318,9 @@ instance producerRequirements CasePatterns where
// name shadowing...
# (safe,prs) = producerRequirements patterns prs
= (safe,prs)
producerRequirements (OverloadedListPatterns _ _ _) prs
//...disallow for now...
= (False,prs)
producerRequirements (DynamicPatterns patterns) prs
//...disallow for now...
= (False,prs)
......
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