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

[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