summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail129.stderr
blob: 2c1b4bfb72da2037fece4ab50a9d70ed89d92479 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

tcfail129.hs:12:21:
    Type synonym ‘Foo’ should have 1 argument, but has been given none
    In an expression type signature: Bar Foo
    In the expression: undefined :: Bar Foo
    In an equation for ‘blah’: blah = undefined :: Bar Foo

tcfail129.hs:17:22:
    Type synonym ‘Foo1’ should have 1 argument, but has been given none
    In an expression type signature: Bar1 Foo1
    In the expression: undefined :: Bar1 Foo1
    In an equation for ‘blah1’: blah1 = undefined :: Bar1 Foo1