[racket] Meaning of "@" notation in TR

To elaborate on Ian's answer, TR can't use 'x' from the function formals because x isn't in scope. So it has to use some other way of saying '0th' argument, '1st' '2nd' etc. 


On Oct 18, 2012, at 6:50 PM, Jordan Johnson wrote:

> Hi all,
> 
> I'm puzzled by this cryptic notation in Typed Racket (copied from the docs):
> 
> (λ: ([x : Number]) x)
> - : (Number -> Number : ((! False @ 0) | (False @ 0)) (0))
> 
> 
> What does the "@ 0" mean?  I have searched all of the TR doc pages, but I see no explanation.
> 
> Thanks,
> jmj
> 
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20121018/b274d72c/attachment-0001.p7s>