<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.6000.16705" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face="Courier New" size=2><SPAN lang=EN-GB 
style="FONT-SIZE: 12pt; FONT-FAMILY: 'Times New Roman'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-GB; mso-fareast-language: NL; mso-bidi-language: AR-SA"><A 
href="http://download.plt-scheme.org/doc/360/html/mzscheme/mzscheme-Z-H-12.html#node_sec_12.5">Section 
12.5</A> (<A 
href="http://download.plt-scheme.org/doc/352/html/mzscheme/mzscheme-Z-H-12.html#node_sec_12.5"><U 
style="text-underline: #000000"><SPAN 
style="COLOR: windowtext; TEXT-DECORATION: none; text-underline: none">Special 
Syntax Identifiers</SPAN></U></A>) of the <A 
href="http://download.plt-scheme.org/doc/360/html/mzscheme">PLT MzScheme 
Language Manual</A> (version 360) shows an implementation of Lambda 
Calculus</SPAN><SPAN lang=EN-GB 
style="FONT-SIZE: 9pt; FONT-FAMILY: 'Times New Roman'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-GB; mso-fareast-language: NL; mso-bidi-language: AR-SA; mso-bidi-font-size: 12.0pt"> 
</SPAN><SPAN lang=EN-GB 
style="FONT-SIZE: 12pt; FONT-FAMILY: 'Times New Roman'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-GB; mso-fareast-language: NL; mso-bidi-language: AR-SA">with 
applicative order evaluation. I can't find this example in the docs of version 
4. (Currently I have Welcome to DrScheme, version 4.1.0.3-svn14sep2008 
[3m].)&nbsp;Is it dropped? Or am I blind? If it's dropped, why? I find it a 
beautiful example :)</SPAN></FONT></DIV>
<DIV><FONT face="Courier New" size=2><SPAN lang=EN-GB 
style="FONT-SIZE: 12pt; FONT-FAMILY: 'Times New Roman'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-GB; mso-fareast-language: NL; mso-bidi-language: AR-SA"></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face="Courier New" size=2><SPAN lang=EN-GB 
style="FONT-SIZE: 12pt; FONT-FAMILY: 'Times New Roman'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-GB; mso-fareast-language: NL; mso-bidi-language: AR-SA">I 
have adapted my own normal order lambda calculus modules for version 4. They 
work fine, although it worries me that some&nbsp;of the modules won't run (#lang 
scheme, DrScheme, run button) but do compile and pass tests. How can that be? 
There is some complaint: "compile: bad syntax; function application is not 
allowed, because no #%app syntax transformer is bound" which does not occur when 
requiring or compiling. If more info is required I would be happy to supply it 
(I do some nasty things in my code, but nevertheless I wonder why it won't 
simply run while it does compile and can be required without 
problems)</SPAN></FONT></DIV>
<DIV><FONT face="Courier New" size=2><SPAN lang=EN-GB 
style="FONT-SIZE: 12pt; FONT-FAMILY: 'Times New Roman'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-GB; mso-fareast-language: NL; mso-bidi-language: AR-SA">Jos</SPAN></FONT></DIV>
<DIV><FONT face="Courier New" size=2><SPAN lang=EN-GB 
style="FONT-SIZE: 12pt; FONT-FAMILY: 'Times New Roman'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-GB; mso-fareast-language: NL; mso-bidi-language: AR-SA"></SPAN></FONT>&nbsp;</DIV></BODY></HTML>