Merge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism

Merge branch 'master' into row-polymorphism

fix effect of <tuple-boa> primitive

more help-lint

fix up sequences help-lint

update help-lint to complain when $quotation effect doesn't match declared effect on corresponding input parameter of stack effect

update docs for unbalanced-branches-error

compiler.tree.propagation: clean up

Merge branch 'length' of git://github.com/littledan/Factor

non-polymorphic input parameter check was too strict: wouldn't allow ( x -- ) for ( x x -- x ), for example

effects: docs for <effect>, <terminated-effect>, <variable-effect>

Propagation tracks length just like any other read-only slot

mop up errors from test-all

mop up compiler errors from macosx load-all

fix stack effects in compiler tests

generalize stack effects so we can bootstrap with the stricter stack effect checking

stack-checker.row-polymorphism: modify check-variables to enforce non-polymorphic stack effects

refactor stack-checker.row-polymorphism a little

add polymorphic effects for lexer:each-token, map-tokens

add polymorphic stack effects to continuations:recover, attempt-all

Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism

add documentation about stack effect variable syntax and the effect on the stack checker

Use a subclassed tuple with methods instead of quotations

Project Euler : problem 265

Fix typedef typo in opencl

combine unbalanced-branches-error and invalid-quotation-input into one error

sequences: effects of push-if and push-either were too strict

declare effect on inputs to infer-if in non-literal case, so we get a better error than "unbalanced drop call/nip call"

unify inner-d-index when unifying branches; close a few other leaks where meta-d could have been popped without updating inner-d-index

reuse @ and _ from fry in placeholders for invalid-quotation-input errors rather than making our own redundant placeholder symbols

add unit test from quotation that fails to infer during bootstrap.compiler

add tests from old row-polymorphism implementation to stack-checker unit tests

further improve error message for invalid quotation inputs using a table display with the actual quotation effects determined so far

improve error message for invalid quotation inputs by referencing each declared-effect to its other references

clear away some rebar

polymorphize splitting private combinators

tweak declared-effect to wrap the existing known instead of introducing a new value, so we don't confuse the compiler

add stack variable unification to M\ declared-effect infer-call*

add a with-effect-here combinator that determines the effect of a scoped subset of the stack checker

tweak recursive call site checking to consider declared-effects equivalent to their wrapped values

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

Merge branch 'master' of git://factorcode.org/git/factor

tag opencl.* untested

add unit test to show that polymorphic check breaks inference of inline recursive words

Use a better heuristic

Remove useless USING:

Use distance from math.vectors

A* algorithm implementation

generalize stack effect of while, until, and produce

Get the OpenCL driver name right on Linux, confirm test passes

give terminating stack effects a pass in the polymorphic checker

clean up polymorphic stack effects in fuel

move error summaries for effect parsing errors to debugger vocab

Merge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism

reuse infer-call* for polymorphic inference, which handles curried quotations. tests can pass with real "each" etc. now

fix stack error in stack-checker.row-polymorphism

fix ... in compiler.cfg.linearization

refactor stack-checker slightly to fix circular dependency

clean up now-inappropriate uses of "..." in generalizations stack effects

make effect variables part of effect syntax, stored out of band in effect tuple

spray some polymorphic stack effects on kernel, math, and sequences

make tests pass

improve error reporting

nested scopes were messing up stack checker state

initial implementation of row-polymorphism check

Get OpenCL unit tests passing on Win7/NVidia.

Merge branch 'master' of git://github.com/slavapestov/factor

Update tags.txt files for Windows DDK

Initial checkin of OpenCL bindings

Merge branch 'lexer-parsing-word-errors'

Merge branch 'lexer-parsing-word-errors' of git://factorcode.org/git/factor into lexer-parsing-word-errors

FUEL syntax updates

Merge branch 'master' of git://factorcode.org/git/factor

needlessly rice game.input backends further by using set/get-global everywhere

Fix load error in calendar

Add a parsing word to output slots to the stack instead of to an array

Use TYPED: in a few places in calendar.format to avoid passing durations instead of timestamps

Remove year/month/day words because they're dumb and confusing

game.input.*: factor out callback implementations to separate words so they optimize

Remove the http-data word

yay C89

record the C++ compiler version in the VM, and expose it with a vm-compiler word

parse-tokens had two $notes sections. oops!

lexer, parser: update docs on "parse-tokens" and add docs for "each-token", "map-tokens"

windows.directx.d3d9: a method was missing argument names

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

Merge branch 'master' of git://factorcode.org/git/factor

classes.tuple.parser: throw bad-slot-name immediately when an invalid slot name in a tuple/struct literal is scanned

windows.com: update COM-INTERFACE: to parse incrementally

cut commas off of FUNCTION: parameter names in stack effects again

update GL-FUNCTION: to use new FUNCTION: factors

alien.parser: refactor FUNCTION: parsing to read from the source incrementally. parse errors in FUNCTION: should now correspond to their location within the definition

core-foundation.run-loop: clean up and speed up some code to fix starvation issue exposed by game.loop (reported by Joe Groff)

lexer, parser: show initial parsing word line as part of lexer-errors

webapps.help: fix typo

fix docs for csv

Beginning of a real fullscreen library

add missing using

Add a slot for worlds to know if they are fullscreened, and another for restoring the window position after returning from fullscreen mode

more user32 bindings