[plt-scheme] Exporting from an already-written module?

On Tue, Jan 13, 2009 at 2:58 AM, Don Blaheta <dblaheta at knox.edu> wrote:
> Quoth Robby Findler:
>> You can cut the first three lines out of the file (by a script that
>> just transforms an input port directly from the file into an input
>> port that doesn't have those lines).
>
> Ah, this is promising (if crude), but now it doesn't seem to know about
> check-expect, which evidently is in htdp-beginner but not pretty-big...?

That's right. check-expect is not in pretty-big.

>> But may I ask why you want to do this?
>
> Scriptable testing of student code.  I guess I should have asked for
> that more directly; surely someone has already done this.  Basically I
> have my test cases in one file and I'd like to quickly run them on each
> student file, which may or may not itself also have test cases.

There is a handin server that Matthew wrote and Eli currently
maintains that lets you do that (and more). I'll let them tell you
about it, but I used it last quarter for my HtDP class and it worked
great.

Robby