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/ado | |
| 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/ado')
| -rw-r--r-- | testsuite/tests/ado/ado004.stderr | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/ado/ado004.stderr b/testsuite/tests/ado/ado004.stderr index ec2ebbc50d..20f04d01e7 100644 --- a/testsuite/tests/ado/ado004.stderr +++ b/testsuite/tests/ado/ado004.stderr @@ -18,17 +18,17 @@ TYPE SIGNATURES (Num b, Num t, Functor f) => (t -> f b) -> f b test3 :: - forall a t (m :: * -> *) t1. - (Num t1, Monad m) => - (t1 -> m t) -> (t -> t -> m a) -> m a + forall a t1 (m :: * -> *) t2. + (Num t2, Monad m) => + (t2 -> m t1) -> (t1 -> t1 -> m a) -> m a test4 :: - forall a a1 (m :: * -> *) t. + forall a1 a2 (m :: * -> *) t. (Num t, Monad m) => - (t -> m a1) -> (a1 -> a1 -> m a) -> m a + (t -> m a2) -> (a2 -> a2 -> m a1) -> m a1 test5 :: - forall a a1 (m :: * -> *) t. + forall a1 a2 (m :: * -> *) t. (Num t, Monad m) => - (t -> m a1) -> (a1 -> a1 -> m a) -> m a + (t -> m a2) -> (a2 -> a2 -> m a1) -> m a1 test6 :: forall a (m :: * -> *) t. (Num (m a), Monad m) => |