[racket] plai test/exn

From: Jeremy Kun (kun.jeremy at gmail.com)
Date: Mon Sep 19 16:47:05 EDT 2011

Not sure if this is a bug, but it doesn't match the documentation
It says test/exn only succeeds when the error is explicitly raised by the
user, but I try something as simple as:

(provide foo)
(define (foo) (error "hello"))

(require plai "file1.rkt")
(test/exn (foo) "hello")

and the test fails with "no expected value". I can even replace "hello" with
a call to error, and see that that argument is never evaluated. So by
user-written code, I'm assuming they mean code contained in the same module.
Or am I missing something fundamental about Racket's idea of "user-written

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20110919/40ac4b98/attachment.html>

Posted on the users mailing list.