| From: Danny Yoo (dyoo at cs.wpi.edu) Date: Fri Aug 19 18:52:01 EDT 2011 |
|
Let's say that I have two union types, and want to statically make sure that one is a subset of the other, to prevent some silly bug. Is there a way to express this directly in Typed Racket?
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}