You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Perhaps there is some reason why this optimization is not sound in the general case, but at least here, when call/cc is invoked but the captured continuation is provably never invoked, the call/cc can be killed. That example should optimize to:
(lambda () 'foo)
(Alternatively, maybe this optimization happens later on. That would be useful to know, too.)
The text was updated successfully, but these errors were encountered:
Chez 10.0.0:
Perhaps there is some reason why this optimization is not sound in the general case, but at least here, when
call/cc
is invoked but the captured continuation is provably never invoked, thecall/cc
can be killed. That example should optimize to:(lambda () 'foo)
(Alternatively, maybe this optimization happens later on. That would be useful to know, too.)
The text was updated successfully, but these errors were encountered: