[racket] plai test/exn

Not sure if this is a bug, but it doesn't match the documentation
here<http://docs.racket-lang.org/plai/plai-scheme.html?q=text/exn&q=provide&q=string-join&q=error&q=repeat&q=string&q=replace&q=define#(form._((lib._plai/main..rkt)._test/exn))>.
It says test/exn only succeeds when the error is explicitly raised by the
user, but I try something as simple as:

"file1.rkt"
(provide foo)
(define (foo) (error "hello"))

"file2.rkt"
(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
code"?

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