idris-1.3.3: test/basic006/expected.out

test020a.idr:16:10-19:
   |
16 | foo xs = reverse xs
   |          ~~~~~~~~~~
When checking right hand side of foo with expected type
        List a

When checking an application of function Prelude.List.reverse:
        Type mismatch between
                Vect n a (Type of xs)
        and
                List a (Expected type)

[3, 2, 1]
"Number 42"