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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
