<span id="mailbox-conversation"><div>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.</div></span><div class="mailbox_signature"><br></div>
<br><br><div class="gmail_quote"><p>On Sat, May 24, 2014 at 9:39 PM, Alexander D. Knauth <span dir="ltr"><<a href="mailto:alexander@knauth.org" target="_blank">alexander@knauth.org</a>></span> wrote:<br></p><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><p>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?  
<br><br>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.  
<br><br>Otherwise I’ll just put it in an untyped submodule.  
<br><br><br>____________________
<br>  Racket Users list:
<br>  http://lists.racket-lang.org/users
<br></p></blockquote></div><br>