testsuite/tests/typecheck/should_fail/tcfail102.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13


tcfail102.hs:1:14: Warning:
    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.

tcfail102.hs:9:15:
    Could not deduce (Integral (Ratio a)) arising from a use of ‘p’
    from the context: Integral a
      bound by the type signature for:
               f :: Integral a => P (Ratio a) -> P (Ratio a)
      at tcfail102.hs:8:6-45
    In the ‘p’ field of a record
    In the expression: x {p = p x}
    In an equation for ‘f’: f x = x {p = p x}