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

On Jan 13, 2009, at 7:18 AM, Robby Findler wrote:

> 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.

#lang scheme
(require htdp/testing)

...

(generate-report)
;; the end

is close enough.


-- Matthias



>>> 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
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme