From: Sam Tobin-Hochstadt (samth at cs.indiana.edu) Date: Fri Aug 30 16:15:23 EDT 2013 |
|
On Fri, Aug 30, 2013 at 3:55 PM, <stamourv at racket-lang.org> wrote: > > +[generic-set? (asym-pred Univ B (-FS (-filter (-set Univ) 0) -top))] I worry about mutable sets here, but I can't think of any bugs it can cause ATM.
Posted on the dev mailing list. |
|