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

tcfail129.hs:12:8:
    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:9:
    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