[commit: ghc] wip/ttypeable: Reenable Core Lint (f0a6eec)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/f0a6eecd9f104975376b7d8bd9290fdd042412c8/ghc

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

commit f0a6eecd9f104975376b7d8bd9290fdd042412c8
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat Jan 28 03:21:58 2017 -0500

    Reenable Core Lint


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

f0a6eecd9f104975376b7d8bd9290fdd042412c8
 compiler/coreSyn/CoreLint.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/coreSyn/CoreLint.hs b/compiler/coreSyn/CoreLint.hs
index 3ca3785..c86b6b2 100644
--- a/compiler/coreSyn/CoreLint.hs
+++ b/compiler/coreSyn/CoreLint.hs
@@ -1174,7 +1174,7 @@ lintArrow :: SDoc -> LintedKind -> LintedKind -> LintM LintedKind
 -- See Note [GHC Formalism]
 lintArrow what k1 k2   -- Eg lintArrow "type or kind `blah'" k1 k2
                        -- or lintarrow "coercion `blah'" k1 k2
-  = do { --unless (okArrowArgKind k1)    (addErrL (msg (text "argument") k1))
+  = do { unless (okArrowArgKind k1)    (addErrL (msg (text "argument") k1))
        ; unless (okArrowResultKind k2) (addErrL (msg (text "result")   k2))
        ; return liftedTypeKind }
   where