On 2015-11-19 09:11:08 +0000, Antonio Menezes Leitao wrote:
>    So, my questions are:
>    1. Are there any plans to support #:constructor-name in Typed Racket?

I haven't tried to implement support for it, but I can't think of anything off
the top of my head that would make it difficult. I suspect we just haven't
gotten around to it.

Maybe we can support it for (add1 v6.3).

Cheers,
Asumu

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to