Result type signatures are no longer supported (partial)

[ghc-hetmet.git] / compiler / hsSyn / HsBinds.lhs

diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs
index 78a2234..31c1cae 100644 (file)
--- 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