From: Carl Eastlund (cce at ccs.neu.edu) Date: Tue Aug 3 11:37:50 EDT 2010 |
|
On Tue, Aug 3, 2010 at 11:31 AM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote: > Sadly, no: > >> (module M lang/htdp-advanced (check-expect 1 2) (check-expect 2 2)) > . check-expect: found a test that is not at the top level in: (check-expect 1 2) Huh. I just tried it, and it doesn't do that on my end. I'm using 5.0.1.2 from fairly recent git sources; not sure if there was a recent change or if something else is going on. --Carl
Posted on the users mailing list. |
|