testsuite/tests/rep-poly/RepPolyRule1.stderr


1
2
3
4
5
6
7
8
9
10


RepPolyRule1.hs:11:51: error:
    • The function argument
        ‘x’
      does not have a fixed runtime representation.
      Its type is:
        a :: TYPE rep
    • In the first argument of ‘f’, namely ‘x’
      In the expression: f x
      When checking the rewrite rule "f_id"