Cool, we can pick the best version :-))
> On Jul 13, 2016, at 7:27 AM, Jack Firth <jackhfi...@gmail.com> wrote: > > On Tuesday, July 12, 2016 at 2:36:24 PM UTC-7, Sam Tobin-Hochstadt wrote: >> Could this be an API like the one for tooltips? IOW, some sort of general >> warning with a message and a syntax location? > > I'd just like to interject quickly and say that's what I'm working on for > RacketCon :) -- 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.
