[commit: ghc] ghc-kinds: A few fixes. (f44eadb)

José Pedro Magalhães jpm at cs.uu.nl
Tue Nov 1 11:08:33 CET 2011


Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-kinds

http://hackage.haskell.org/trac/ghc/changeset/f44eadbfda16265bc40d53dcaa20fdf8d79f3454

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

commit f44eadbfda16265bc40d53dcaa20fdf8d79f3454
Author: Jose Pedro Magalhaes <jpm at cs.uu.nl>
Date:   Tue Nov 1 10:06:48 2011 +0000

    A few fixes.

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

 compiler/typecheck/TcEnv.lhs        |    2 +-
 compiler/typecheck/TcTyClsDecls.lhs |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcEnv.lhs b/compiler/typecheck/TcEnv.lhs
old mode 100644
new mode 100755
index bc71c85..e9beea5
--- a/compiler/typecheck/TcEnv.lhs
+++ b/compiler/typecheck/TcEnv.lhs
@@ -714,7 +714,7 @@ pprBinders bndrs  = pprWithCommas ppr bndrs
 
 notFound :: Name -> TcM TyThing
 notFound name 
-  = do { (gbl,lcl) <- getEnvs
+  = do { (_gbl,lcl) <- getEnvs
        ; failWithTc (vcat[ptext (sLit "GHC internal error:") <+> quotes (ppr name) <+> 
                      ptext (sLit "is not in scope during type checking, but it passed the renamer"),
                      ptext (sLit "tcl_env of environment:") <+> ppr (tcl_env lcl)]
diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs
index 6748e6e..ed84f4c 100755
diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs
index b0b5d83..3603be1 100755
--- a/compiler/typecheck/TcTyClsDecls.lhs
+++ b/compiler/typecheck/TcTyClsDecls.lhs
@@ -96,7 +96,7 @@ tcTyClGroup boot_details tyclds
             -- (possibly-polymorphic) kind of each TyCon and Class
             -- See Note [Kind checking for type and class decls]
          names_w_poly_kinds <- kcTyClGroup tyclds
-       ; traceTc "tcTyAndCl generalized kinds" (ppr names_w_kinds)
+       ; traceTc "tcTyAndCl generalized kinds" (ppr names_w_poly_kinds)
 
 	    -- Step 2: type-check the group, returning 
 	    -- the final TyCons and Classes





More information about the Cvs-ghc mailing list