Re: Literals embedded in vector and array datums must type-match with the container
Peter McGoron 27 Apr 2026 19:20 UTC
> integer arrays must have integer literals
exact integer literals?
> complex arrays must have complex literals
inexact complex literals?
> I think (and Bradley agrees) that these should be disallowed.
I would leave it unspecified, although I agree in restricting integer
arrays to exact integers. Is there any harm in a rule that a number that
would be inferred to be exact in an inexact array is treated as-if it
had `#i` prepended to it?
I don't like this sort of strict typing when a coercion would be simple
and obvious.
-- Peter McGoron