[commit: ghc] master: TcTyClsDecls: Remove invalid comments about list monads (4bb9f88)

git at git.haskell.org git at git.haskell.org
Mon Dec 21 19:06:20 UTC 2015


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/4bb9f881fe07634b94cafa7504c7a02dc9d554dd/ghc

>---------------------------------------------------------------

commit 4bb9f881fe07634b94cafa7504c7a02dc9d554dd
Author: Ömer Sinan Ağacan <omeragacan at gmail.com>
Date:   Mon Dec 21 14:03:26 2015 -0500

    TcTyClsDecls: Remove invalid comments about list monads


>---------------------------------------------------------------

4bb9f881fe07634b94cafa7504c7a02dc9d554dd
 compiler/typecheck/TcTyClsDecls.hs | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs
index 8a8f112..47b2fc2 100644
--- a/compiler/typecheck/TcTyClsDecls.hs
+++ b/compiler/typecheck/TcTyClsDecls.hs
@@ -396,10 +396,8 @@ getInitialKind decl@(ClassDecl { tcdLName = L _ name, tcdTyVars = ktvs, tcdATs =
 getInitialKind decl@(DataDecl { tcdLName = L _ name
                               , tcdTyVars = ktvs
                               , tcdDataDefn = HsDataDefn { dd_kindSig = m_sig
-                                                         , dd_cons = cons' } })
-  = let cons = cons' -- AZ list monad coming
-    in
-     do { (decl_kind, _) <-
+                                                         , dd_cons = cons } })
+  = do  { (decl_kind, _) <-
            kcHsTyVarBndrs (hsDeclHasCusk decl) ktvs $ \_ _ ->
            do { res_k <- case m_sig of
                            Just ksig -> tcLHsKind ksig
@@ -867,9 +865,8 @@ tcDataDefn rec_info     -- Knot-tied; don't look at this eagerly
            tc_name tvs tycon_kind res_kind
          (HsDataDefn { dd_ND = new_or_data, dd_cType = cType
                      , dd_ctxt = ctxt, dd_kindSig = mb_ksig
-                     , dd_cons = cons' })
- = let cons = cons' -- AZ List monad coming
-   in do { extra_tvs <- tcDataKindSig res_kind
+                     , dd_cons = cons })
+ =  do { extra_tvs <- tcDataKindSig res_kind
        ; let final_tvs  = tvs `chkAppend` extra_tvs
              roles      = rti_roles rec_info tc_name
 



More information about the ghc-commits mailing list