[racket] Puzzled about type inference

I think I see what's wrong. I've pushed a fix. It involved a change to
the property values, so I pushed a change to TR too.

Robby

On Mon, Oct 6, 2014 at 7:37 PM, Neil Toronto <neil.toronto at gmail.com> wrote:
> It's from the "pict3d" package in my home directory.
>
> Neil ⊥
>
> On 10/06/2014 08:36 PM, Robby Findler wrote:
>>
>> I think I need a little more help with this one. Is that from a file in
>> the repo somewhere?
>>
>> Robby
>>
>> On Monday, October 6, 2014, Neil Toronto <neil.toronto at gmail.com
>> <mailto:neil.toronto at gmail.com>> 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 ⊥
>>
>