Test proxy-polymorphic sameNat and sameSymbol
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail102.stderr
1
2 tcfail102.hs:1:14: warning:
3     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
4
5 tcfail102.hs:9:15: error:
6     • Could not deduce (Integral (Ratio a)) arising from a use of ‘p’
7       from the context: Integral a
8         bound by the type signature for:
9                    f :: forall a. Integral a => P (Ratio a) -> P (Ratio a)
10         at tcfail102.hs:8:1-45
11     • In the ‘p’ field of a record
12       In the expression: x {p = p x}
13       In an equation for ‘f’: f x = x {p = p x}