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

tcfail129.hs:12:21: error:
    The 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: error:
    The 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