On Thursday, January 28, 2016 at 4:51:54 PM UTC+1, Paolo Giarrusso wrote: > My supervisor (Prof. Klaus Ostermann) noticed an issue with DrRacket's > stepper in ISL+ (with Racket 6.2.1) and name capture.
Update: My supervisor also filed a ticket on this: http://bugs.racket-lang.org/query/?cmd=view&pr=15231 Cheers, Paolo -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
