bc5b5cd8a3682d2eaf576e1ce1aa3a771b0e4a09
[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     (Num b, Num t, Applicative f) =>
6     (t -> f b) -> f b
7 TYPE CONSTRUCTORS
8 COERCION AXIOMS
9 Dependent modules: []
10 Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
11                      integer-gmp-1.0.0.1]
12 [1 of 1] Compiling A                ( A.hs, A.o )
13 TYPE SIGNATURES
14   test2 ::
15     forall (f :: * -> *) t b.
16     (Num b, Num t, Applicative f) =>
17     (t -> f b) -> f b
18 TYPE CONSTRUCTORS
19 COERCION AXIOMS
20 Dependent modules: []
21 Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
22                      integer-gmp-1.0.0.1]