diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2016-11-13 16:17:37 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-11-13 16:17:38 -0500 |
| commit | 6c0f10fac767c49b65ed71e8eb8e78ca4f9062d5 (patch) | |
| tree | 4d37b9d01c1bf38d6356471ddb99ca4327e945c6 /testsuite/tests/ghci | |
| parent | 8cb7bc5c234eb8168068f65b8888597106fec302 (diff) | |
| download | haskell-6c0f10fac767c49b65ed71e8eb8e78ca4f9062d5.tar.gz | |
Kill Type pretty-printer
Here we consolidate the pretty-printing logic for types in IfaceType. We
need IfaceType regardless and the printer for Type can be implemented in
terms of that for IfaceType. See #11660.
Note that this is very much a work-in-progress. Namely I still have yet
to ponder how to ease the hs-boot file situation, still need to rip out
more dead code, need to move some of the special cases for, e.g., `*` to
the IfaceType printer, and need to get it to validate. That being said,
it comes close to validating as-is.
Test Plan: Validate
Reviewers: goldfire, austin
Subscribers: goldfire, thomie, simonpj
Differential Revision: https://phabricator.haskell.org/D2528
GHC Trac Issues: #11660
Diffstat (limited to 'testsuite/tests/ghci')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T11252.stdout | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T2766.stdout | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci059.stdout | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/ghci/scripts/T11252.stdout b/testsuite/tests/ghci/scripts/T11252.stdout index eddba4530e..f6d45ddf32 100644 --- a/testsuite/tests/ghci/scripts/T11252.stdout +++ b/testsuite/tests/ghci/scripts/T11252.stdout @@ -1 +1 @@ -Proxy1 :: forall k -> k -> * +Proxy1 :: k -> * diff --git a/testsuite/tests/ghci/scripts/T2766.stdout b/testsuite/tests/ghci/scripts/T2766.stdout index 5bcbd9e75e..f8ee42ff6a 100644 --- a/testsuite/tests/ghci/scripts/T2766.stdout +++ b/testsuite/tests/ghci/scripts/T2766.stdout @@ -1,3 +1,3 @@ first :: Arrow to => b `to` c -> (b, d) `to` (c, d) :: Arrow to => to b c -> to (b, d) (c, d) -first :: b~>c -> (b, d)~>(c, d) :: b ~> c -> (b, d) ~> (c, d) +first :: b~>c -> (b, d)~>(c, d) :: (b ~> c) -> (b, d) ~> (c, d) diff --git a/testsuite/tests/ghci/scripts/ghci059.stdout b/testsuite/tests/ghci/scripts/ghci059.stdout index 3cb103c9f5..9f4e65b344 100644 --- a/testsuite/tests/ghci/scripts/ghci059.stdout +++ b/testsuite/tests/ghci/scripts/ghci059.stdout @@ -1,4 +1,4 @@ type role Coercible representational representational -class a ~R# b => Coercible (a :: k0) (b :: k0) +class Coercible a b => Coercible (a :: k0) (b :: k0) -- Defined in ‘GHC.Types’ coerce :: Coercible a b => a -> b -- Defined in ‘GHC.Prim’ |