testsuite/tests/ghci/scripts/T13202a.stderr


1
2
3
4
5
6


<interactive>:4:5: error:
    • Non type-variable argument in the constraint: HasField "name" r a
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        foo :: forall {r} {a}. HasField "name" r a => r -> a