I added the require to the module and it didn&#39;t have any affect.&nbsp; I got exactly the same error.<br><br><div class="gmail_quote">On Thu, Jul 3, 2008 at 12:05 PM, Chongkai Zhu &lt;<a href="mailto:czhu@cs.utah.edu">czhu@cs.utah.edu</a>&gt; wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">(require (for-syntax scheme/base))<br>
<br>
?<br>
<br>
<br>
Doug Williams wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div><div></div><div class="Wj3C7c">
I am converting the inference collection over to run on V4.0.1 and I&#39;m having a problem with dynamically evaluating a lambda expression. &nbsp;Here is a snippet of the code that gives the error:<br>
<br>
#lang scheme/base<br>
...<br>
(define (activate-rule rule initial-node)<br>
...<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(if (null? match-constraints) ; match-constraint-predicate<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;#f<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(eval<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; `(lambda ,(if assertion-variable<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (cons assertion-variable<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (pattern-variables pattern))<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (pattern-variables pattern))<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;(and ,@match-constraints))))<br>
...<br>
 &nbsp;)<br>
<br>
And, the error I get is:<br>
<br>
compile: bad syntax; function application is not allowed, because no #%app syntax transformer is bound in: (lambda (?size ?peg) (and (not (eq? ?peg (quote right)))))<br>
<br>
This code works in V372.<br>
<br>
Any ideas?<br>
<br>
Doug<br></div></div>
------------------------------------------------------------------------<br>
<br>
_________________________________________________<br>
 &nbsp;For list-related administrative tasks:<br>
 &nbsp;<a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br>
 &nbsp;<br>
</blockquote>
<br>
</blockquote></div><br>