dea7e0f50d
stack-checker: too tired to figure out which using is required but not used.
2015-07-31 21:57:37 -07:00
31ecc5ef86
stack-checker: using cleanup.
2015-07-31 20:41:46 -07:00
086dffc53a
stack-checker.values: docs and tests
2015-02-05 11:01:05 +00:00
4f91e9efbb
Docs: more docs for stack-checker.* words
2014-06-08 11:48:30 -07:00
669bb0a77e
Docs: stub docs for some compiler-related words
2014-05-10 17:13:48 -07:00
5a1692eead
stack-checker: Rename literal -> literal-tuple.
2013-03-23 16:12:03 -07:00
66687d6b21
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
1512ed12f3
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
ea4545e366
improve error message for invalid quotation inputs by referencing each declared-effect to its other references
2010-03-07 18:27:55 -08:00
6b9a79159d
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
bbbda64ee7
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
339cc8f04e
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
064c00f78d
New identity-hashcode primitive
2009-11-10 21:18:54 -06:00
473cc7db4a
stack-checker: tighten some screws in error reporting
2009-11-09 00:17:24 -06:00
6b25e99470
Add summary for heaps more vocabs
2009-02-16 21:05:13 -06:00
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
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
John Benediktsson
Björn Lindqvist
Doug Coleman
Joe Groff
Slava Pestov