Since test-case is a macro, require/typed won't help, and unfortunately, test-case doesn't work in Racket v6.1.1 (or earlier). It will be fixed in the upcoming release, or you can download a snapshot build from here: http://www.cs.utah.edu/plt/snapshots/
Otherwise, I don't think there's much you can do besides avoid test-case in earlier Racket versions. > On May 24, 2015, at 22:59, Lehi Toskin <lehi.tos...@gmail.com> wrote: > > When using typed/rackunit, I find that using test-case doesn't seem to want > to work properly. The code > > (test-case "foo" (check-true (string=? "foo" "foo"))) > > gives me several Type Checker errors that give me information I don't know > what to do with. > > Is this something I need to require/typed for? -- 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.
