summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail129.stderr
blob: 0bffcbf76fdc68b741140e1562228de835760170 (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