diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2016-07-12 17:21:07 +0200 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2016-07-14 10:01:41 +0200 |
| commit | cd0750ec96fba9b1683b25954092439c0f267fd7 (patch) | |
| tree | 83a2de456d70ee3de43a0c6f77ecd03308937da1 /testsuite/tests/ghci | |
| parent | 18ac80ff729eb19ec370ead9f9275b3bc32c1f81 (diff) | |
| download | haskell-cd0750ec96fba9b1683b25954092439c0f267fd7.tar.gz | |
tidyOccNames: Rename variables fairly
So that
> :t (id,id,id)
produces
(id,id,id) :: (a3 -> a3, a2 -> a2, a1 -> a1)
instead of
(id,id,id) :: (a2 -> a2, a1 -> a1, a -> a)
Differential Revision: https://phabricator.haskell.org/D2402
Diffstat (limited to 'testsuite/tests/ghci')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T6018ghcifail.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7587.stdout | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7730.stdout | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci013.stdout | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/ghci/scripts/T6018ghcifail.stderr b/testsuite/tests/ghci/scripts/T6018ghcifail.stderr index 048f45d288..9184aff580 100644 --- a/testsuite/tests/ghci/scripts/T6018ghcifail.stderr +++ b/testsuite/tests/ghci/scripts/T6018ghcifail.stderr @@ -49,7 +49,7 @@ <interactive>:60:15: error: Type family equation violates injectivity annotation. - Kind variable ‘k1’ cannot be inferred from the right-hand side. + Kind variable ‘k2’ cannot be inferred from the right-hand side. Use -fprint-explicit-kinds to see the kind arguments In the type family equation: PolyKindVars '[] = '[] -- Defined at <interactive>:60:15 diff --git a/testsuite/tests/ghci/scripts/T7587.stdout b/testsuite/tests/ghci/scripts/T7587.stdout index 776eb6d223..95e68c0d3f 100644 --- a/testsuite/tests/ghci/scripts/T7587.stdout +++ b/testsuite/tests/ghci/scripts/T7587.stdout @@ -1 +1 @@ -A :: k -> k1 -> * +A :: k1 -> k2 -> * diff --git a/testsuite/tests/ghci/scripts/T7730.stdout b/testsuite/tests/ghci/scripts/T7730.stdout index fcf9e4c1d2..e96e909413 100644 --- a/testsuite/tests/ghci/scripts/T7730.stdout +++ b/testsuite/tests/ghci/scripts/T7730.stdout @@ -1,7 +1,7 @@ type role A phantom phantom data A (x :: k) (y :: k1) -- Defined at <interactive>:2:1 -A :: k -> k1 -> * +A :: k1 -> k2 -> * type role T phantom data T (a :: k) where MkT :: forall k (a :: k) a1. a1 -> T a diff --git a/testsuite/tests/ghci/scripts/ghci013.stdout b/testsuite/tests/ghci/scripts/ghci013.stdout index 695aaafc53..dacff446f5 100644 --- a/testsuite/tests/ghci/scripts/ghci013.stdout +++ b/testsuite/tests/ghci/scripts/ghci013.stdout @@ -1 +1 @@ -f :: Monad m => (m a, b) -> m b1 +f :: Monad m => (m a, b1) -> m b2 |