Joe Groff
|
5bdc6314e0
|
make effect<= work with univariable stack effects, deny all bivariable stack effects
|
2010-03-11 01:37:33 -08:00 |
|
Joe Groff
|
e55373eda1
|
effect-variable -> row-variable
|
2010-03-11 01:25:13 -08:00 |
|
Joe Groff
|
d42c2b3a8c
|
carve up effects.parser too
|
2010-03-11 01:03:40 -08:00 |
|
Joe Groff
|
eea1326ee7
|
fix effect of <tuple-boa> primitive
|
2010-03-09 22:38:41 -08:00 |
|
Joe Groff
|
dd825806da
|
more help-lint
|
2010-03-09 21:02:43 -08:00 |
|
Joe Groff
|
1ca57e5465
|
fix up sequences help-lint
|
2010-03-09 20:29:44 -08:00 |
|
Joe Groff
|
eb7f737ca2
|
effects: docs for <effect>, <terminated-effect>, <variable-effect>
|
2010-03-09 13:50:58 -08:00 |
|
Joe Groff
|
906a86ae2d
|
mop up compiler errors from macosx load-all
|
2010-03-09 00:56:07 -08:00 |
|
Joe Groff
|
d4a0a69eb1
|
generalize stack effects so we can bootstrap with the stricter stack effect checking
|
2010-03-08 23:38:10 -08:00 |
|
Joe Groff
|
4ce3b99c64
|
add polymorphic effects for lexer:each-token, map-tokens
|
2010-03-08 18:55:46 -08:00 |
|
Joe Groff
|
8f0f2bc1de
|
add polymorphic stack effects to continuations:recover, attempt-all
|
2010-03-08 18:36:40 -08:00 |
|
Joe Groff
|
d969bc22e3
|
add documentation about stack effect variable syntax and the effect on the stack checker
|
2010-03-08 17:17:47 -08:00 |
|
Joe Groff
|
a3a8d61ba3
|
sequences: effects of push-if and push-either were too strict
|
2010-03-07 21:56:40 -08:00 |
|
Joe Groff
|
8dbe938ae0
|
polymorphize splitting private combinators
|
2010-03-07 18:07:59 -08:00 |
|
Joe Groff
|
007128ca7e
|
generalize stack effect of while, until, and produce
|
2010-03-05 23:01:22 -08:00 |
|
Joe Groff
|
8a36d57505
|
make effect variables part of effect syntax, stored out of band in effect tuple
|
2010-03-05 13:30:10 -08:00 |
|
Joe Groff
|
896891d5af
|
spray some polymorphic stack effects on kernel, math, and sequences
|
2010-03-05 00:21:10 -08:00 |
|
Joe Groff
|
3d3b6b610b
|
Merge branch 'lexer-parsing-word-errors'
|
2010-03-02 20:46:23 -08:00 |
|
Joe Groff
|
3db1955a93
|
record the C++ compiler version in the VM, and expose it with a vm-compiler word
|
2010-03-01 13:32:07 -08:00 |
|
Joe Groff
|
9086a66746
|
parse-tokens had two $notes sections. oops!
|
2010-03-01 11:50:16 -08:00 |
|
Joe Groff
|
a282a8dd26
|
lexer, parser: update docs on "parse-tokens" and add docs for "each-token", "map-tokens"
|
2010-03-01 11:47:57 -08:00 |
|
Joe Groff
|
0c71fcccc7
|
lexer: add "each-token" and "map-tokens", which are equivalent to "parse-token _ each/map" but incremental. update a smattering of parsing words (such as USING:, SYMBOLS:, etc.) to use each-token/map-tokens
|
2010-02-28 22:19:43 -08:00 |
|
Joe Groff
|
c8c93f8336
|
classes.tuple.parser: throw bad-slot-name immediately when an invalid slot name in a tuple/struct literal is scanned
|
2010-02-28 20:14:16 -08:00 |
|
Joe Groff
|
5a653d4473
|
lexer, parser: show initial parsing word line as part of lexer-errors
|
2010-02-28 13:01:03 -08:00 |
Slava Pestov
|
fce5a1644a
|
sequences: fix help lint
|
2010-02-26 00:44:48 +13:00 |
|
Slava Pestov
|
e5fc398dae
|
sequences: add cartesian-each, cartesian-map, cartesian-product words to eliminate some duplication throughout the codebase
|
2010-02-25 20:54:57 +13:00 |
|
Slava Pestov
|
6b88939d47
|
sequences: add suffix! to destructive sequence ops article
|
2010-02-25 05:57:09 +13:00 |
|
Slava Pestov
|
2dde82ffff
|
Slices over specialized arrays can now be passed to C functions, written to binary output streams, and given to malloc-byte-array
|
2010-02-25 04:50:31 +13:00 |
|
Slava Pestov
|
c1e7a3ffc2
|
Specialized arrays, structs and other objects responding to the >c-ptr / byte-length protocol can now be written to binary streams
|
2010-02-24 20:18:41 +13:00 |
|
Joe Groff
|
721f9018b1
|
fix typos in alien docs
|
2010-02-23 11:56:10 -08:00 |
|
Joe Groff
|
dff7d09055
|
update docs about pointer types
|
2010-02-23 11:03:48 -08:00 |
|
Slava Pestov
|
daf2e5270c
|
Get foldable and flushable declarations working on typed words
|
2010-02-24 00:16:55 +13:00 |
|
Slava Pestov
|
1f89dc505a
|
effects.parser: throw a proper no-word error if effect references an unknown class word
|
2010-02-23 23:57:13 +13:00 |
|
Joe Groff
|
524e58078a
|
repeated runs of classes.tuple test would fail because partially defined classes.tuple.tests:bad-superclass type would shadow classes.tuple:bad-superclass
|
2010-02-22 19:35:52 -08:00 |
Doug Coleman
|
06471c0a0d
|
Fix a couple of typos in complex number docs
|
2010-02-22 17:39:30 -06:00 |
|
Slava Pestov
|
31c467cf52
|
parser: auto-use prefers non-private words to private words
|
2010-02-22 19:25:08 +13:00 |
|
Slava Pestov
|
7d90469666
|
vocabs.loader: tweak platform checking logic
|
2010-02-22 13:17:46 +13:00 |
|
Slava Pestov
|
b907ada6a9
|
vocabs: document platforms.txt
|
2010-02-21 20:38:09 +13:00 |
|
Slava Pestov
|
63365bd3ea
|
native-thread-test: clean up
|
2010-02-21 17:48:05 +13:00 |
|
Slava Pestov
|
6249e264e1
|
continuations: add a throw-continue word for resumable errors, and change vocabs.metadata to throw a resumable error if the current platform is not supported
|
2010-02-20 13:41:33 +13:00 |
|
Slava Pestov
|
e95dc9440f
|
vocabs.loader.test.a: fix
|
2010-02-20 13:31:51 +13:00 |
|
Slava Pestov
|
0aad3e6e12
|
vocabs.metadata: replace unportable tag with a platforms.txt file for more fine-grained control. Rename unportable tag to untested for remaining cases
|
2010-02-20 13:30:49 +13:00 |
|
Slava Pestov
|
0c20afed7c
|
make: documentation tweak
|
2010-02-20 12:18:29 +13:00 |
|
Slava Pestov
|
58d035f1c7
|
Fix two problems with recompilation: predicate constant folding was recording unsatisfied dependencies in some cases, and literal tuple instances of forgotten classes would cause problems for method inlining
|
2010-02-20 12:01:47 +13:00 |
Philipp Brüschweiler
|
b49b577b10
|
assocs: doc fixes
|
2010-02-19 11:26:01 +01:00 |
|
Philipp Brüschweiler
|
d950258284
|
sequences: clarify some stack effect and examlpes in docs
|
2010-02-19 11:26:01 +01:00 |
|
Philipp Brüschweiler
|
4fbdb8eaa3
|
math: typo in rem docs
|
2010-02-19 11:23:20 +01:00 |
|
Slava Pestov
|
74891bc02a
|
Update documentation for new help lint check
|
2010-02-19 12:31:52 +13:00 |
|
Joe Groff
|
8e1a81f8d5
|
Revert "fix append-path and vocab-dir to use path-separator"
This reverts commit 0f3026b871.
|
2010-02-17 16:06:45 -08:00 |
|
Joe Groff
|
a48dd77d61
|
Revert "io.pathnames: make absolute-path? public"
This reverts commit 48756c9fca.
|
2010-02-17 16:06:30 -08:00 |