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/partial-sigs/should_compile | |
| 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/partial-sigs/should_compile')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/Uncurry.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr b/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr index ce7372f061..f9bcf3a307 100644 --- a/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr @@ -1,5 +1,5 @@ TYPE SIGNATURES - unc :: forall w w1 w2. (w2 -> w1 -> w) -> (w2, w1) -> w + unc :: forall w1 w2 w3. (w3 -> w2 -> w1) -> (w3, w2) -> w1 TYPE CONSTRUCTORS COERCION AXIOMS Dependent modules: [] |