[racket] Puzzled about type inference

+ω




On Oct 6, 2014, at 8:21 PM, Neil Toronto wrote:

> 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 ⊥
> 
> ____________________
> Racket Users list:
> http://lists.racket-lang.org/users