[plt-scheme] check-expect and Typed Scheme

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Wed Sep 3 14:35:53 EDT 2008

Is it possible to use check-expect in a Typed Scheme module?


#lang typed-scheme
(require htdp/testing)

(check-expect #t #t)

Welcome to DrScheme, version [3m].
Language: Module; memory limit: 128 megabytes.
typecheck: Untyped definition : (test3820) in: (check-expect #t #t)

Posted on the users mailing list.