Joe Groff
|
0d3015cd1c
|
fill out row variables docs
|
2010-03-11 11:57:12 -08:00 |
|
Joe Groff
|
64c064fb3e
|
another typo in effects syntax
|
2010-03-11 11:23:48 -08:00 |
|
Joe Groff
|
452f17c859
|
update effect syntax error names in debugger
|
2010-03-11 11:22:43 -08:00 |
|
Joe Groff
|
5bccc96498
|
typo in <effect> docs
|
2010-03-11 11:22:28 -08:00 |
Slava Pestov
|
274a6ec5ce
|
furnace.recaptcha: fix load error
|
2010-03-12 01:23:28 +13:00 |
|
Joe Groff
|
c35dd7c2ef
|
make effect<= work with univariable stack effects, deny all bivariable stack effects
|
2010-03-11 01:37:33 -08:00 |
|
Joe Groff
|
8b1b7b20d5
|
effect-variable -> row-variable
|
2010-03-11 01:25:13 -08:00 |
|
Slava Pestov
|
977f8e1d2c
|
Merge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism
|
2010-03-11 22:10:49 +13:00 |
|
Slava Pestov
|
f6511eb098
|
Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism
|
2010-03-11 22:10:24 +13:00 |
|
Joe Groff
|
e85a8aabb5
|
Merge branch 'row-polymorphism' of factorcode.org:/git/factor into row-polymorphism
|
2010-03-11 01:04:19 -08:00 |
|
Joe Groff
|
d001c1f375
|
carve up effects.parser too
|
2010-03-11 01:03:40 -08:00 |
|
Joe Groff
|
26ff757de4
|
carve the tough, gamey steak of stack-checker.polymorphism into chewable morsels
|
2010-03-11 00:53:40 -08:00 |
|
Slava Pestov
|
3189c8d7a1
|
furnace.recaptcha: remove unused variable
|
2010-03-11 21:13:22 +13:00 |
|
Slava Pestov
|
fd767b7d31
|
furnace.recaptcha: make it easier to use
|
2010-03-11 21:02:39 +13:00 |
|
Slava Pestov
|
0d0f1a92a8
|
websites.concatenative: add a recaptcha to the pastebin
|
2010-03-11 19:14:16 +13:00 |
|
Slava Pestov
|
1f593f6bbc
|
furnace.recaptcha: cleanups
|
2010-03-11 19:13:57 +13:00 |
|
Slava Pestov
|
0de6d2005e
|
Merge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism
|
2010-03-11 17:23:18 +13:00 |
|
Joe Groff
|
f24a74f66c
|
Merge branch 'master' into row-polymorphism
|
2010-03-10 11:48:41 -08:00 |
|
Joe Groff
|
6bf709429b
|
fix effect of <tuple-boa> primitive
|
2010-03-09 22:38:41 -08:00 |
|
Joe Groff
|
18f3df9d4a
|
more help-lint
|
2010-03-09 21:02:43 -08:00 |
|
Joe Groff
|
b9004a4fff
|
fix up sequences help-lint
|
2010-03-09 20:29:44 -08:00 |
|
Joe Groff
|
4367b15c4a
|
update help-lint to complain when $quotation effect doesn't match declared effect on corresponding input parameter of stack effect
|
2010-03-09 19:51:04 -08:00 |
|
Joe Groff
|
b9bced9a5e
|
update docs for unbalanced-branches-error
|
2010-03-09 18:42:10 -08:00 |
|
Slava Pestov
|
7744559a46
|
compiler.tree.propagation: clean up
|
2010-03-10 15:15:49 +13:00 |
|
Slava Pestov
|
1bf7db20ed
|
Merge branch 'length' of git://github.com/littledan/Factor
|
2010-03-10 14:30:23 +13:00 |
|
Joe Groff
|
34b29af245
|
non-polymorphic input parameter check was too strict: wouldn't allow ( x -- ) for ( x x -- x ), for example
|
2010-03-09 15:57:00 -08:00 |
|
Joe Groff
|
8a52aec6da
|
effects: docs for <effect>, <terminated-effect>, <variable-effect>
|
2010-03-09 13:50:58 -08:00 |
Daniel Ehrenberg
|
8e227bc874
|
Propagation tracks length just like any other read-only slot
|
2010-03-09 15:58:44 -05:00 |
|
Joe Groff
|
84aa47610f
|
mop up errors from test-all
|
2010-03-09 10:22:14 -08:00 |
|
Joe Groff
|
e7968ceffc
|
mop up compiler errors from macosx load-all
|
2010-03-09 00:56:07 -08:00 |
|
Joe Groff
|
bcbc7632c6
|
fix stack effects in compiler tests
|
2010-03-08 23:46:20 -08:00 |
|
Joe Groff
|
191ac353fd
|
generalize stack effects so we can bootstrap with the stricter stack effect checking
|
2010-03-08 23:38:10 -08:00 |
|
Joe Groff
|
3abf1f1ef7
|
stack-checker.row-polymorphism: modify check-variables to enforce non-polymorphic stack effects
|
2010-03-08 19:44:01 -08:00 |
|
Joe Groff
|
21aa4632c8
|
refactor stack-checker.row-polymorphism a little
|
2010-03-08 19:32:25 -08:00 |
|
Joe Groff
|
10ca2ba695
|
add polymorphic effects for lexer:each-token, map-tokens
|
2010-03-08 18:55:46 -08:00 |
|
Joe Groff
|
cb656c6e6b
|
add polymorphic stack effects to continuations:recover, attempt-all
|
2010-03-08 18:36:40 -08:00 |
|
Joe Groff
|
0f8d77952b
|
Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism
|
2010-03-08 18:14:29 -08:00 |
|
Joe Groff
|
5597ee691f
|
add documentation about stack effect variable syntax and the effect on the stack checker
|
2010-03-08 17:17:47 -08:00 |
Samuel Tardieu
|
1266383e4a
|
Use a subclassed tuple with methods instead of quotations
|
2010-03-08 20:29:24 +01:00 |
|
Samuel Tardieu
|
bda1c97d21
|
Project Euler : problem 265
|
2010-03-08 18:35:30 +01:00 |
Doug Coleman
|
1669194d04
|
Fix typedef typo in opencl
|
2010-03-08 03:39:29 -06:00 |
|
Joe Groff
|
8159a19187
|
combine unbalanced-branches-error and invalid-quotation-input into one error
|
2010-03-07 22:23:24 -08:00 |
|
Joe Groff
|
e5c2344ce4
|
sequences: effects of push-if and push-either were too strict
|
2010-03-07 21:56:40 -08:00 |
|
Joe Groff
|
9e6f84bc24
|
declare effect on inputs to infer-if in non-literal case, so we get a better error than "unbalanced drop call/nip call"
|
2010-03-07 21:37:24 -08:00 |
|
Joe Groff
|
6689113519
|
unify inner-d-index when unifying branches; close a few other leaks where meta-d could have been popped without updating inner-d-index
|
2010-03-07 20:44:50 -08:00 |
|
Joe Groff
|
66687d6b21
|
reuse @ and _ from fry in placeholders for invalid-quotation-input errors rather than making our own redundant placeholder symbols
|
2010-03-07 20:08:35 -08:00 |
|
Joe Groff
|
f353b13bbc
|
add unit test from quotation that fails to infer during bootstrap.compiler
|
2010-03-07 20:07:30 -08:00 |
|
Joe Groff
|
4cd6ad840d
|
add tests from old row-polymorphism implementation to stack-checker unit tests
|
2010-03-07 19:13:41 -08:00 |
|
Joe Groff
|
1512ed12f3
|
further improve error message for invalid quotation inputs using a table display with the actual quotation effects determined so far
|
2010-03-07 18:40:58 -08:00 |
|
Joe Groff
|
ea4545e366
|
improve error message for invalid quotation inputs by referencing each declared-effect to its other references
|
2010-03-07 18:27:55 -08:00 |