Commit 8c23f6d5 by POTTIER Francois

TODO.

parent bfb52b91
......@@ -77,7 +77,8 @@ Re-introduce hoisting of closure allocations of the form [self#visit_foo]?
If so, share them when they have several occurrences.
Think about generating analyze_ methods
which perform a bottom-up computation (at most once; memoized)
which perform a fixed point computation (use Fix)
based only on the type structure
so as to allow a static analysis of the type structure,
which could be exploited to optimize runtime traversals.
One would have to lose precision at parameterized types, or expand them away.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment