[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