-
Simon Peyton Jones authored
This is just to make sure that there is no redundant boxing. For safeIndex, for example, the error path doesn't evaluate the index, so it may be passed boxed unless safeIndex is inlined bodily, which I don't want to rely on.
68a1e679