[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 ⊥