[commit: ghc] wip/ttypeable: HACK: CoreLint: Kill unsaturated unlifted types check (809a3bf)

git at git.haskell.org git at git.haskell.org
Mon Jun 6 11:11:32 UTC 2016


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

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

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

commit 809a3bfab38f63a9a6a5a62de5a1482ed2f6abf2
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat Jan 30 19:53:05 2016 +0100

    HACK: CoreLint: Kill unsaturated unlifted types check


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

809a3bfab38f63a9a6a5a62de5a1482ed2f6abf2
 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 0261f7e..3db70882 100644
--- a/compiler/coreSyn/CoreLint.hs
+++ b/compiler/coreSyn/CoreLint.hs
@@ -1084,7 +1084,7 @@ lintType ty@(TyConApp tc tys)
   = lintType ty'   -- Expand type synonyms, so that we do not bogusly complain
                    --  about un-saturated type synonyms
 
-  | isUnliftedTyCon tc || isTypeSynonymTyCon tc || isTypeFamilyTyCon tc
+  | isTypeSynonymTyCon tc || isTypeFamilyTyCon tc
        -- Also type synonyms and type families
   , length tys < tyConArity tc
   = failWithL (hang (text "Un-saturated type application") 2 (ppr ty))



More information about the ghc-commits mailing list