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 |
|
Joe Groff
|
011a39457e
|
clear away some rebar
|
2010-03-07 18:11:44 -08:00 |
|
Joe Groff
|
83c81b288f
|
polymorphize splitting private combinators
|
2010-03-07 18:07:59 -08:00 |
|
Joe Groff
|
6b9a79159d
|
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
|
b14d59030f
|
add stack variable unification to M\ declared-effect infer-call*
|
2010-03-07 17:51:41 -08:00 |
|
Joe Groff
|
bbbda64ee7
|
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
|
63ad397cc1
|
tweak recursive call site checking to consider declared-effects equivalent to their wrapped values
|
2010-03-07 11:55:47 -08:00 |
|
Joe Groff
|
339cc8f04e
|
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
|
31d722df7e
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2010-03-06 14:01:53 -08:00 |
|
Joe Groff
|
211cafed4a
|
tag opencl.* untested
|
2010-03-06 14:01:26 -08:00 |
|
Joe Groff
|
68dd644233
|
add unit test to show that polymorphic check breaks inference of inline recursive words
|
2010-03-06 12:28:09 -08:00 |
Samuel Tardieu
|
adcf50514c
|
Use a better heuristic
|
2010-03-06 14:37:35 +01:00 |
|
Samuel Tardieu
|
0e35c883ae
|
Remove useless USING:
|
2010-03-06 14:31:46 +01:00 |
|
Samuel Tardieu
|
542096b528
|
Use distance from math.vectors
|
2010-03-06 14:14:54 +01:00 |
|
Samuel Tardieu
|
eff65915b0
|
A* algorithm implementation
|
2010-03-06 13:48:54 +01:00 |
|
Joe Groff
|
17df15280e
|
generalize stack effect of while, until, and produce
|
2010-03-05 23:01:22 -08:00 |
Erik Charlebois
|
3b9d6f64a4
|
Get the OpenCL driver name right on Linux, confirm test passes
|
2010-03-05 22:37:10 -08:00 |
|
Joe Groff
|
9571bf6d4b
|
give terminating stack effects a pass in the polymorphic checker
|
2010-03-05 21:51:38 -08:00 |
|
Joe Groff
|
48b433750b
|
clean up polymorphic stack effects in fuel
|
2010-03-05 21:51:13 -08:00 |
|
Joe Groff
|
15e6a7fa5e
|
move error summaries for effect parsing errors to debugger vocab
|
2010-03-05 21:50:40 -08:00 |
Slava Pestov
|
a926576993
|
Merge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism
|
2010-03-06 18:11:45 +13:00 |
|
Joe Groff
|
26e4bb818a
|
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
|
c9162c5e31
|
fix stack error in stack-checker.row-polymorphism
|
2010-03-05 14:34:50 -08:00 |
|
Joe Groff
|
af57d4dfa9
|
fix ... in compiler.cfg.linearization
|
2010-03-05 14:27:58 -08:00 |
|
Joe Groff
|
4892bf1d47
|
refactor stack-checker slightly to fix circular dependency
|
2010-03-05 14:27:36 -08:00 |
|
Joe Groff
|
ff2a53e1b8
|
clean up now-inappropriate uses of "..." in generalizations stack effects
|
2010-03-05 13:58:00 -08:00 |
|
Joe Groff
|
a3033e885a
|
make effect variables part of effect syntax, stored out of band in effect tuple
|
2010-03-05 13:30:10 -08:00 |
|
Joe Groff
|
85f30987e2
|
spray some polymorphic stack effects on kernel, math, and sequences
|
2010-03-05 00:21:10 -08:00 |
|
Joe Groff
|
1b1ccb71a4
|
make tests pass
|
2010-03-04 22:43:01 -08:00 |
|
Joe Groff
|
053ba583fc
|
improve error reporting
|
2010-03-04 21:51:49 -08:00 |
|
Joe Groff
|
31640ea9c6
|
nested scopes were messing up stack checker state
|
2010-03-04 20:15:26 -08:00 |
|
Joe Groff
|
23de281186
|
initial implementation of row-polymorphism check
|
2010-03-04 19:30:08 -08:00 |
|
Erik Charlebois
|
950f268bad
|
Get OpenCL unit tests passing on Win7/NVidia.
|
2010-03-03 02:06:58 -08:00 |
|
Erik Charlebois
|
7d9c73c406
|
Merge branch 'master' of git://github.com/slavapestov/factor
|
2010-03-03 00:04:17 -08:00 |
|
Erik Charlebois
|
a0ac5a16c3
|
Update tags.txt files for Windows DDK
|
2010-03-03 00:03:44 -08:00 |
|
Erik Charlebois
|
a7f1d4f231
|
Initial checkin of OpenCL bindings
|
2010-03-03 00:02:47 -08:00 |
|
Joe Groff
|
afaaf30679
|
Merge branch 'lexer-parsing-word-errors'
|
2010-03-02 20:46:23 -08:00 |
|
Slava Pestov
|
102a8dc8f8
|
Merge branch 'lexer-parsing-word-errors' of git://factorcode.org/git/factor into lexer-parsing-word-errors
|
2010-03-03 17:35:12 +13:00 |
|
Erik Charlebois
|
98da7ac16e
|
FUEL syntax updates
|
2010-03-02 19:32:07 -08:00 |
Daniel Ehrenberg
|
e3481a7ed7
|
compiler.cfg.def-use uses sets
|
2010-03-02 19:23:34 -05:00 |
|
Daniel Ehrenberg
|
766896f01c
|
Fixing bug in see caused by incorrect import
|
2010-03-02 19:11:35 -05:00 |
|
Joe Groff
|
444fa7668c
|
Merge branch 'master' of git://factorcode.org/git/factor
|
2010-03-02 15:25:06 -08:00 |
|
Joe Groff
|
2e4ebc0182
|
needlessly rice game.input backends further by using set/get-global everywhere
|
2010-03-02 15:24:47 -08:00 |
|
Daniel Ehrenberg
|
3ad5ca4636
|
Regexps use new sets rather than assocs for final states
|
2010-03-02 18:05:37 -05:00 |
|
Daniel Ehrenberg
|
7364608417
|
Merge branch 'master' of git://factorcode.org/git/factor into bags
|
2010-03-02 17:04:45 -05:00 |
Doug Coleman
|
8ef279e020
|
Fix load error in calendar
|
2010-03-02 11:38:35 -06:00 |
|
Doug Coleman
|
3faa1a57d3
|
Add a parsing word to output slots to the stack instead of to an array
|
2010-03-02 04:51:52 -06:00 |
|
Doug Coleman
|
b059ade5ed
|
Use TYPED: in a few places in calendar.format to avoid passing durations instead of timestamps
|
2010-03-02 04:31:17 -06:00 |
|
Doug Coleman
|
55c606f274
|
Remove year/month/day words because they're dumb and confusing
|
2010-03-02 04:20:40 -06:00 |
|
Joe Groff
|
4159cfcc7b
|
game.input.*: factor out callback implementations to separate words so they optimize
|
2010-03-01 23:29:26 -08:00 |