[commit: ghc] master: Remove case from coreLintExpr dealing with types, as it is not used. (2332b4b)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/2332b4be2f74092bffb3ab338c8669d104a46196

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

commit 2332b4be2f74092bffb3ab338c8669d104a46196
Author: Richard Eisenberg <[email protected]>
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]