Re: [racket] typed racket error message suggestion

2011-11-24 Thread Robby Findler
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 ; given instance of a different Robby On Thu, Nov 24, 2011 at 8:39 AM, Ismael Figueroa Palet wrote: > I'm using require/typed for a struct P in two different files, bu

[racket] typed racket error message suggestion

2011-11-24 Thread Ismael Figueroa Palet
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: