[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