Commit Graph

20083 Commits (98d1e7d00663d84024e8d31244c28542571ad59d)

Author SHA1 Message Date
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
Doug Coleman 55e772c528 Remove the http-data word 2010-03-01 22:32:15 -06:00
Joe Groff 1c08fde381 yay C89 2010-03-01 17:56:17 -08:00
Joe Groff ac979619e6 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 2c5deba1d1 parse-tokens had two $notes sections. oops! 2010-03-01 11:50:16 -08:00
Joe Groff 51541bb35b 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 6d81d1eaaa windows.directx.d3d9: a method was missing argument names 2010-02-28 23:11:43 -08:00
Joe Groff 9bf5c76771 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 702c4df0da Merge branch 'master' of git://factorcode.org/git/factor 2010-02-28 20:25:26 -08:00
Joe Groff bb58cf4d16 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
Daniel Ehrenberg 1e5f202998 Maing vocabs.hierarchy use sets; modifying alias analysis's use of sets 2010-02-28 22:55:22 -05:00
Daniel Ehrenberg 1217dc9c6e Making alias analysis use sets 2010-02-28 22:42:10 -05:00
Joe Groff bde65fe2d0 windows.com: update COM-INTERFACE: to parse incrementally 2010-02-28 19:30:15 -08:00
Joe Groff cd17a934ac cut commas off of FUNCTION: parameter names in stack effects again 2010-02-28 19:29:53 -08:00
Joe Groff 9412fe8297 update GL-FUNCTION: to use new FUNCTION: factors 2010-02-28 16:40:34 -08:00