From 45a3e562564889cf52d65dbe2b98bb426aa305fe Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 9 Jun 2000 15:15:25 +0000
Subject: [PATCH] [project @ 2000-06-09 15:15:25 by simonmar] Don't group
 variable bindings with the same name together.  They should
 be flagged as duplicate definitions.

---
 ghc/compiler/parser/ParseUtil.lhs |    9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/parser/ParseUtil.lhs b/ghc/compiler/parser/ParseUtil.lhs
index 3e7cafe..430460a 100644
--- a/ghc/compiler/parser/ParseUtil.lhs
+++ b/ghc/compiler/parser/ParseUtil.lhs
@@ -391,8 +391,15 @@ groupBindings binds = group Nothing binds
   where group :: Maybe RdrNameMonoBinds -> [RdrBinding] -> RdrBinding
 	group (Just bind) [] = RdrValBinding bind
 	group Nothing [] = RdrNullBind
+
+		-- don't group together FunMonoBinds if they have
+		-- no arguments.  This is necessary now that variable bindings
+		-- with no arguments are now treated as FunMonoBinds rather
+		-- than pattern bindings (tests/rename/should_fail/rnfail002).
 	group (Just (FunMonoBind f inf1 mtchs ignore_srcloc))
-		    (RdrValBinding (FunMonoBind f' _ [mtch] loc) : binds)
+		    (RdrValBinding (FunMonoBind f' _ 
+					[mtch@(Match _ (_:_) _ _)] loc)
+			: binds)
 	    | f == f' = group (Just (FunMonoBind f inf1 (mtch:mtchs) loc)) binds
 
 	group (Just so_far) binds
-- 
1.7.10.4