Jon Ross-Perkins

This was fixed by #2022, I think we just missed closing it. (Thanks Matthew!)

@nikhil061102 We appreciate your interest, but do not make off-topic comments on issues; use discussion forums for generic help requests.

Shuffling to a long-term tracking issue.

I think this has been resolved.

Note, in recent discussion about this, I think we were thinking what's missing for this to happen is some kind of raw storage type, e.g. Byte to have arrays of...

A good starting point might be expanding IntTypeLiteral to handle multiple sizes, then thinking more about the other types once you've seen the code flow a little more. > I...

As I mull this, this might also make the interpreter slightly circular? I'm not sure how `size / 8` works if we convert `size` to be a prelude-defined type, I...

(maybe need to be _really_ careful not to have `literal / literal` not use the same code path -- it probably does today)

Just an idea, but you might instead start by changing i32 to use an Int type in the prelude that's backed by a Byte array. That requires adding Byte, but...

To offer a different solution, I think the "No matching callable was found" error should have been suppressed. That is, given the contents were erroneous, maybe it wasn't appropriate to...