diff --git a/doc/SixtyPical.md b/doc/SixtyPical.md index 017267b..d9d34ba 100644 --- a/doc/SixtyPical.md +++ b/doc/SixtyPical.md @@ -111,6 +111,13 @@ trashes) must be a subset of the vector's inputs (resp. outputs, trashes.)) trashes y @ $c000 +> TODO: need to confirm this, but, the rule is: +> +> * If it is NAMED, it is a memory address. +> * If it is a LITERAL INTEGER, it is an immediate value. +> +> However, this really needs a review, deep in the code, for how this is implemented. + Routines -------- @@ -384,6 +391,8 @@ it is treated like an empty block. * It is illegal if any location initialized at the end of the true-branch is not initialized at the end of the false-branch, and vice versa. +The sense of the test can be inverted with `not`. + ### repeat ### repeat { diff --git a/tests/SixtyPical Compilation.md b/tests/SixtyPical Compilation.md index 949b73d..64a330d 100644 --- a/tests/SixtyPical Compilation.md +++ b/tests/SixtyPical Compilation.md @@ -1,15 +1,15 @@ -Sixtypical Compilation +SixtyPical Compilation ====================== This is a test suite, written in [Falderal][] format, for compiling -Sixtypical to 6502 machine code. +SixtyPical to 6502 machine code. [Falderal]: http://catseye.tc/node/Falderal - -> Functionality "Compile Sixtypical program" is implemented by + -> Functionality "Compile SixtyPical program" is implemented by -> shell command "bin/sixtypical --compile %(test-body-file) | fa-bin-to-hex" - -> Tests for functionality "Compile Sixtypical program" + -> Tests for functionality "Compile SixtyPical program" Null program. diff --git a/tests/SixtyPical Execution.md b/tests/SixtyPical Execution.md index 696a8dc..f7019f7 100644 --- a/tests/SixtyPical Execution.md +++ b/tests/SixtyPical Execution.md @@ -1,4 +1,4 @@ -Sixtypical Execution +SixtyPical Execution ==================== This is a test suite, written in [Falderal][] format, for the dynamic @@ -6,10 +6,10 @@ execution behaviour of the Sixtypical language, disgregarding static analysis. [Falderal]: http://catseye.tc/node/Falderal - -> Functionality "Execute Sixtypical program" is implemented by + -> Functionality "Execute SixtyPical program" is implemented by -> shell command "bin/sixtypical --execute %(test-body-file)" - -> Tests for functionality "Execute Sixtypical program" + -> Tests for functionality "Execute SixtyPical program" Rudimentary program. diff --git a/tests/SixtyPical Syntax.md b/tests/SixtyPical Syntax.md index ad68ae7..c653eb3 100644 --- a/tests/SixtyPical Syntax.md +++ b/tests/SixtyPical Syntax.md @@ -1,5 +1,5 @@ -Sixtypical Execution -==================== +SixtyPical Syntax +================= This is a test suite, written in [Falderal][] format, for the syntax of the Sixtypical language, disgregarding execution, static analysis, etc. @@ -9,10 +9,10 @@ but not necessarily sensible programs. [Falderal]: http://catseye.tc/node/Falderal - -> Functionality "Check syntax of Sixtypical program" is implemented by + -> Functionality "Check syntax of SixtyPical program" is implemented by -> shell command "bin/sixtypical %(test-body-file) && echo ok" - -> Tests for functionality "Check syntax of Sixtypical program" + -> Tests for functionality "Check syntax of SixtyPical program" Rudimentary program.