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

Conflicts:

basis/compiler/cfg/ssa/construction/tdmsc/tdmsc.factor
basis/furnace/auth/auth.factor
basis/stack-checker/backend/backend.factor

Also test the derivation variant of astar

tools.memory: fix unit test

tools.time: fix load error in docs

tools.memory, tools.dispatch: change collect-gc-events and collect-dispatch-stats combinators to output values instead of setting variables

debugger: give a descriptive error for *-in-c-type-name

ui.backend.cocoa.views: change drawRect: method so it does "draw-world" directly instead of relayout-1 yield

core-foundation.run-loop: remove unnecessary yields. This fixes a thread starvation issue with game.input

http: update docs

io.servers.connection: fix bogus logging

http: clean up and fix some content encoding logic

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

furnace.syndication: fix load error

add descriptive summary for no-c-type error

http.server: decouple charset header from encoding used to send the data, and serve text files as UTF-8 by default

prettyprint.config: short. should not print structs as pointers

windows.offscreen: generalize the declared effect of with-memory-dc

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

Add ARTICLE: and ABOUT: sections to astar docs

project-euler.206: reduce memory usage

sequences.cords: remove blank lines

pre-chew the bite-sized morsels of stack-checker.row-polymorphism so they're easy for old people to digest

mason.test: forget test definitions to free up code heap space and hopefully get builds to complete on PowerPC

typed: forgetting a final class would throw an error while recompiling typed words depending on it

fill out row variables docs

another typo in effects syntax

update effect syntax error names in debugger

typo in <effect> docs

furnace.recaptcha: fix load error

make effect<= work with univariable stack effects, deny all bivariable stack effects

effect-variable -> row-variable

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

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

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

carve up effects.parser too

carve the tough, gamey steak of stack-checker.polymorphism into chewable morsels

furnace.recaptcha: remove unused variable

furnace.recaptcha: make it easier to use

websites.concatenative: add a recaptcha to the pastebin

furnace.recaptcha: cleanups

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