[racket] TR error message

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Sep 23 13:32:42 EDT 2010

You do want to see more than the general 
case when you are trying to eliminate 
casts from your numeric programs. I am 
not sure showing just the general case 
suffices. 

-- Matthias



On Sep 23, 2010, at 1:25 PM, Vincent St-Amour wrote:

> At Wed, 22 Sep 2010 08:28:48 -0400,
> Matthias Felleisen wrote:
>> Yes. This is an HLI problem that we wish to tackle at some 
>> point.  We have discussed it more than once.  Ideas and 
>> implementation contributions welcome. -- Matthias
> 
> I just pushed a first step towards a solution. Now, only the most
> general cases (ignoring filters) are shown. In the case of <, that
> means that the only domain shown is: Real Real *
> 
> I also started fixing the errors caused by a misuse of + and other
> arithmetic operators, by showing only the domains that are consistent
> with the expected types. These messages are still not quite
> satisfying, but we have a couple ideas to improve them.
> 
> Vincent



Posted on the users mailing list.