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: error: [GHC-11890]
    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.