factor

Commit Graph

Author	SHA1	Message	Date
Doug Coleman	1a7db84ec1	stack-checker: Rename literal -> literal-tuple.	2013-03-23 16:12:03 -07:00
Joe Groff	e761828d47	reuse @ and _ from fry in placeholders for invalid-quotation-input errors rather than making our own redundant placeholder symbols	2010-03-07 20:08:35 -08:00
Joe Groff	ac90071cd7	further improve error message for invalid quotation inputs using a table display with the actual quotation effects determined so far	2010-03-07 18:40:58 -08:00
Joe Groff	f5b0f55ec3	improve error message for invalid quotation inputs by referencing each declared-effect to its other references	2010-03-07 18:27:55 -08:00
Joe Groff	e2ee197e46	tweak declared-effect to wrap the existing known instead of introducing a new value, so we don't confuse the compiler	2010-03-07 18:07:42 -08:00
Joe Groff	42ed9bb11f	add a with-effect-here combinator that determines the effect of a scoped subset of the stack checker	2010-03-07 16:54:25 -08:00
Joe Groff	a5291e4702	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	2010-03-07 11:54:57 -08:00
Slava Pestov	4168ffbcee	New identity-hashcode primitive	2009-11-10 21:18:54 -06:00
Slava Pestov	e0d3878c00	stack-checker: tighten some screws in error reporting	2009-11-09 00:17:24 -06:00
Slava Pestov	6b25e99470	Add summary for heaps more vocabs	2009-02-16 21:05:13 -06:00
Slava Pestov	53758074a2	stack-checker: do constant folding for curry and compose with constant inputs at compile time. Allows macros to expand in more cases, fixing the fry caveat found by Doug	2009-02-06 10:21:55 -06:00
Slava Pestov	5bae69426d	Stack checker cleanup and optimization - stack-checker.state vocabulary split up into stack-checker.{state,values,recursive-state} - code that modifies and searches recursive state factored out into stack-checker.recursive-state - recursive state is now a set of three binary hash trees instead of an alist, and no longer contains unnecessary data - binary hash trees are in stack-checker.recursive-state.tree: unbalanced, persistent - ~8 second speedup on bootstrap, ~20 second speedup in "peg.javascript" require	2008-11-13 00:07:45 -06:00

12 Commits (2c67a5cd78e5dcffd7146e6fd0eb95f810a497e1)