testsuite/tests/rep-poly/T19709a.stderr


1
2
3
4
5
6
7
8
9
10
11


T19709a.hs:8:8: error:
    • The first pattern in the equation for ‘levid’
      does not have a fixed runtime representation.
      Its type is:
        a :: TYPE r
    • In the expression:
        let
          levid :: forall (r :: RuntimeRep) (a :: TYPE r). a -> a
          levid x = x
        in return []