]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c850722) | patch
new vocab tools.annotations.assertions
authorJoe Groff <arcata@gmail.com>
Tue, 18 Oct 2011 22:13:02 +0000 (15:13 -0700)
committerJoe Groff <arcata@gmail.com>
Tue, 18 Oct 2011 22:13:34 +0000 (15:13 -0700)
commit300a0256c8a5e469559a6ae6516d19e9dd3a1630
tree3491e338bf8efb4690121bb57aac560668b9f639tree | snapshot
parentc850722cbbbe0bc4aad54cca4ad81514a193ff9bcommit | diff
new vocab tools.annotations.assertions
Annotates unsafe words with assertions that their inputs and outputs are valid. Provide annotations for stream-read(-partial)-unsafe and (set-)nth-unsafe to start with.
basis/tools/annotations/assertions/assertions.factor [new file with mode: 0644] blob
Factor programming language