X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FhsSyn%2FHsBinds.lhs;h=31c1cae459b8c952456a5f612fddfd4f8ffc7606;hp=78a22343bb9fe87b67750e1f21d3018a04c91bb1;hb=5a552652286f9a019d37ded2428fb6543b169310;hpb=451d907d9db34b9f7c787af4196e0bec05916508

diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs
index 78a2234..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