Overlap6.stderr 500 Bytes
Newer Older
1 2 3 4 5 6 7 8

Overlap6.hs:15:7:
    Couldn't match type ‘x’ with ‘And x 'True’
      ‘x’ is a rigid type variable bound by
          the type signature for: g :: Proxy x -> Proxy (And x 'True)
          at Overlap6.hs:14:6
    Expected type: Proxy (And x 'True)
      Actual type: Proxy x
9 10
    In the expression: x
    In an equation for ‘g’: g x = x
11 12 13
    Relevant bindings include
      x :: Proxy x (bound at Overlap6.hs:15:3)
      g :: Proxy x -> Proxy (And x 'True) (bound at Overlap6.hs:15:1)