[Ur] Let inlining interfering with staging
Edward Z. Yang
ezyang at MIT.EDU
Wed Sep 19 18:52:54 EDT 2012
Excerpts from Adam Chlipala's message of Wed Sep 19 15:05:13 -0700 2012:
> I've added an embarrassing "fix" for this problem: a certain inlining
> optimization skips firing if the type of the variable indicates it could
> have been returned by an FFI function. :D
Tests good!
> Clearly the next redesign of Ur/Web should have a more principled,
> type-based approach to controlling where different categories of effects
> are legal.
Hear hear.
More information about the Ur
mailing list