[racket] wrapped TR functions given new name?

PLAI used to do the same but I was able to avoid it, so Sam should be able to too

Sent from my iPhone

On 2011/09/29, at 19:20, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:

> I have two different files that provide a function called "isort".
> One comes from untyped Racket and the other from typed/racket.  I am
> importing them thus:
> 
> (require [rename-in "untyped-sort-server.rkt"
>                    (isort u:isort)])
> 
> (require [rename-in "typed-sort-server.rkt"
>                    (isort t:isort)])
> 
> when I invoke t:isort on a badly typed argument, the error shows as
> 
>> (t:isort "xyz")
> . . isort2: contract violation, expected <list>, given: "xyz" ...
> 
> There is no function called "isort2" in any of the source files that
> I've written.  Is it known that Typed Racket does this kind of
> artificial renaming, or do I have to work harder to track down why
> this might be happening?  (And if this is known, why does it do this?)
> 
> Thanks,
> Shriram
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users