[plt-scheme] check-expect and Typed Scheme

No, not yet.

On Sep 3, 2008, at 2:35 PM, David Van Horn wrote:

> Is it possible to use check-expect in a Typed Scheme module?
>
> David
>
> #lang typed-scheme
> (require htdp/testing)
>
> (check-expect #t #t)
>
> Welcome to DrScheme, version 4.1.0.2-svn29aug2008 [3m].
> Language: Module; memory limit: 128 megabytes.
> typecheck: Untyped definition : (test3820) in: (check-expect #t #t)
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme