[racket] typed racket error message suggestion

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Nov 24 10:36:11 EST 2011

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>


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

Posted on the users mailing list.