[racket] Puzzled about type inference

On 10/06/2014 06:58 PM, Asumu Takikawa wrote:
> On 2014-10-02 18:48:32 -0500, Robby Findler wrote:
>> I've just pushed a change to check syntax that picks up tooltip syntax
>> properties in syntax objects that it sees. See the docs for
>> mouse-over-tooltips.
>
> Thanks to Robby's very nice addition, I've made TR log type and type
> error tooltips for DrRacket.
>
> Since I took some screenshots for #racket, might as well share them:
>    http://i.imgur.com/o4Qyqrw.png
>    http://i.imgur.com/tZc3Wbe.png
>
> Anyhow, this is pushed to git now so let me know if you find bugs.

I... I think I love you. And Robby. Oh, I can't decide!

Also, I got this:

get-arrow-record: expected a text as the second argument, got 
#<path:/home/neil/pict3d/pict3d/tests/spaceship.rkt>
   context...:
 
/home/neil/plt-fresh/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt:382:12: 
get-arrow-record method in ...ate/syncheck/gui.rkt:363:10
 
/home/neil/plt-fresh/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt:882:12: 
add-to-range/key method in ...ate/syncheck/gui.rkt:363:10
 
/home/neil/plt-fresh/pkgs/drracket-pkgs/drracket-tool-lib/drracket/private/syncheck/traversals.rkt:550:2: 
loop
 
/home/neil/plt-fresh/pkgs/drracket-pkgs/drracket-tool-lib/drracket/private/syncheck/traversals.rkt:252:18: 
collect-general-info
 
/home/neil/plt-fresh/pkgs/drracket-pkgs/drracket-tool-lib/drracket/private/syncheck/traversals.rkt:201:6: 
level+tail+mod-loop
 
/home/neil/plt-fresh/pkgs/drracket-pkgs/drracket-tool-lib/drracket/private/syncheck/traversals.rkt:418:17: 
for-loop
 
/home/neil/plt-fresh/pkgs/drracket-pkgs/drracket-tool-lib/drracket/private/syncheck/traversals.rkt:47:14: 
core35
 
/home/neil/plt-fresh/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt:2231:27
 
/home/neil/plt-fresh/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt:2253:8: 
with-lock/edit-sequence method in ...ate/syncheck/gui.rkt:1808:6
 
/home/neil/plt-fresh/pkgs/gui-pkgs/gui-lib/mred/private/wx/common/queue.rkt:451:6
 
/home/neil/plt-fresh/pkgs/gui-pkgs/gui-lib/mred/private/wx/common/queue.rkt:502:32
 
/home/neil/plt-fresh/pkgs/gui-pkgs/gui-lib/mred/private/wx/common/queue.rkt:650:3

Neil ⊥