On 08/14/14 15:36, Richard Sandiford wrote:

Right.  I think they're held up on patch 40 (ironically the one that
conflicts with yours).
I think we could declare side effects in notes as invalid and add some ENABLE_CHECKING bits to enforce that. With those in place, my concerns around #40 from your series would be eliminated.

Jeff

Reply via email to