On Fri, Apr 2, 2010 at 11:33 AM, Sam Tobin-Hochstadt <[email protected]> wrote: > On Fri, Apr 2, 2010 at 8:34 AM, Eli Barzilay <[email protected]> wrote: >> Sam: >> - Add `define-predicate'; add `with-type' for defintions; New TS >> guide. (Maybe more?) > > How about: > > Typed Scheme now supports automatic construction of predicates with > `define-predicate'. Regions of code can be typechecked with the > `with-type' form.
New version; Sam tested, Eli approved: Typed Scheme users can now automatically generate predicates from types with `define-predicate'. Typed code can be inserted in untyped modules by requiring `with-type' from `typed/scheme'. --Carl _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
