Unfortunately, the problem isn't just macros -- the underlying functions that actually implement RackUnit would have to be copied into Typed Racket. I don't know a way to make `check-eq?` work that doesn't require duplicating code. :(
Sam On Thu, Sep 17, 2015 at 4:34 PM Lehi Toskin <lehi.tos...@gmail.com> wrote: > On Tuesday, September 15, 2015 at 7:06:40 PM UTC-7, Anthony Carrico wrote: > > Unfortunately, rackunit doesn't mix that well with typed/racket (see > > problem reports 15153, 15143). I guess this is because of the > > typed/untyped boundary. > > > > The good news is that it is fairly easy to work around the issues, for > > example, you can do a check in the argument to check-true or check-false > > so the computation stays in typed/racket. > > > > I don't think I have an actual question for the list. I'm just > > mentioning it here because I don't remember reading anywhere that > > testing can be an issue in typed/racket. Discuss? > > > > -- > > Anthony Carrico > > I've come across this before and I have mentioned this topic in IRC if not > this list. There are a few macros in the rackunit that cannot and do not > work well with typed/racket. The macros would have to be rewritten before > they could play nice and as far as I know those aren't a priority. > > -- > 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. > -- 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.
