On Wed, Sep 22, 2010 at 8:25 AM, Shriram Krishnamurthi <[email protected]> wrote: > That is, the others are surely subsumed by some more > general type, and the error message can merely print the "least > subsumed" type(s) relative to the arguments.
Yes, definitely. That's what I meant by: > Of course, in this case the last case subsumes all of the > others for the purposes of this particular error, so it should be the > only one displayed. For the case of `<', it's easy to see what we should do. For the case of `+', it's more problematic, since the result type is different in almost every case, but there are still way too many cases to show the user. I'm still unsure what the right solution is in general. -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
