diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2012-11-30 11:13:16 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2012-11-30 11:47:28 -0500 |
| commit | 2332b4be2f74092bffb3ab338c8669d104a46196 (patch) | |
| tree | 9e84dbe53904fd65343c4ec51fb4b8f6768da52a /compiler/coreSyn | |
| parent | d53e222b16c5dc6971e6173f8d9e5dbced68265d (diff) | |
| download | haskell-2332b4be2f74092bffb3ab338c8669d104a46196.tar.gz | |
Remove case from coreLintExpr dealing with types, as it is not used.
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | 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 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] |