testsuite/tests/typecheck/T12441/T12441.stderr


1
2
3
4
5
6
7
8
9
10

[1 of 3] Compiling T12441[boot]     ( T12441.hs-boot, T12441.o-boot )
[2 of 3] Compiling T12441A          ( T12441A.hs, T12441A.o ) 
[3 of 3] Compiling T12441           ( T12441.hs, T12441.o )

T12441.hs-boot:3:1:
    Identifier ‘f’ has conflicting definitions in the module
    and its hs-boot file
    Main module: f :: forall b a. (a, b)
    Boot file:   f :: forall a b. (a, b)
    The two types are different