]> gitweb.factorcode.org Git - factor.git/log
factor.git
14 years agowindows.offscreen: generalize the declared effect of with-memory-dc
Joe Groff [Sat, 13 Mar 2010 03:59:21 +0000 (19:59 -0800)]
windows.offscreen: generalize the declared effect of with-memory-dc

14 years agoMerge branch 'master' of git://factorcode.org/git/factor into row-polymorphism
Joe Groff [Fri, 12 Mar 2010 22:36:13 +0000 (14:36 -0800)]
Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism

14 years agoAdd ARTICLE: and ABOUT: sections to astar docs
Doug Coleman [Fri, 12 Mar 2010 10:36:43 +0000 (04:36 -0600)]
Add ARTICLE: and ABOUT: sections to astar docs

14 years agoproject-euler.206: reduce memory usage
Slava Pestov [Fri, 12 Mar 2010 03:45:31 +0000 (16:45 +1300)]
project-euler.206: reduce memory usage

14 years agosequences.cords: remove blank lines
Slava Pestov [Fri, 12 Mar 2010 03:45:09 +0000 (16:45 +1300)]
sequences.cords: remove blank lines

14 years agopre-chew the bite-sized morsels of stack-checker.row-polymorphism so they're easy...
Joe Groff [Thu, 11 Mar 2010 22:09:18 +0000 (14:09 -0800)]
pre-chew the bite-sized morsels of stack-checker.row-polymorphism so they're easy for old people to digest

14 years agomason.test: forget test definitions to free up code heap space and hopefully get...
Slava Pestov [Thu, 11 Mar 2010 22:05:09 +0000 (11:05 +1300)]
mason.test: forget test definitions to free up code heap space and hopefully get builds to complete on PowerPC

14 years agotyped: forgetting a final class would throw an error while recompiling typed words...
Slava Pestov [Thu, 11 Mar 2010 21:22:35 +0000 (10:22 +1300)]
typed: forgetting a final class would throw an error while recompiling typed words depending on it

14 years agofill out row variables docs
Joe Groff [Thu, 11 Mar 2010 19:57:12 +0000 (11:57 -0800)]
fill out row variables docs

14 years agoanother typo in effects syntax
Joe Groff [Thu, 11 Mar 2010 19:23:48 +0000 (11:23 -0800)]
another typo in effects syntax

14 years agoupdate effect syntax error names in debugger
Joe Groff [Thu, 11 Mar 2010 19:22:43 +0000 (11:22 -0800)]
update effect syntax error names in debugger

14 years agotypo in <effect> docs
Joe Groff [Thu, 11 Mar 2010 19:22:28 +0000 (11:22 -0800)]
typo in <effect> docs

14 years agofurnace.recaptcha: fix load error
Slava Pestov [Thu, 11 Mar 2010 12:23:28 +0000 (01:23 +1300)]
furnace.recaptcha: fix load error

14 years agomake effect<= work with univariable stack effects, deny all bivariable stack effects
Joe Groff [Thu, 11 Mar 2010 09:37:33 +0000 (01:37 -0800)]
make effect<= work with univariable stack effects, deny all bivariable stack effects

14 years agoeffect-variable -> row-variable
Joe Groff [Thu, 11 Mar 2010 09:25:13 +0000 (01:25 -0800)]
effect-variable -> row-variable

14 years agoMerge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism
Slava Pestov [Thu, 11 Mar 2010 09:10:49 +0000 (22:10 +1300)]
Merge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism

14 years agoMerge branch 'master' of git://factorcode.org/git/factor into row-polymorphism
Slava Pestov [Thu, 11 Mar 2010 09:10:24 +0000 (22:10 +1300)]
Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism

14 years agoMerge branch 'row-polymorphism' of factorcode.org:/git/factor into row-polymorphism
Joe Groff [Thu, 11 Mar 2010 09:04:19 +0000 (01:04 -0800)]
Merge branch 'row-polymorphism' of factorcode.org:/git/factor into row-polymorphism

14 years agocarve up effects.parser too
Joe Groff [Thu, 11 Mar 2010 09:03:40 +0000 (01:03 -0800)]
carve up effects.parser too

14 years agocarve the tough, gamey steak of stack-checker.polymorphism into chewable morsels
Joe Groff [Thu, 11 Mar 2010 08:53:40 +0000 (00:53 -0800)]
carve the tough, gamey steak of stack-checker.polymorphism into chewable morsels

14 years agofurnace.recaptcha: remove unused variable
Slava Pestov [Thu, 11 Mar 2010 08:13:22 +0000 (21:13 +1300)]
furnace.recaptcha: remove unused variable

14 years agofurnace.recaptcha: make it easier to use
Slava Pestov [Thu, 11 Mar 2010 08:02:39 +0000 (21:02 +1300)]
furnace.recaptcha: make it easier to use

14 years agowebsites.concatenative: add a recaptcha to the pastebin
Slava Pestov [Thu, 11 Mar 2010 06:14:16 +0000 (19:14 +1300)]
websites.concatenative: add a recaptcha to the pastebin

14 years agofurnace.recaptcha: cleanups
Slava Pestov [Thu, 11 Mar 2010 06:13:57 +0000 (19:13 +1300)]
furnace.recaptcha: cleanups

14 years agoMerge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism
Slava Pestov [Thu, 11 Mar 2010 04:23:18 +0000 (17:23 +1300)]
Merge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism

14 years agoMerge branch 'master' into row-polymorphism
Joe Groff [Wed, 10 Mar 2010 19:48:41 +0000 (11:48 -0800)]
Merge branch 'master' into row-polymorphism

14 years agofix effect of <tuple-boa> primitive
Joe Groff [Wed, 10 Mar 2010 06:38:41 +0000 (22:38 -0800)]
fix effect of <tuple-boa> primitive

14 years agomore help-lint
Joe Groff [Wed, 10 Mar 2010 05:02:43 +0000 (21:02 -0800)]
more help-lint

14 years agofix up sequences help-lint
Joe Groff [Wed, 10 Mar 2010 04:29:44 +0000 (20:29 -0800)]
fix up sequences help-lint

14 years agoupdate help-lint to complain when $quotation effect doesn't match declared effect...
Joe Groff [Wed, 10 Mar 2010 03:51:04 +0000 (19:51 -0800)]
update help-lint to complain when $quotation effect doesn't match declared effect on corresponding input parameter of stack effect

14 years agoupdate docs for unbalanced-branches-error
Joe Groff [Wed, 10 Mar 2010 02:42:10 +0000 (18:42 -0800)]
update docs for unbalanced-branches-error

14 years agocompiler.tree.propagation: clean up
Slava Pestov [Wed, 10 Mar 2010 02:15:49 +0000 (15:15 +1300)]
compiler.tree.propagation: clean up

14 years agoMerge branch 'length' of git://github.com/littledan/Factor
Slava Pestov [Wed, 10 Mar 2010 01:30:23 +0000 (14:30 +1300)]
Merge branch 'length' of git://github.com/littledan/Factor

14 years agonon-polymorphic input parameter check was too strict: wouldn't allow ( x -- ) for...
Joe Groff [Tue, 9 Mar 2010 23:57:00 +0000 (15:57 -0800)]
non-polymorphic input parameter check was too strict: wouldn't allow ( x -- ) for ( x x -- x ), for example

14 years agoeffects: docs for <effect>, <terminated-effect>, <variable-effect>
Joe Groff [Tue, 9 Mar 2010 21:50:58 +0000 (13:50 -0800)]
effects: docs for <effect>, <terminated-effect>, <variable-effect>

14 years agoPropagation tracks length just like any other read-only slot
Daniel Ehrenberg [Tue, 9 Mar 2010 20:58:44 +0000 (15:58 -0500)]
Propagation tracks length just like any other read-only slot

14 years agomop up errors from test-all
Joe Groff [Tue, 9 Mar 2010 18:22:14 +0000 (10:22 -0800)]
mop up errors from test-all

14 years agomop up compiler errors from macosx load-all
Joe Groff [Tue, 9 Mar 2010 08:56:07 +0000 (00:56 -0800)]
mop up compiler errors from macosx load-all

14 years agofix stack effects in compiler tests
Joe Groff [Tue, 9 Mar 2010 07:46:20 +0000 (23:46 -0800)]
fix stack effects in compiler tests

14 years agogeneralize stack effects so we can bootstrap with the stricter stack effect checking
Joe Groff [Tue, 9 Mar 2010 07:38:10 +0000 (23:38 -0800)]
generalize stack effects so we can bootstrap with the stricter stack effect checking

14 years agostack-checker.row-polymorphism: modify check-variables to enforce non-polymorphic...
Joe Groff [Tue, 9 Mar 2010 03:44:01 +0000 (19:44 -0800)]
stack-checker.row-polymorphism: modify check-variables to enforce non-polymorphic stack effects

14 years agorefactor stack-checker.row-polymorphism a little
Joe Groff [Tue, 9 Mar 2010 03:32:25 +0000 (19:32 -0800)]
refactor stack-checker.row-polymorphism a little

14 years agoadd polymorphic effects for lexer:each-token, map-tokens
Joe Groff [Tue, 9 Mar 2010 02:55:46 +0000 (18:55 -0800)]
add polymorphic effects for lexer:each-token, map-tokens

14 years agoadd polymorphic stack effects to continuations:recover, attempt-all
Joe Groff [Tue, 9 Mar 2010 02:28:19 +0000 (18:28 -0800)]
add polymorphic stack effects to continuations:recover, attempt-all

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 agoUse a subclassed tuple with methods instead of quotations
Samuel Tardieu [Mon, 8 Mar 2010 19:26:36 +0000 (20:26 +0100)]
Use a subclassed tuple with methods instead of quotations

14 years agoProject Euler : problem 265
Samuel Tardieu [Sun, 7 Mar 2010 11:17:31 +0000 (12:17 +0100)]
Project Euler : problem 265

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 agoMerge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism
Slava Pestov [Sat, 6 Mar 2010 05:11:45 +0000 (18:11 +1300)]
Merge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism

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 agoMerge branch 'lexer-parsing-word-errors' of git://factorcode.org/git/factor into...
Slava Pestov [Wed, 3 Mar 2010 04:35:12 +0000 (17:35 +1300)]
Merge branch 'lexer-parsing-word-errors' of git://factorcode.org/git/factor into 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