[racket] Puzzled about type inference

From: Neil Toronto (neil.toronto at gmail.com)
Date: Mon Oct 6 20:37:41 EDT 2014

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


Posted on the users mailing list.