Possibility to set sugar tracking on/off
Submitted by Maartje on 6 October 2011 at 10:41
On the moment sugar is tracked for the analysis strategy.
It must be possible to apply a strategy in “sugar-tracking” modes (or put it off).
something like <no-sugar-tracking(desugar-lambda-rule)> or <sugar-tracking(xxx)>.
Issue Log
On 6 October 2011 at 10:42 Maartje tagged refactoring
On 6 October 2011 at 14:28 Lennart Kats commented:
There’s already a primitive to enable origin tracking:
SSL_EXT_enable_origins
. You could do something similar to disable it.
On 10 October 2011 at 12:22 Lennart Kats tagged stratego
Log in to post comments