aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2001-10-12 10:40:50 +0000
committerjohnvg2001-10-12 10:40:50 +0000
commitbcbbe27fff855189856a98b7aabb8373e1eb1029 (patch)
tree69c820a19184fab336cc07ab747a96c1f5b250d6
parentadd <|- generator for overloaded lists again (diff)
added alternative for OverloadedListPatterns in producerRequirements
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@847 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/trans.icl3
1 files changed, 3 insertions, 0 deletions
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)