testsuite/tests/rep-poly/T19709a.stderr


1
2
3
4
5
6
7
8
9
10


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