subject:"\[racket\-dev\] EOPL tests"

Re: [racket-dev] EOPL tests

2012-02-24 Thread David Van Horn


On 2/21/12 2:38 PM, David Van Horn wrote:

Is there a test suite for EOPL? I didn't find anything in collects/eopl
or collects/tests, but eopl.rkt mentions the "test harness".


The test suite is now in tests/eopl.

David

_
 Racket Developers list:
 http://lists.racket-lang.org/dev

[racket-dev] EOPL tests

2012-02-21 Thread David Van Horn

Is there a test suite for EOPL?  I didn't find anything in collects/eopl 
or collects/tests, but eopl.rkt mentions the "test harness".


David
_
 Racket Developers list:
 http://lists.racket-lang.org/dev