path: root/testsuite/tests/rename/should_fail/T8448.stderr

T8448.hs:5:17: error:
    • Constructor ‘[]’ does not have field ‘r’
    • In the first argument of ‘undefined’, namely ‘[] {r = x}’
      In the expression: undefined [] {r = x}
      In an equation for ‘f’: f x = undefined [] {r = x}