I don’t think you can. You would need define the struct in an untyped module
then require it via require/typed. This is why dict’s don’t work in
typed/racket either.
On Sat, May 24, 2014 at 9:39 PM, Alexander D. Knauth <alexan...@knauth.org>
wrote:
> Do generic interfaces work using structure type properties, and if they do,
> is there a way to use generic interfaces through properties so that I can do
> it in typed racket?
> Specifically I’m trying to use the gen:custom-write and gen:dict generic
> interfaces. I can use prop:custom-write for the first one, but I don’t know
> what to do for gen:dict.
> Otherwise I’ll just put it in an untyped submodule.
> ____________________
> Racket Users list:
> http://lists.racket-lang.org/users
____________________
Racket Users list:
http://lists.racket-lang.org/users
