Ah! Why don&#39;t they state that they shadow &quot;error&quot; in the documentation? Isn&#39;t that considered bad form? And worse, undocumented bad form!<div><br></div><div>Everything I was taught in school by idealistic Racket programmers is crashing down before my eyes! I might as well be coding in C. </div>

<div><br></div><div>But seriously, this should be in the docs.<br><br>Jeremy<br>
<br><br><div class="gmail_quote">On Mon, Sep 19, 2011 at 5:12 PM, Jay McCarthy <span dir="ltr">&lt;<a href="mailto:jay.mccarthy@gmail.com">jay.mccarthy@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

And that&#39;s what it means by &quot;user code&quot;<br>
<br>
Jay<br>
<div><div></div><div class="h5"><br>
On Tue, Sep 20, 2011 at 6:57 AM, Eric Dobson &lt;<a href="mailto:endobson@cs.brown.edu">endobson@cs.brown.edu</a>&gt; wrote:<br>
&gt; Also IIRC test/exn only works on errors raised using &#39;error&#39; from<br>
&gt; PLAI, which is different from &#39;error&#39; from racket/base.<br>
&gt;<br>
&gt; -Eric<br>
&gt;<br>
&gt; On Mon, Sep 19, 2011 at 2:49 PM, John Clements<br>
&gt; &lt;<a href="mailto:clements@brinckerhoff.org">clements@brinckerhoff.org</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; On Sep 19, 2011, at 1:47 PM, Jeremy Kun wrote:<br>
&gt;&gt;<br>
&gt;&gt;&gt; Not sure if this is a bug, but it doesn&#39;t match the documentation here. It says test/exn only succeeds when the error is explicitly raised by the user, but I try something as simple as:<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; &quot;file1.rkt&quot;<br>
&gt;&gt;&gt; (provide foo)<br>
&gt;&gt;&gt; (define (foo) (error &quot;hello&quot;))<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; &quot;file2.rkt&quot;<br>
&gt;&gt;&gt; (require plai &quot;file1.rkt&quot;)<br>
&gt;&gt;&gt; (test/exn (foo) &quot;hello&quot;)<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; and the test fails with &quot;no expected value&quot;. I can even replace &quot;hello&quot; with a call to error, and see that that argument is never evaluated. So by user-written code, I&#39;m assuming they mean code contained in the same module. Or am I missing something fundamental about Racket&#39;s idea of &quot;user-written code&quot;?<br>


&gt;&gt;<br>
&gt;&gt; Just a quick look, but it looks like you&#39;re failing to thunk the arguments to test/exn, so it never even gets control.<br>
&gt;&gt;<br>
&gt;&gt; John<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt; _________________________________________________<br>
&gt;&gt;  For list-related administrative tasks:<br>
&gt;&gt;  <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a><br>
&gt;&gt;<br>
&gt;<br>
&gt; _________________________________________________<br>
&gt;  For list-related administrative tasks:<br>
&gt;  <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a><br>
<br>
<br>
<br>
</div></div><font color="#888888">--<br>
Jay McCarthy &lt;<a href="mailto:jay@cs.byu.edu">jay@cs.byu.edu</a>&gt;<br>
Assistant Professor / Brigham Young University<br>
<a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br>
<br>
&quot;The glory of God is Intelligence&quot; - D&amp;C 93<br>
</font></blockquote></div><br></div>