Re: [racket-users] typed/rackunit and test-case

2015-05-25 Thread Lehi Toskin
That's unfortunate. I'll wait until the next release and then try out test-case co. On Sunday, May 24, 2015 at 11:03:45 PM UTC-7, Alexis King wrote: 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

Re: [racket-users] typed/rackunit and test-case

2015-05-25 Thread Alexis King
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

Re: [racket-users] typed/rackunit and test-case

2015-05-25 Thread Matthias Felleisen
The next release is in preparation. It should be out soon -- Matthias On May 25, 2015, at 2:11 AM, Lehi Toskin wrote: That's unfortunate. I'll wait until the next release and then try out test-case co. On Sunday, May 24, 2015 at 11:03:45 PM UTC-7, Alexis King wrote: Since test-case

[racket-users] typed/rackunit and test-case

2015-05-24 Thread Lehi Toskin
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? --