Vector should be representational #223
Description
At the moment we get this
*Numeric.Sundials.CVode.ODE> (coerce ((V.fromList [1,2]) :: Vector CInt)) :: Vector Int
[8589934593,4426664329]
We should really get a type error.
{{ message }}
At the moment we get this
*Numeric.Sundials.CVode.ODE> (coerce ((V.fromList [1,2]) :: Vector CInt)) :: Vector Int
[8589934593,4426664329]
We should really get a type error.