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