testsuite/tests/indexed-types/should_fail/T7354a.stderr


1
2
3
4
5
6


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 ()