1f6a636adec6cd2dfd56261d3e4c444e868d9303
[ghc.git] / testsuite / tests / determinism / determ021 / determ021.stdout
1 [1 of 1] Compiling A                ( A.hs, A.o )
2 TYPE SIGNATURES
3   test2 ::
4     forall (f :: * -> *) t b.
5     (Applicative f, Num t, Num b) =>
6     (t -> f b) -> f b
7 TYPE CONSTRUCTORS
8 COERCION AXIOMS
9 Dependent modules: []
10 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
11                      integer-gmp-1.0.2.0]
12 [1 of 1] Compiling A                ( A.hs, A.o )
13 TYPE SIGNATURES
14   test2 ::
15     forall (f :: * -> *) t b.
16     (Applicative f, Num t, Num b) =>
17     (t -> f b) -> f b
18 TYPE CONSTRUCTORS
19 COERCION AXIOMS
20 Dependent modules: []
21 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
22                      integer-gmp-1.0.2.0]