[racket] Puzzled about type inference

It works now, and it is magnificent.

Neil ⊥

On 10/06/2014 10:31 PM, Robby Findler wrote:
> 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 ⊥
>>>
>>