Joe Groff
|
ade937d46f
|
Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism
|
2010-03-08 18:14:29 -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 |
Doug Coleman
|
6a6ab7c1a8
|
Fix typedef typo in opencl
|
2010-03-08 03:39:29 -06:00 |
|
Joe Groff
|
1b3a92441a
|
combine unbalanced-branches-error and invalid-quotation-input into one error
|
2010-03-07 22:23:24 -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
|
51de9cbb4a
|
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
|
ce0e5d030c
|
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
|
e761828d47
|
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
|
c1555cc653
|
add unit test from quotation that fails to infer during bootstrap.compiler
|
2010-03-07 20:07:30 -08:00 |
|
Joe Groff
|
352ed41e74
|
add tests from old row-polymorphism implementation to stack-checker unit tests
|
2010-03-07 19:13:41 -08:00 |
|
Joe Groff
|
ac90071cd7
|
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
|
f5b0f55ec3
|
improve error message for invalid quotation inputs by referencing each declared-effect to its other references
|
2010-03-07 18:27:55 -08:00 |
|
Joe Groff
|
8751e464ef
|
clear away some rebar
|
2010-03-07 18:11:44 -08:00 |
|
Joe Groff
|
8dbe938ae0
|
polymorphize splitting private combinators
|
2010-03-07 18:07:59 -08:00 |
|
Joe Groff
|
e2ee197e46
|
tweak declared-effect to wrap the existing known instead of introducing a new value, so we don't confuse the compiler
|
2010-03-07 18:07:42 -08:00 |
|
Joe Groff
|
4a9b65b422
|
add stack variable unification to M\ declared-effect infer-call*
|
2010-03-07 17:51:41 -08:00 |
|
Joe Groff
|
42ed9bb11f
|
add a with-effect-here combinator that determines the effect of a scoped subset of the stack checker
|
2010-03-07 16:54:25 -08:00 |
|
Joe Groff
|
048aba0b1c
|
tweak recursive call site checking to consider declared-effects equivalent to their wrapped values
|
2010-03-07 11:55:47 -08:00 |
|
Joe Groff
|
a5291e4702
|
row polymorphism new approach: wrap polymorphic quotation inputs in a "declared-effect" value. M\ declared-effect infer-call* will then assert the effect of declared-effect values during the normal course of stack inference
|
2010-03-07 11:54:57 -08:00 |
|
Joe Groff
|
6e712139a4
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2010-03-06 14:01:53 -08:00 |
|
Joe Groff
|
f92a2d635f
|
tag opencl.* untested
|
2010-03-06 14:01:26 -08:00 |
|
Joe Groff
|
7b97b84156
|
add unit test to show that polymorphic check breaks inference of inline recursive words
|
2010-03-06 12:28:09 -08:00 |
Samuel Tardieu
|
fdffdd82dd
|
Use a better heuristic
|
2010-03-06 14:37:35 +01:00 |
|
Samuel Tardieu
|
ca93f91eda
|
Remove useless USING:
|
2010-03-06 14:31:46 +01:00 |
|
Samuel Tardieu
|
05a8df6baf
|
Use distance from math.vectors
|
2010-03-06 14:14:54 +01:00 |
|
Samuel Tardieu
|
af10867b8d
|
A* algorithm implementation
|
2010-03-06 13:48:54 +01:00 |
|
Joe Groff
|
007128ca7e
|
generalize stack effect of while, until, and produce
|
2010-03-05 23:01:22 -08:00 |
Erik Charlebois
|
819857623d
|
Get the OpenCL driver name right on Linux, confirm test passes
|
2010-03-05 22:37:10 -08:00 |
|
Joe Groff
|
ca944518f7
|
give terminating stack effects a pass in the polymorphic checker
|
2010-03-05 21:51:38 -08:00 |
|
Joe Groff
|
9b0a007b88
|
clean up polymorphic stack effects in fuel
|
2010-03-05 21:51:13 -08:00 |
|
Joe Groff
|
3ba4805e29
|
move error summaries for effect parsing errors to debugger vocab
|
2010-03-05 21:50:40 -08:00 |
|
Joe Groff
|
4cc12d3c70
|
reuse infer-call* for polymorphic inference, which handles curried quotations. tests can pass with real "each" etc. now
|
2010-03-05 15:20:55 -08:00 |
|
Joe Groff
|
dd9c758447
|
fix stack error in stack-checker.row-polymorphism
|
2010-03-05 14:34:50 -08:00 |
|
Joe Groff
|
8d274e851a
|
fix ... in compiler.cfg.linearization
|
2010-03-05 14:27:58 -08:00 |
|
Joe Groff
|
2ca507eb1a
|
refactor stack-checker slightly to fix circular dependency
|
2010-03-05 14:27:36 -08:00 |
|
Joe Groff
|
1ea6266724
|
clean up now-inappropriate uses of "..." in generalizations stack effects
|
2010-03-05 13:58:00 -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
|
fb86397021
|
make tests pass
|
2010-03-04 22:43:01 -08:00 |
|
Joe Groff
|
7f33e007f9
|
improve error reporting
|
2010-03-04 21:51:49 -08:00 |
|
Joe Groff
|
5c0787a1e3
|
nested scopes were messing up stack checker state
|
2010-03-04 20:15:26 -08:00 |
|
Joe Groff
|
9eeb0c1b3b
|
initial implementation of row-polymorphism check
|
2010-03-04 19:30:08 -08:00 |
|
Erik Charlebois
|
7d0b3342a0
|
Get OpenCL unit tests passing on Win7/NVidia.
|
2010-03-03 02:06:58 -08:00 |
|
Erik Charlebois
|
fb715ff618
|
Merge branch 'master' of git://github.com/slavapestov/factor
|
2010-03-03 00:04:17 -08:00 |
|
Erik Charlebois
|
594f65b9fc
|
Update tags.txt files for Windows DDK
|
2010-03-03 00:03:44 -08:00 |
|
Erik Charlebois
|
232692e5d9
|
Initial checkin of OpenCL bindings
|
2010-03-03 00:02:47 -08:00 |
|
Joe Groff
|
3d3b6b610b
|
Merge branch 'lexer-parsing-word-errors'
|
2010-03-02 20:46:23 -08:00 |
|
Erik Charlebois
|
ddaedf4f77
|
FUEL syntax updates
|
2010-03-02 19:32:07 -08:00 |
|
Joe Groff
|
1344dfb388
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2010-03-02 15:25:06 -08:00 |
|
Joe Groff
|
3d12a4eeb3
|
needlessly rice game.input backends further by using set/get-global everywhere
|
2010-03-02 15:24:47 -08:00 |