[plt-dev] Release Announcement for v4.2.5 -- 2nd call

On Fri, Apr 2, 2010 at 11:33 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Fri, Apr 2, 2010 at 8:34 AM, Eli Barzilay <eli at barzilay.org> 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