[commit: ghc] master: Comments only (badbbe0)
git at git.haskell.org
git
Tue Oct 1 15:55:17 UTC 2013
Repository : ssh://git at git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/badbbe0d9d596f289b049603d67442f44fda29a8/ghc
>---------------------------------------------------------------
commit badbbe0d9d596f289b049603d67442f44fda29a8
Author: unknown <simonpj at MSRC-4971295.europe.corp.microsoft.com>
Date: Tue Sep 24 20:01:52 2013 +0100
Comments only
>---------------------------------------------------------------
badbbe0d9d596f289b049603d67442f44fda29a8
compiler/deSugar/DsBinds.lhs | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs
index db0333d..a33ff91 100644
--- a/compiler/deSugar/DsBinds.lhs
+++ b/compiler/deSugar/DsBinds.lhs
@@ -575,10 +575,10 @@ SPEC f :: ty [n] INLINE [k]
\begin{code}
decomposeRuleLhs :: [Var] -> CoreExpr -> Either SDoc ([Var], Id, [CoreExpr])
--- Take apart the LHS of a RULE. It's supposed to look like
--- /\a. f a Int dOrdInt
--- or /\a.\d:Ord a. let { dl::Ord [a] = dOrdList a d } in f [a] dl
--- That is, the RULE binders are lambda-bound
+-- (decomposeRuleLhs bndrs lhs) takes apart the LHS of a RULE,
+-- The 'bndrs' are the quantified binders of the rules, but decomposeRuleLhs
+-- may add some extra dictionary binders (see Note [Constant rule dicts])
+--
-- Returns Nothing if the LHS isn't of the expected shape
decomposeRuleLhs bndrs lhs
= -- Note [Simplifying the left-hand side of a RULE]
More information about the ghc-commits
mailing list