From 2332b4be2f74092bffb3ab338c8669d104a46196 Mon Sep 17 00:00:00 2001
From: Richard Eisenberg <eir@cis.upenn.edu>
Date: Fri, 30 Nov 2012 11:13:16 -0500
Subject: Remove case from coreLintExpr dealing with types, as it is not used.

---
 compiler/coreSyn/CoreLint.lhs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'compiler/coreSyn')

diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs
index afd7e05913..e315b7573e 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]
-- 
cgit v1.2.1