gitweb.factorcode.org Git - factor.git/history - basis/stack-checker/row-polymorphism/row-polymorphism.factor

]> gitweb.factorcode.org Git - factor.git/history - basis/stack-checker/row-polymorphism/row-polymorphism.factor

[factor.git] / basis / stack-checker / row-polymorphism / row-polymorphism.factor

2010-03-18	Slava Pestov	Add context-specific special object table, generalizing...	blob \| commitdiff \| raw
2010-03-16	Daniel Ehrenberg	Merge branch 'bags' of git://github.com/littledan/Factor	blob \| commitdiff \| raw \| diff to current
2010-03-12	Joe Groff	Merge branch 'master' of git://factorcode.org/git/facto...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Joe Groff	pre-chew the bite-sized morsels of stack-checker.row...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Slava Pestov	Merge branch 'row-polymorphism' of git://factorcode...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Slava Pestov	Merge branch 'master' of git://factorcode.org/git/facto...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Joe Groff	Merge branch 'row-polymorphism' of factorcode.org:...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Joe Groff	carve the tough, gamey steak of stack-checker.polymorph...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Slava Pestov	Merge branch 'row-polymorphism' of git://factorcode...	blob \| commitdiff \| raw \| diff to current
2010-03-10	Joe Groff	Merge branch 'master' into row-polymorphism	blob \| commitdiff \| raw \| diff to current
2010-03-09	Joe Groff	non-polymorphic input parameter check was too strict...	blob \| commitdiff \| raw \| diff to current
2010-03-09	Joe Groff	stack-checker.row-polymorphism: modify check-variables...	blob \| commitdiff \| raw \| diff to current
2010-03-09	Joe Groff	refactor stack-checker.row-polymorphism a little	blob \| commitdiff \| raw \| diff to current
2010-03-09	Joe Groff	Merge branch 'master' of git://factorcode.org/git/facto...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Joe Groff	combine unbalanced-branches-error and invalid-quotation...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Joe Groff	declare effect on inputs to infer-if in non-literal...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Joe Groff	further improve error message for invalid quotation...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Joe Groff	improve error message for invalid quotation inputs...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Joe Groff	tweak declared-effect to wrap the existing known instea...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Joe Groff	add stack variable unification to M\ declared-effect...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Joe Groff	add a with-effect-here combinator that determines the...	blob \| commitdiff \| raw \| diff to current
2010-03-07	Joe Groff	row polymorphism new approach: wrap polymorphic quotati...	blob \| commitdiff \| raw \| diff to current
2010-03-06	Joe Groff	give terminating stack effects a pass in the polymorphi...	blob \| commitdiff \| raw \| diff to current
2010-03-06	Slava Pestov	Merge branch 'row-polymorphism' of git://factorcode...	blob \| commitdiff \| raw \| diff to current
2010-03-05	Joe Groff	reuse infer-call* for polymorphic inference, which...	blob \| commitdiff \| raw \| diff to current
2010-03-05	Joe Groff	fix stack error in stack-checker.row-polymorphism	blob \| commitdiff \| raw \| diff to current
2010-03-05	Joe Groff	refactor stack-checker slightly to fix circular dependency	blob \| commitdiff \| raw \| diff to current
2010-03-05	Joe Groff	make effect variables part of effect syntax, stored...	blob \| commitdiff \| raw \| diff to current
2010-03-05	Joe Groff	make tests pass	blob \| commitdiff \| raw \| diff to current
2010-03-05	Joe Groff	improve error reporting	blob \| commitdiff \| raw \| diff to current
2010-03-05	Joe Groff	nested scopes were messing up stack checker state	blob \| commitdiff \| raw \| diff to current
2010-03-05	Joe Groff	initial implementation of row-polymorphism check	blob \| commitdiff \| raw \| diff to current

Factor programming language

RSS Atom