[project @ 2001-12-06 10:45:14 by simonpj]

Comments only

diff --git a/ghc/compiler/hsSyn/HsBinds.lhs b/ghc/compiler/hsSyn/HsBinds.lhs
index d30ff27..4f66055 100644 (file)
--- a/ghc/compiler/hsSyn/HsBinds.lhs
+++ b/ghc/compiler/hsSyn/HsBinds.lhs
@@ -109,6 +109,10 @@ data MonoBinds id pat
                                -- and variables                f = \x -> e
                                -- Reason: the Match stuff lets us have an optional
                                --         result type sig      f :: a->a = ...mentions a...
+                               --
+                               -- This also means that instance decls can only have
+                               -- FunMonoBinds, so if you change this, you'll need to
+                               -- change e.g. rnMethodBinds
                    Bool                -- True => infix declaration
                    [Match id pat]
                    SrcLoc