[racket] typed racket error message suggestion

FWIW, this is what happens at runtime:

> ((let () (struct s (x)) s-x) (let () (struct s (x)) (s 1)))
s-x: expects args of type <struct:s>; given instance of a different <struct:s>

Robby

On Thu, Nov 24, 2011 at 8:39 AM, Ismael Figueroa Palet
<ifigueroap at gmail.com> wrote:
> 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
> message:
>
> "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"
>
>
> Cheers
> --
> Ismael
>
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users
>