diff options
| author | Facundo DomÃnguez <facundo.dominguez@tweag.io> | 2016-12-20 08:39:10 -0300 |
|---|---|---|
| committer | Facundo DomÃnguez <facundo.dominguez@tweag.io> | 2017-01-06 15:17:23 -0300 |
| commit | c1ed9557ad4e40caa72b27693527e02887ddd896 (patch) | |
| tree | 4b5910cb78266f377a073706267ad268397a3fee /testsuite/tests | |
| parent | c5452cc1a67e344ea694851d83e2534a6d829e45 (diff) | |
| download | haskell-c1ed9557ad4e40caa72b27693527e02887ddd896.tar.gz | |
Have addModFinalizer expose the local type environment.
Kind inference in ghci was interfered when renaming of type splices
introduced the HsSpliced data constructor. This patch has kind
inference skip over it.
Test Plan: ./validate
Reviewers: simonpj, rrnewton, bgamari, goldfire, austin
Subscribers: thomie, mboes
Differential Revision: https://phabricator.haskell.org/D2886
GHC Trac Issues: #12985
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/ghci/scripts/GhciKinds.script | 7 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/GhciKinds.stdout | 2 |
2 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/GhciKinds.script b/testsuite/tests/ghci/scripts/GhciKinds.script index fa9401524c..a7220fef02 100644 --- a/testsuite/tests/ghci/scripts/GhciKinds.script +++ b/testsuite/tests/ghci/scripts/GhciKinds.script @@ -8,3 +8,10 @@ :seti -XRankNTypes :kind! forall a. F (Maybe a) + +:set -XUnboxedTuples -XTemplateHaskell -XMagicHash +:set -fprint-explicit-runtime-reps -fprint-explicit-kinds +:set -fprint-explicit-foralls +:m + GHC.Exts Language.Haskell.TH Language.Haskell.TH.Lib +:m + Language.Haskell.TH.Syntax +:k $(unboxedTupleT 2) diff --git a/testsuite/tests/ghci/scripts/GhciKinds.stdout b/testsuite/tests/ghci/scripts/GhciKinds.stdout index e34b84a42a..3556e621a4 100644 --- a/testsuite/tests/ghci/scripts/GhciKinds.stdout +++ b/testsuite/tests/ghci/scripts/GhciKinds.stdout @@ -9,3 +9,5 @@ F (Maybe Bool) :: * = Char forall a. F (Maybe a) :: * = Char +$(unboxedTupleT 2) :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep). + TYPE k0 -> TYPE k1 -> TYPE 'UnboxedTupleRep |