[racket] property pict-convertible in typed racket

Currently we do not have a safe way of checking #:property options in
TR, so writing the struct in R and requiring it is the only solution
right now.

On Fri, Sep 13, 2013 at 12:42 AM, Daniele Capo <capo.daniele at gmail.com> wrote:
> Hello,
>
> in a personal project I'm working on I've some structure that has to be
> printed 'graphically'.
> I've used prop:pict-convertible to do this, now I'd like to try to rewrite
> the code in typed racket, but it seems that I can't use the #:property
> options in typed struct:
>
> The only way I've found to do the same thing was to define the struct in an
> untyped module than use require/typed in a typed module.
> Is there another way to define  structure that can be printed as a shape?
>
> thanks,
> Daniele
>
> --
> daniele capo
> viale iv novembre, 8/a
> 01100 viterbo
>
> via mazzetta, 10
> 01100 viterbo
>
> tel. (+39) 328.30.51.751
>
> my (new) website: http://www.danielecapo.com
> daniele’s flickr page: http://www.flickr.com/photos/danielecapo/
> twitter
> http://twitter.com/danielecapo
>
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>