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:

[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