Update notes.
Chris Pressey
4 years ago
7 | 7 |
to a table falls within the defined size of that table.
|
8 | 8 |
* The reference analyzer's ability to prove this is currently fairly weak,
|
9 | 9 |
but it does exist.
|
|
10 |
* Cleaned up the internals of the reference implementation (incl. the AST)
|
|
11 |
and re-organized the example programs in the `eg` subdirectory.
|
|
12 |
* Most errors produced by the reference implementation now include a line number.
|
10 | 13 |
|
11 | 14 |
0.12
|
12 | 15 |
----
|
91 | 91 |
* `static` pointers -- currently not possible because pointers must be zero-page, thus `@`, thus uninitialized.
|
92 | 92 |
* Question the value of the "consistent initialization" principle for `if` statement analysis.
|
93 | 93 |
* `interrupt` routines -- to indicate that "the supervisor" has stored values on the stack, so we can trash them.
|
94 | |
* Error messages that include the line number of the source code.
|
95 | 94 |
* Add absolute addressing in shl/shr, absolute-indexed for add, sub, etc.
|
96 | 95 |
* Automatic tail-call optimization (could be tricky, w/constraints?)
|
97 | 96 |
* Possibly `ld x, [ptr] + y`, possibly `st x, [ptr] + y`.
|