X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FhsSyn%2FHsBinds.lhs;h=31c1cae459b8c952456a5f612fddfd4f8ffc7606;hp=b5c21792af2fd82e925fa3f356857cf3fcd692ae;hb=afef39736dcde6f4947a6f362f9e6b3586933db4;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1

diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs
index b5c2179..31c1cae 100644
--- a/compiler/hsSyn/HsBinds.lhs
+++ b/compiler/hsSyn/HsBinds.lhs
@@ -59,14 +59,15 @@ type LHsBind  id  = Located (HsBind id)
 data HsBind id
   = FunBind {	-- FunBind is used for both functions 	f x = e
 		-- and variables			f = \x -> e
--- Reason 1: the Match stuff lets us have an optional
---	   result type sig	f :: a->a = ...mentions a...
+-- Reason 1: Special case for type inference: see TcBinds.tcMonoBinds
 --
--- Reason 2: Special case for type inference: see TcBinds.tcMonoBinds
---
--- Reason 3: instance decls can only have FunBinds, which is convenient
+-- Reason 2: instance decls can only have FunBinds, which is convenient
 --	     If you change this, you'll need tochange e.g. rnMethodBinds
 
+-- But note that the form	f :: a->a = ...
+-- parses as a pattern binding, just like
+--			(f :: a -> a) = ... 
+
 	fun_id :: Located id,
 
 	fun_infix :: Bool,	-- True => infix declaration
@@ -156,6 +157,8 @@ instance OutputableBndr id => Outputable (HsValBinds id) where
 -- 'where' include a list of HsBindGroups and we don't want
 -- several groups of bindings each with braces around.
 -- Sort by location before printing
+pprValBindsForUser :: (OutputableBndr id1, OutputableBndr id2)
+		   => LHsBinds id1 -> [LSig id2] -> SDoc
 pprValBindsForUser binds sigs
   = vcat (map snd (sort_by_loc decls))
   where