[racket-dev] [racket-bug] all/13315: TR error messages from "raco setup" unhelpful

On 2012-11-29 10:06:49 +0100, Michael Sperber wrote:
> Sam also asked about the REPL output:
> 
> > (queue 1 2 3)
> - : (Queue Any)
> #<Queue>
> 
> I gather that in earlier versions of Racket, I'd get (Queue
> Positive-Byte) or something similar.  Is
> 
> (ann (queue 1 2 3) (Queue Integer))
> 
> the right fix for this?  It seems awfully awkward.

This should be fixed in the pre-release version of Racket. There was a
regression where type information wasn't communicated properly across
modules.

Cheers,
Asumu