testsuite/tests/typecheck/should_fail/T8392a.stderr


1
2
3
4
5
6
7
8


T8392a.hs:6:8: error:
    Couldn't match type ‘Int’ with ‘Bool’
    Inaccessible code in
      the type signature for:
        foo :: (Int ~ Bool) => a -> a
    In the ambiguity check for ‘foo’
    In the type signature: foo :: (Int ~ Bool) => a -> a