]> gitweb.factorcode.org Git - factor.git/log
factor.git
14 years agoMerge branch 'master' of git://factorcode.org/git/factor into row-polymorphism
Joe Groff [Tue, 9 Mar 2010 02:14:29 +0000 (18:14 -0800)]
Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism

14 years agoadd documentation about stack effect variable syntax and the effect on the stack...
Joe Groff [Tue, 9 Mar 2010 01:17:47 +0000 (17:17 -0800)]
add documentation about stack effect variable syntax and the effect on the stack checker

14 years agoFix typedef typo in opencl
Doug Coleman [Mon, 8 Mar 2010 09:39:29 +0000 (03:39 -0600)]
Fix typedef typo in opencl

14 years agocombine unbalanced-branches-error and invalid-quotation-input into one error
Joe Groff [Mon, 8 Mar 2010 06:23:24 +0000 (22:23 -0800)]
combine unbalanced-branches-error and invalid-quotation-input into one error

14 years agosequences: effects of push-if and push-either were too strict
Joe Groff [Mon, 8 Mar 2010 05:56:40 +0000 (21:56 -0800)]
sequences: effects of push-if and push-either were too strict

14 years agodeclare effect on inputs to infer-if in non-literal case, so we get a better error...
Joe Groff [Mon, 8 Mar 2010 05:37:24 +0000 (21:37 -0800)]
declare effect on inputs to infer-if in non-literal case, so we get a better error than "unbalanced drop call/nip call"

14 years agounify inner-d-index when unifying branches; close a few other leaks where meta-d...
Joe Groff [Mon, 8 Mar 2010 04:44:50 +0000 (20:44 -0800)]
unify inner-d-index when unifying branches; close a few other leaks where meta-d could have been popped without updating inner-d-index

14 years agoreuse @ and _ from fry in placeholders for invalid-quotation-input errors rather...
Joe Groff [Mon, 8 Mar 2010 04:08:35 +0000 (20:08 -0800)]
reuse @ and _ from fry in placeholders for invalid-quotation-input errors rather than making our own redundant placeholder symbols

14 years agoadd unit test from quotation that fails to infer during bootstrap.compiler
Joe Groff [Mon, 8 Mar 2010 04:07:30 +0000 (20:07 -0800)]
add unit test from quotation that fails to infer during bootstrap.compiler

14 years agoadd tests from old row-polymorphism implementation to stack-checker unit tests
Joe Groff [Mon, 8 Mar 2010 03:13:41 +0000 (19:13 -0800)]
add tests from old row-polymorphism implementation to stack-checker unit tests

14 years agofurther improve error message for invalid quotation inputs using a table display...
Joe Groff [Mon, 8 Mar 2010 02:40:58 +0000 (18:40 -0800)]
further improve error message for invalid quotation inputs using a table display with the actual quotation effects determined so far

14 years agoimprove error message for invalid quotation inputs by referencing each declared-effec...
Joe Groff [Mon, 8 Mar 2010 02:27:55 +0000 (18:27 -0800)]
improve error message for invalid quotation inputs by referencing each declared-effect to its other references

14 years agoclear away some rebar
Joe Groff [Mon, 8 Mar 2010 02:11:44 +0000 (18:11 -0800)]
clear away some rebar

14 years agopolymorphize splitting private combinators
Joe Groff [Mon, 8 Mar 2010 02:07:59 +0000 (18:07 -0800)]
polymorphize splitting private combinators

14 years agotweak declared-effect to wrap the existing known instead of introducing a new value...
Joe Groff [Mon, 8 Mar 2010 02:07:42 +0000 (18:07 -0800)]
tweak declared-effect to wrap the existing known instead of introducing a new value, so we don't confuse the compiler

14 years agoadd stack variable unification to M\ declared-effect infer-call*
Joe Groff [Mon, 8 Mar 2010 01:51:41 +0000 (17:51 -0800)]
add stack variable unification to M\ declared-effect infer-call*

14 years agoadd a with-effect-here combinator that determines the effect of a scoped subset of...
Joe Groff [Mon, 8 Mar 2010 00:45:33 +0000 (16:45 -0800)]
add a with-effect-here combinator that determines the effect of a scoped subset of the stack checker

14 years agotweak recursive call site checking to consider declared-effects equivalent to their...
Joe Groff [Sun, 7 Mar 2010 19:55:47 +0000 (11:55 -0800)]
tweak recursive call site checking to consider declared-effects equivalent to their wrapped values

14 years agorow polymorphism new approach: wrap polymorphic quotation inputs in a "declared-effec...
Joe Groff [Sun, 7 Mar 2010 19:44:44 +0000 (11:44 -0800)]
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

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Sat, 6 Mar 2010 22:01:53 +0000 (14:01 -0800)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agotag opencl.* untested
Joe Groff [Sat, 6 Mar 2010 22:01:26 +0000 (14:01 -0800)]
tag opencl.* untested

14 years agoadd unit test to show that polymorphic check breaks inference of inline recursive...
Joe Groff [Sat, 6 Mar 2010 20:28:09 +0000 (12:28 -0800)]
add unit test to show that polymorphic check breaks inference of inline recursive words

14 years agoUse a better heuristic
Samuel Tardieu [Sat, 6 Mar 2010 13:37:35 +0000 (14:37 +0100)]
Use a better heuristic

14 years agoRemove useless USING:
Samuel Tardieu [Sat, 6 Mar 2010 13:31:46 +0000 (14:31 +0100)]
Remove useless USING:

14 years agoUse distance from math.vectors
Samuel Tardieu [Sat, 6 Mar 2010 13:14:54 +0000 (14:14 +0100)]
Use distance from math.vectors

14 years agoA* algorithm implementation
Samuel Tardieu [Sat, 6 Mar 2010 07:48:39 +0000 (08:48 +0100)]
A* algorithm implementation

14 years agogeneralize stack effect of while, until, and produce
Joe Groff [Sat, 6 Mar 2010 06:42:05 +0000 (22:42 -0800)]
generalize stack effect of while, until, and produce

14 years agoGet the OpenCL driver name right on Linux, confirm test passes
Erik Charlebois [Sat, 6 Mar 2010 06:37:10 +0000 (22:37 -0800)]
Get the OpenCL driver name right on Linux, confirm test passes

14 years agogive terminating stack effects a pass in the polymorphic checker
Joe Groff [Sat, 6 Mar 2010 05:51:38 +0000 (21:51 -0800)]
give terminating stack effects a pass in the polymorphic checker

14 years agoclean up polymorphic stack effects in fuel
Joe Groff [Sat, 6 Mar 2010 05:51:13 +0000 (21:51 -0800)]
clean up polymorphic stack effects in fuel

14 years agomove error summaries for effect parsing errors to debugger vocab
Joe Groff [Sat, 6 Mar 2010 05:50:40 +0000 (21:50 -0800)]
move error summaries for effect parsing errors to debugger vocab

14 years agoreuse infer-call* for polymorphic inference, which handles curried quotations. tests...
Joe Groff [Fri, 5 Mar 2010 23:12:03 +0000 (15:12 -0800)]
reuse infer-call* for polymorphic inference, which handles curried quotations. tests can pass with real "each" etc. now

14 years agofix stack error in stack-checker.row-polymorphism
Joe Groff [Fri, 5 Mar 2010 22:34:50 +0000 (14:34 -0800)]
fix stack error in stack-checker.row-polymorphism

14 years agofix ... in compiler.cfg.linearization
Joe Groff [Fri, 5 Mar 2010 22:27:58 +0000 (14:27 -0800)]
fix ... in compiler.cfg.linearization

14 years agorefactor stack-checker slightly to fix circular dependency
Joe Groff [Fri, 5 Mar 2010 22:27:36 +0000 (14:27 -0800)]
refactor stack-checker slightly to fix circular dependency

14 years agoclean up now-inappropriate uses of "..." in generalizations stack effects
Joe Groff [Fri, 5 Mar 2010 21:58:00 +0000 (13:58 -0800)]
clean up now-inappropriate uses of "..." in generalizations stack effects

14 years agomake effect variables part of effect syntax, stored out of band in effect tuple
Joe Groff [Fri, 5 Mar 2010 21:30:10 +0000 (13:30 -0800)]
make effect variables part of effect syntax, stored out of band in effect tuple

14 years agospray some polymorphic stack effects on kernel, math, and sequences
Joe Groff [Fri, 5 Mar 2010 08:21:10 +0000 (00:21 -0800)]
spray some polymorphic stack effects on kernel, math, and sequences

14 years agomake tests pass
Joe Groff [Fri, 5 Mar 2010 06:43:01 +0000 (22:43 -0800)]
make tests pass

14 years agoimprove error reporting
Joe Groff [Fri, 5 Mar 2010 05:51:49 +0000 (21:51 -0800)]
improve error reporting

14 years agonested scopes were messing up stack checker state
Joe Groff [Fri, 5 Mar 2010 04:15:26 +0000 (20:15 -0800)]
nested scopes were messing up stack checker state

14 years agoinitial implementation of row-polymorphism check
Joe Groff [Fri, 5 Mar 2010 03:30:08 +0000 (19:30 -0800)]
initial implementation of row-polymorphism check

14 years agoGet OpenCL unit tests passing on Win7/NVidia.
Erik Charlebois [Wed, 3 Mar 2010 10:06:58 +0000 (02:06 -0800)]
Get OpenCL unit tests passing on Win7/NVidia.

14 years agoMerge branch 'master' of git://github.com/slavapestov/factor
Erik Charlebois [Wed, 3 Mar 2010 08:04:17 +0000 (00:04 -0800)]
Merge branch 'master' of git://github.com/slavapestov/factor

14 years agoUpdate tags.txt files for Windows DDK
Erik Charlebois [Wed, 3 Mar 2010 08:03:44 +0000 (00:03 -0800)]
Update tags.txt files for Windows DDK

14 years agoInitial checkin of OpenCL bindings
Erik Charlebois [Wed, 3 Mar 2010 08:02:47 +0000 (00:02 -0800)]
Initial checkin of OpenCL bindings

14 years agoMerge branch 'lexer-parsing-word-errors'
Joe Groff [Wed, 3 Mar 2010 04:46:23 +0000 (20:46 -0800)]
Merge branch 'lexer-parsing-word-errors'

14 years agoFUEL syntax updates
Erik Charlebois [Wed, 3 Mar 2010 03:32:07 +0000 (19:32 -0800)]
FUEL syntax updates

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Tue, 2 Mar 2010 23:25:06 +0000 (15:25 -0800)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoneedlessly rice game.input backends further by using set/get-global everywhere
Joe Groff [Tue, 2 Mar 2010 23:24:47 +0000 (15:24 -0800)]
needlessly rice game.input backends further by using set/get-global everywhere

14 years agoFix load error in calendar
Doug Coleman [Tue, 2 Mar 2010 17:38:35 +0000 (11:38 -0600)]
Fix load error in calendar

14 years agoAdd a parsing word to output slots to the stack instead of to an array
Doug Coleman [Tue, 2 Mar 2010 10:51:52 +0000 (04:51 -0600)]
Add a parsing word to output slots to the stack instead of to an array

14 years agoUse TYPED: in a few places in calendar.format to avoid passing durations instead...
Doug Coleman [Tue, 2 Mar 2010 10:31:17 +0000 (04:31 -0600)]
Use TYPED: in a few places in calendar.format to avoid passing durations instead of timestamps

14 years agoRemove year/month/day words because they're dumb and confusing
Doug Coleman [Tue, 2 Mar 2010 10:20:40 +0000 (04:20 -0600)]
Remove year/month/day words because they're dumb and confusing

14 years agogame.input.*: factor out callback implementations to separate words so they optimize
Joe Groff [Tue, 2 Mar 2010 07:29:26 +0000 (23:29 -0800)]
game.input.*: factor out callback implementations to separate words so they optimize

14 years agoRemove the http-data word
Doug Coleman [Tue, 2 Mar 2010 04:31:36 +0000 (22:31 -0600)]
Remove the http-data word

14 years agoyay C89
Joe Groff [Tue, 2 Mar 2010 01:56:17 +0000 (17:56 -0800)]
yay C89

14 years agorecord the C++ compiler version in the VM, and expose it with a vm-compiler word
Joe Groff [Mon, 1 Mar 2010 21:32:07 +0000 (13:32 -0800)]
record the C++ compiler version in the VM, and expose it with a vm-compiler word

14 years agoparse-tokens had two $notes sections. oops!
Joe Groff [Mon, 1 Mar 2010 19:50:16 +0000 (11:50 -0800)]
parse-tokens had two $notes sections. oops!

14 years agolexer, parser: update docs on "parse-tokens" and add docs for "each-token", "map...
Joe Groff [Mon, 1 Mar 2010 19:47:57 +0000 (11:47 -0800)]
lexer, parser: update docs on "parse-tokens" and add docs for "each-token", "map-tokens"

14 years agowindows.directx.d3d9: a method was missing argument names
Joe Groff [Mon, 1 Mar 2010 07:11:43 +0000 (23:11 -0800)]
windows.directx.d3d9: a method was missing argument names

14 years agolexer: add "each-token" and "map-tokens", which are equivalent to "parse-token _...
Joe Groff [Mon, 1 Mar 2010 06:06:47 +0000 (22:06 -0800)]
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

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Mon, 1 Mar 2010 04:25:26 +0000 (20:25 -0800)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoclasses.tuple.parser: throw bad-slot-name immediately when an invalid slot name in...
Joe Groff [Mon, 1 Mar 2010 04:14:16 +0000 (20:14 -0800)]
classes.tuple.parser: throw bad-slot-name immediately when an invalid slot name in a tuple/struct literal is scanned

14 years agowindows.com: update COM-INTERFACE: to parse incrementally
Joe Groff [Mon, 1 Mar 2010 03:30:15 +0000 (19:30 -0800)]
windows.com: update COM-INTERFACE: to parse incrementally

14 years agocut commas off of FUNCTION: parameter names in stack effects again
Joe Groff [Mon, 1 Mar 2010 03:29:53 +0000 (19:29 -0800)]
cut commas off of FUNCTION: parameter names in stack effects again

14 years agoupdate GL-FUNCTION: to use new FUNCTION: factors
Joe Groff [Mon, 1 Mar 2010 00:40:34 +0000 (16:40 -0800)]
update GL-FUNCTION: to use new FUNCTION: factors

14 years agoalien.parser: refactor FUNCTION: parsing to read from the source incrementally. parse...
Joe Groff [Mon, 1 Mar 2010 00:15:58 +0000 (16:15 -0800)]
alien.parser: refactor FUNCTION: parsing to read from the source incrementally. parse errors in FUNCTION: should now correspond to their location within the definition

14 years agocore-foundation.run-loop: clean up and speed up some code to fix starvation issue...
Slava Pestov [Sun, 28 Feb 2010 23:22:18 +0000 (12:22 +1300)]
core-foundation.run-loop: clean up and speed up some code to fix starvation issue exposed by game.loop (reported by Joe Groff)

14 years agolexer, parser: show initial parsing word line as part of lexer-errors
Joe Groff [Sun, 28 Feb 2010 21:01:03 +0000 (13:01 -0800)]
lexer, parser: show initial parsing word line as part of lexer-errors

14 years agowebapps.help: fix typo
Slava Pestov [Sun, 28 Feb 2010 06:44:18 +0000 (19:44 +1300)]
webapps.help: fix typo

14 years agofix docs for csv
Doug Coleman [Sat, 27 Feb 2010 19:04:42 +0000 (13:04 -0600)]
fix docs for csv

14 years agoBeginning of a real fullscreen library
Doug Coleman [Sat, 27 Feb 2010 19:03:28 +0000 (13:03 -0600)]
Beginning of a real fullscreen library

14 years agoadd missing using
Doug Coleman [Sat, 27 Feb 2010 14:25:25 +0000 (08:25 -0600)]
add missing using

14 years agoAdd a slot for worlds to know if they are fullscreened, and another for restoring...
Doug Coleman [Sat, 27 Feb 2010 13:54:54 +0000 (07:54 -0600)]
Add a slot for worlds to know if they are fullscreened, and another for restoring the window position after returning from fullscreen mode

14 years agomore user32 bindings
Doug Coleman [Sat, 27 Feb 2010 13:53:21 +0000 (07:53 -0600)]
more user32 bindings

14 years agoAdd a slots{ word for accessing multiple slots
Doug Coleman [Sat, 27 Feb 2010 11:01:14 +0000 (05:01 -0600)]
Add a slots{ word for accessing multiple slots

14 years agoAdd csv>string and string>csv
Doug Coleman [Fri, 26 Feb 2010 00:30:40 +0000 (18:30 -0600)]
Add csv>string and string>csv

14 years agoDocs for http-data
Doug Coleman [Fri, 26 Feb 2010 00:07:14 +0000 (18:07 -0600)]
Docs for http-data

14 years agoAdd a new word http-data that is just http-get nip
Doug Coleman [Fri, 26 Feb 2010 00:05:10 +0000 (18:05 -0600)]
Add a new word http-data that is just http-get nip

14 years agorename game.input.linux to game.input.x11, make x>hid-bit-order a hook on system
Joe Groff [Sat, 27 Feb 2010 02:30:51 +0000 (18:30 -0800)]
rename game.input.linux to game.input.x11, make x>hid-bit-order a hook on system

14 years agomove XQueryKeymap binding to x11.xlib
Joe Groff [Sat, 27 Feb 2010 02:21:37 +0000 (18:21 -0800)]
move XQueryKeymap binding to x11.xlib

14 years agoco-credit William Schlieper for game.input.linux
Joe Groff [Sat, 27 Feb 2010 02:16:16 +0000 (18:16 -0800)]
co-credit William Schlieper for game.input.linux

14 years agoMerge branch 'master' of git://github.com/william42/factor
Joe Groff [Sat, 27 Feb 2010 02:14:10 +0000 (18:14 -0800)]
Merge branch 'master' of git://github.com/william42/factor

14 years agogrouping: circular-slice shouldn't be a subclass of slice since that thwarts method...
Joe Groff [Fri, 26 Feb 2010 21:20:47 +0000 (13:20 -0800)]
grouping: circular-slice shouldn't be a subclass of slice since that thwarts method inlining

14 years agoMerge branch 'master' of github.com:erikcharlebois/factor
Erik Charlebois [Fri, 26 Feb 2010 02:51:08 +0000 (18:51 -0800)]
Merge branch 'master' of github.com:erikcharlebois/factor

14 years agoMerge branch 'master' of git://github.com/slavapestov/factor
Erik Charlebois [Fri, 26 Feb 2010 02:51:00 +0000 (18:51 -0800)]
Merge branch 'master' of git://github.com/slavapestov/factor

14 years agoFix windows.directx compile errors
Erik Charlebois [Fri, 26 Feb 2010 02:50:05 +0000 (18:50 -0800)]
Fix windows.directx compile errors

14 years agogrouping: add circular clumps (e.g. { 1 2 3 4 } 3 circular-clump => { { 1 2 3 } ...
Joe Groff [Fri, 26 Feb 2010 01:05:03 +0000 (17:05 -0800)]
grouping: add circular clumps (e.g. { 1 2 3 4 } 3 circular-clump => { { 1 2 3 } { 2 3 4 } { 3 4 1 } { 4 1 2 } }

14 years agoAdd perp and angle-between words for vectors. Fix bug in cross product and add unit...
Erik Charlebois [Thu, 25 Feb 2010 16:15:53 +0000 (08:15 -0800)]
Add perp and angle-between words for vectors. Fix bug in cross product and add unit tests.

14 years agowindows.com: typedef interface word to void* immediately so that self-referential...
Joe Groff [Fri, 26 Feb 2010 00:39:30 +0000 (16:39 -0800)]
windows.com: typedef interface word to void* immediately so that self-referential pointers in the interface definition parse properly. fix a bug where pointer return values for interface methods couldn't parse

14 years agodeploy chipmunk lib
Joe Groff [Thu, 25 Feb 2010 23:13:06 +0000 (15:13 -0800)]
deploy chipmunk lib

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Thu, 25 Feb 2010 20:55:40 +0000 (12:55 -0800)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoremove repeated "pad" slots from x11.xlib structs
Joe Groff [Thu, 25 Feb 2010 20:55:31 +0000 (12:55 -0800)]
remove repeated "pad" slots from x11.xlib structs

14 years agoAdd more user32 bindings
Doug Coleman [Thu, 25 Feb 2010 20:36:12 +0000 (14:36 -0600)]
Add more user32 bindings

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Thu, 25 Feb 2010 19:52:42 +0000 (11:52 -0800)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoclasses.struct: raise an error in STRUCT: if there are duplicate slot names
Joe Groff [Thu, 25 Feb 2010 19:52:21 +0000 (11:52 -0800)]
classes.struct: raise an error in STRUCT: if there are duplicate slot names

14 years agoAdd perp and angle-between words for vectors. Fix bug in cross product and add unit...
Erik Charlebois [Thu, 25 Feb 2010 16:15:53 +0000 (08:15 -0800)]
Add perp and angle-between words for vectors. Fix bug in cross product and add unit tests.

14 years agosequences: fix help lint
Slava Pestov [Thu, 25 Feb 2010 11:44:48 +0000 (00:44 +1300)]
sequences: fix help lint

14 years agosyndication: get it working with doublec's wacky atom feed
Slava Pestov [Thu, 25 Feb 2010 08:39:14 +0000 (21:39 +1300)]
syndication: get it working with doublec's wacky atom feed