testsuite/tests/parser/should_fail/T18251d.stderr


1
2
3
4
5
6


T18251d.hs:6:1: error:
    • @-binders in functions are not allowed yet
    • In an equation for ‘f’: f @a _ = ()
      The equation for ‘f’ has two value arguments,
        but its type ‘a -> ()’ has only one