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 <ifiguer...@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 > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users