From bcbbe27fff855189856a98b7aabb8373e1eb1029 Mon Sep 17 00:00:00 2001 From: johnvg Date: Fri, 12 Oct 2001 10:40:50 +0000 Subject: added alternative for OverloadedListPatterns in producerRequirements git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@847 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/trans.icl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/frontend/trans.icl b/frontend/trans.icl index 9e47900..31fbe31 100644 --- a/frontend/trans.icl +++ b/frontend/trans.icl @@ -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) -- cgit v1.2.3