diff options
Diffstat (limited to 'testsuite/tests/ado/ado004.stderr')
| -rw-r--r-- | testsuite/tests/ado/ado004.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/ado/ado004.stderr b/testsuite/tests/ado/ado004.stderr index a5fe638fea..6472310ece 100644 --- a/testsuite/tests/ado/ado004.stderr +++ b/testsuite/tests/ado/ado004.stderr @@ -3,23 +3,23 @@ TYPE SIGNATURES forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int test2 :: forall (f :: * -> *) b a. - (Num b, Num a, Applicative f) => + (Applicative f, Num a, Num b) => (a -> f b) -> f b test3 :: forall (m :: * -> *) a a1 a2. - (Monad m, Num a2) => + (Num a2, Monad m) => (a2 -> m a1) -> (a1 -> a1 -> m a) -> m a test4 :: forall (m :: * -> *) a a1 a2. - (Monad m, Num a2) => + (Num a2, Monad m) => (a2 -> m a1) -> (a1 -> a1 -> m a) -> m a test5 :: forall (m :: * -> *) a a1 a2. - (Monad m, Num a2) => + (Num a2, Monad m) => (a2 -> m a1) -> (a1 -> a1 -> m a) -> m a test6 :: forall r (m :: * -> *) a. - (Monad m, Num (m a)) => + (Num (m a), Monad m) => (m a -> m (m a)) -> r -> m a TYPE CONSTRUCTORS COERCION AXIOMS |