testsuite/tests/typecheck/should_fail/tcfail129.stderr

   1 \r
   2 tcfail129.hs:12:21: error:\r
   3     The type synonym ‘Foo’ should have 1 argument, but has been given none\r
   4     In an expression type signature: Bar Foo\r
   5     In the expression: undefined :: Bar Foo\r
   6     In an equation for ‘blah’: blah = undefined :: Bar Foo\r
   7 \r
   8 tcfail129.hs:17:22: error:\r
   9     The type synonym ‘Foo1’ should have 1 argument, but has been given none\r
  10     In an expression type signature: Bar1 Foo1\r
  11     In the expression: undefined :: Bar1 Foo1\r
  12     In an equation for ‘blah1’: blah1 = undefined :: Bar1 Foo1\r