summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T7354a.stderr
blob: 1b66b8797055b8670e74583a97c1202c32a8573f (plain)
1
2
3
4
5
6
7

T7354a.hs:5:13:
    Couldn't match expected type `Base t t' with actual type `()'
    Relevant bindings include foo :: t (bound at T7354a.hs:5:1)
    In the first argument of `embed', namely `()'
    In the expression: embed ()
    In an equation for `foo': foo = embed ()