| 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? 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)
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}