Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/2332b4be2f74092bffb3ab338c8669d104a46196 >--------------------------------------------------------------- commit 2332b4be2f74092bffb3ab338c8669d104a46196 Author: Richard Eisenberg <e...@cis.upenn.edu> Date: Fri Nov 30 11:13:16 2012 -0500 Remove case from coreLintExpr dealing with types, as it is not used. >--------------------------------------------------------------- compiler/coreSyn/CoreLint.lhs | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs index afd7e05..e315b75 100644 --- a/compiler/coreSyn/CoreLint.lhs +++ b/compiler/coreSyn/CoreLint.lhs @@ -356,14 +356,16 @@ lintCoreExpr e@(Case scrut var alt_ty alts) = ; checkCaseAlts e scrut_ty alts ; return alt_ty } } +-- This case can't happen; linting types in expressions gets routed through +-- lintCoreArgs lintCoreExpr (Type ty) - = do { ty' <- lintInTy ty - ; return (typeKind ty') } + = pprPanic "lintCoreExpr" (ppr ty) lintCoreExpr (Coercion co) = do { co' <- lintInCo co ; let Pair ty1 ty2 = coercionKind co' ; return (mkCoercionType ty1 ty2) } + \end{code} Note [Kind instantiation in coercions] _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
