Kaylee Blake

Possible error in PUSH immediate

1

The `PUSH` immediate encodings list the operands types as `Ibss` and `Ivs`, the descriptions for which state that they are sign-extended to the size of the stack pointer (which is...

isBoolean\1 type error

2

So, the typechecker is finally approaching the point of actual usefulness. I'm picking up 77 type errors in the dictionary, though I know at least some of those are definitely...