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