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
63ad397cc1
tweak recursive call site checking to consider declared-effects equivalent to their wrapped values
2010-03-07 11:55:47 -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
23de281186
initial implementation of row-polymorphism check
2010-03-04 19:30:08 -08:00
c058343167
Add some utility words to stack-checker.dependencies in preparation for a refactoring
2010-01-30 09:28:59 +13:00
df4fb4a3ee
Removing integers-as-sequences
2010-01-15 07:15:33 +13: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
cd2e226afa
stack-checker: split off stack-checker.dependencies from stack-checker.state
2009-11-08 20:34:46 -06:00
fb6df472a2
Cleaning up USING: lists for new strict semantics
2009-05-14 16:54:16 -05:00
6b25e99470
Add summary for heaps more vocabs
2009-02-16 21:05:13 -06:00
e304d3c9f8
Local DCE
2008-12-04 06:02:49 -06:00
b80e82b170
Use specializer hints when inlining words
2008-11-29 12:05:27 -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
4a1bcacfd4
Refactoring recursive-state alist; now its a mapping from words to local state triples, reduces searching by a bit
2008-11-12 19:08:40 -06:00
cf80dd122a
Updating code for make and fry changes
2008-09-10 22:11:40 -05:00
3cef7c9992
Smarter usage tracking system
2008-08-30 02:31:27 -05:00
74dccc7fbf
Debugging compiler
2008-08-28 22:28:34 -05:00
2fa08c75b9
Fix bug, better tests
2008-08-15 21:45:05 -05:00
32b762f5ec
Fixing soundness issues with recursive combinators
2008-08-15 04:09:23 -05:00
e1987d4af9
Debugging new optimizer
2008-08-14 23:35:19 -05:00
56d272df9e
Merge branch 'master' into new_optimizer
2008-08-12 03:36:44 -05:00
f2a5a30c6f
New front-end and high-level optimizer lands
2008-08-12 03:22:45 -05:00
Joe Groff
Slava Pestov