<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7036.0">
<TITLE>Check-error</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/rtf format -->

<P><FONT SIZE=2 FACE="Courier New">Is it me or check-error who is wrong?</FONT>

<BR><FONT SIZE=2 FACE="Courier New">Jos</FONT>
</P>

<P><FONT SIZE=2 FACE="Courier New">#lang scheme</FONT>

<BR><FONT SIZE=2 FACE="Courier New">(require test-engine/scheme-tests)</FONT>
</P>

<P><FONT SIZE=2 FACE="Courier New">(define coroutine4</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;(letrec</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp; ((local-state</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp; (lambda (first-resume-value)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp;&nbsp; (toggle 0)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp;&nbsp; (toggle 1)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp;&nbsp; (toggle 2)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp;&nbsp; (error &quot;expired coroutine&quot;)))</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp; (toggle</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp; (lambda (return/resume-value)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp;&nbsp; (call-with-current-continuation</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (lambda (cc)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (let ((old-state local-state))</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (set! local-state cc)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (old-state return/resume-value)))))))</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp; toggle))</FONT>
</P>

<P><FONT SIZE=2 FACE="Courier New">(check-expect (coroutine4 'ignored) 0)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">(check-expect (coroutine4 'ignored) 1)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">(check-expect (coroutine4 'ignored) 2)</FONT>

<BR><FONT SIZE=2 FACE="Courier New">(check-error (coroutine4 'ignored) &quot;expired coroutine&quot;)</FONT>
</P>

<P><FONT SIZE=2 FACE="Courier New">(test)</FONT>
</P>

<P><FONT SIZE=2 FACE="Courier New">Welcome to DrScheme, version 4.2.5.7-svn10apr2010 [3m].</FONT>

<BR><FONT SIZE=2 FACE="Courier New">Language: scheme [custom]; memory limit: 2000 MB.</FONT>

<BR><FONT SIZE=2 FACE="Courier New">bug: collects\test-engine\scheme-tests.ss:157:0: expired coroutine</FONT>

<BR><FONT SIZE=2 FACE="Courier New">Ran 4 checks.</FONT>

<BR><FONT SIZE=2 FACE="Courier New">1 of the 4 checks failed.</FONT>
</P>

<P>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <FONT SIZE=2 FACE="Courier New">check-expect encountered the following error instead of the expected value, 0. </FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;&nbsp; :: expired coroutine</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&nbsp;At line 21 column 0</FONT>

<BR><FONT SIZE=2 FACE="Courier New">&gt; </FONT>
</P>

</BODY>
</HTML>