Add -foptimal-applicative-do
[ghc.git] / testsuite / tests / ado / ado004.stderr
1 TYPE SIGNATURES
2   test1 ::
3     forall (f :: * -> *). Applicative f => (Int -> f Int) -> f Int
4   test2 ::
5     forall t b (f :: * -> *).
6     (Num b, Num t, Applicative f) =>
7     (t -> f b) -> f b
8   test2a ::
9     forall (f :: * -> *) b t.
10     (Num t, Num b, Functor f) =>
11     (t -> f b) -> f b
12   test2b ::
13     forall (m :: * -> *) a t. (Num t, Monad m) => (t -> a) -> m a
14   test3 ::
15     forall a t (m :: * -> *) t1.
16     (Num t1, Monad m) =>
17     (t1 -> m t) -> (t -> t -> m a) -> m a
18   test4 ::
19     forall a a1 (m :: * -> *) t.
20     (Num t, Monad m) =>
21     (t -> m a1) -> (a1 -> a1 -> m a) -> m a
22   test5 ::
23     forall a a1 (m :: * -> *) t.
24     (Num t, Monad m) =>
25     (t -> m a1) -> (a1 -> a1 -> m a) -> m a
26   test6 ::
27     forall a (m :: * -> *) t.
28     (Num (m a), Monad m) =>
29     (m a -> m (m a)) -> t -> m a
30 TYPE CONSTRUCTORS
31 COERCION AXIOMS
32 Dependent modules: []
33 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
34                      integer-gmp-1.0.0.1]