Sam Tobin-Hochstadt wrote:
On Mon, Aug 23, 2010 at 6:12 PM, Neil Toronto <[email protected]> wrote:
Sam Tobin-Hochstadt wrote:
- Polymorphic structs being proper subtypes *snip*
I'm not sure exactly what you mean here. Can you give an example?
Yep. Here's the array type:
[helpful example elided]
Hmm. I see why this doesn't work currently. A workaround would be to
use unions rather than struct subtyping, here, but I'll try to make
this work. If you could submit a bug report, that would help.
Cool. Bug 11099 is close, but is really about subtypes with (Vectorof T)
fields specifically. I've made 11122 for this.
Thanks!
Neil T
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
