[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