[plt-scheme] check-expect and Typed Scheme

[David Van Horn]

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)