[racket] typed racket error message suggestion

From: Ismael Figueroa Palet (ifigueroap at gmail.com)
Date: Thu Nov 24 09:39:18 EST 2011

I'm using require/typed for a struct P in two different files, but with
exactly the same imports.
When, in a third file I get a mismatch because the P are different I got a

"Type Checker: Expected P, but got P"

At first I didn't understand the error, maybe you could put something like:

"Type Checker: Expected P, but got P. Check if P is defined in more than
one module"

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20111124/9caf017c/attachment.html>

Posted on the users mailing list.