[racket] Puzzled about type inference

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Oct 6 20:36:40 EDT 2014

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> 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 ⊥
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20141006/e4c57474/attachment.html>

Posted on the users mailing list.