From chaynes Wed May 21 07:46:02 1997 Return-Path: Received: from moose.cs.indiana.edu by indra.cs.indiana.edu (8.8.5/IUCS.1.76) id HAA12331; Wed, 21 May 1997 07:46:02 -0500 (EST) Received: from hare.wmin.ac.uk by moose.cs.indiana.edu (8.8.5/IUCS.1.76) id HAA29368; Wed, 21 May 1997 07:45:58 -0500 (EST) Received: from wmin.ac.uk (actually host emavrikos.demon.co.uk) by hare.wmin.ac.uk with SMTP (MMTA) with ESMTP; Wed, 21 May 1997 13:45:11 +0100 Message-ID: <3382FCED.EEF3690F@wmin.ac.uk> Date: Wed, 21 May 1997 14:47:25 +0100 From: Emmanouil Mavrikos X-Mailer: Mozilla 4.0b4 [en] (Win95; I) To: eopl-teachers@cs.indiana.edu Subject: Urgent!!! Cryptarithmetic problem with Scheme X-Priority: 3 (Normal) MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" It would be much appreciative if someone has an implementation of the cryptarithmetic problem with Scheme. It is much urgent. Thanks in advance. From chaynes Sat Aug 30 22:12:49 1997 Return-Path: Received: from moose.cs.indiana.edu (root@moose.cs.indiana.edu [129.79.254.191]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.10) with ESMTP id WAA05564 for ; Sat, 30 Aug 1997 22:12:49 -0500 (EST) Received: from fleet.cc.purdue.edu (fleet.cc.purdue.edu [128.210.250.45]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.10) with ESMTP id WAA16239 for ; Sat, 30 Aug 1997 22:12:46 -0500 (EST) Received: (from zz@localhost) by fleet.cc.purdue.edu (7.2.5/7.2.5) id WAA18268 for eopl-teachers@cs.indiana.edu; Sat, 30 Aug 1997 22:12:45 -0500 Date: Sat, 30 Aug 1997 22:12:45 -0500 From: Tony Message-Id: <199708310312.WAA18268@fleet.cc.purdue.edu> To: eopl-teachers@cs.indiana.edu Subject: (Q) run batch job on scm??? Sorry if this question goes to a wrong place. I was wonder if there would a way to run batch jobs in "scm" implementation of Scheme. For example, I have the following set of stuff in a file: =========== (transcript-on "result.out") (load "sort.scm") (sort (1 3 7 9 4 6 5 2 8)) (transcript-off) (quit) =========== I tried to run the job non-interactively, but no output was found in the file "result.out". Could you tell me how to run a batch job on scm? Please email me directly at zz@cc.purdue.edu Thanks. -Tony From chaynes Sun Aug 31 09:36:48 1997 Return-Path: Received: from moose.cs.indiana.edu (root@moose.cs.indiana.edu [129.79.254.191]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.10) with ESMTP id JAA06984 for ; Sun, 31 Aug 1997 09:36:48 -0500 (EST) Received: from amber.ccs.neu.edu (root@amber.ccs.neu.edu [129.10.111.100]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.10) with ESMTP id JAA01795 for ; Sun, 31 Aug 1997 09:36:45 -0500 (EST) Received: from dyna.ccs.neu.edu (frosted-flakes.ccs.neu.edu [129.10.112.29]) by amber.ccs.neu.edu (8.8.6/8.7.3) with SMTP id KAA04677; Sun, 31 Aug 1997 10:36:41 -0400 (EDT) Message-Id: <3.0.2.32.19970831103640.006ac6fc@ccs.neu.edu> X-Sender: wand@ccs.neu.edu X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.2 (32) Date: Sun, 31 Aug 1997 10:36:40 -0400 To: Tony From: Mitchell Wand Subject: Re: (Q) run batch job on scm??? Cc: eopl-teachers@cs.indiana.edu In-Reply-To: <199708310312.WAA18268@fleet.cc.purdue.edu> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" At 10:12 PM 8/30/97 -0500, Tony wrote: >Sorry if this question goes to a wrong place. > >I was wonder if there would a way to run batch jobs >in "scm" implementation of Scheme. For example, I >have the following set of stuff in a file: >=========== >(transcript-on "result.out") >(load "sort.scm") >(sort (1 3 7 9 4 6 5 2 8)) >(transcript-off) >(quit) >=========== > >I tried to run the job non-interactively, but no output was found >in the file "result.out". > >Could you tell me how to run a batch job on scm? > >Please email me directly at zz@cc.purdue.edu > >Thanks. > >-Tony > > I doubt this is a problem with scm. You should try to do these things directly from the read-eval-print loop, so you can see what's going on. In your case, I think you probably wanted to say (sort '(1 3 7 9 4 6 5 2 8)) In the future, you might want to ask your instructor about things like this. Mitchell Wand wand@ccs.neu.edu College of Computer Science, Northeastern University 360 Huntington Avenue #161CN, Boston, MA 02115 Phone: (617) 373 2072 World Wide Web: http://www.ccs.neu.edu/home/wand Fax: (617) 373 5121 Please be aware that Northeastern University is closed on Fridays during the summer. From chaynes Sun Nov 16 17:56:42 1997 Return-Path: Received: from moose.cs.indiana.edu (root@moose.cs.indiana.edu [129.79.254.191]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.12) with ESMTP id RAA07938 for ; Sun, 16 Nov 1997 17:56:41 -0500 (EST) Received: from send1a.yahoomail.com (send1a.yahoomail.com [205.180.60.22]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.12) with SMTP id RAA13398 for ; Sun, 16 Nov 1997 17:56:39 -0500 (EST) Message-ID: <19971116225627.27933.rocketmail@send1a.yahoomail.com> Received: from [204.179.79.90] by send1a; Sun, 16 Nov 1997 14:56:27 PST Date: Sun, 16 Nov 1997 14:56:27 -0800 (PST) From: Edwin Antonio To: eopl-teachers@cs.indiana.edu MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii lists help end __________________________________________________________________ Sent by Yahoo! Mail. Get your free e-mail at http://mail.yahoo.com From chaynes Wed Feb 25 13:23:15 1998 Return-Path: Received: from moose.cs.indiana.edu (moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id NAA08722 for ; Wed, 25 Feb 1998 13:23:14 -0500 (EST) Received: from amber.ccs.neu.edu (root@amber.ccs.neu.edu [129.10.111.100]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id NAA06040 for ; Wed, 25 Feb 1998 13:23:07 -0500 (EST) Received: from delphi.ccs.neu.edu (wand@delphi.ccs.neu.edu [129.10.112.101]) by amber.ccs.neu.edu (8.8.6/8.8.6) with ESMTP id NAA22333; Wed, 25 Feb 1998 13:22:34 -0500 (EST) Received: (from wand@localhost) by delphi.ccs.neu.edu (8.8.6/8.8.6) id NAA04597; Wed, 25 Feb 1998 13:22:34 -0500 (EST) Date: Wed, 25 Feb 1998 13:22:34 -0500 (EST) Message-Id: <199802251822.NAA04597@delphi.ccs.neu.edu> From: Mitchell Wand MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: com3351@ccs.neu.edu CC: eopl-teachers@cs.indiana.edu, arthur@ccs.neu.edu, johan@ccs.neu.edu, mira@ccs.neu.edu Subject: MP5 questions In-Reply-To: References: <199802241805.NAA20730@delphi.ccs.neu.edu> X-Mailer: VM 6.31 under Emacs 19.34.1 A student writes: > I have a question about hw5. Look at the following example first: > (define code5 > "let c = 0 > in let p = proc (x y :a = 3 :b = 4) % line 2 > begin print x; print y; print a; print (+ b c); end > in begin > (p 1 2 0 :c = 3); % line 5 > print 99; % line 6 > (p 9 8 7 6 7 ); % line 7 > end") > Of course, line7 will result in a run time error, because it passes too > many args and my interpreter will report this error. But i am not sure if > line5 is illegal. I guess it is. If c does not occur in proc definition, > line5 will be harmless, but if c does as it does in this example, it will > do harm. > Let's look at the example closely. I think logically, ":c = 3" in line1 > should be ignored because c is not a var in key-decl in line2 and the > result of this line should be " 1 2 0 4", but it print "1 2 0 7". > It seems that I need to check if the set of vars of key-decls in > app-exp is a subset of vars of key-decls in proc-exp and report error if > it is not. > Would you please give me a clarification? Good example! If the :c = 3 is allowed to override the binding c = 0, then lexical scoping is violated. The problem said: mp5> The intent is that the ordinary actuals are associated with the ordinary mp5> formals by position; the remaining actuals (which are introduced by mp5> keywords) are bound to the corresponding formals by keyword; and any mp5> remaining formals are bound by their default expressions. The key phrase is "are bound to the corresponding formals by keyword". For the keyword actual :c = 3, there is no corresponding formal. So yes, you need to check this. Very good; I hadn't thought of this. --Prof. Wand From chaynes Sat Feb 28 18:48:00 1998 Return-Path: Received: from moose.cs.indiana.edu (moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id SAA20394 for ; Sat, 28 Feb 1998 18:48:00 -0500 (EST) Received: from iol.unh.edu (sun4.iol.unh.edu [132.177.120.114]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with SMTP id SAA23468 for ; Sat, 28 Feb 1998 18:47:55 -0500 (EST) Received: from ALPAMAYO ([206.155.182.58]) by iol.unh.edu (4.1/SMI-4.1) id AA15815; Sat, 28 Feb 98 18:45:02 EST Received: by ALPAMAYO with Microsoft Mail id <01BD447A.4E0967A0@ALPAMAYO>; Sat, 28 Feb 1998 18:54:32 -0500 Message-Id: <01BD447A.4E0967A0@ALPAMAYO> From: Rupert Dance To: "'eopl-teachers@cs.indiana.edu'" Subject: FTP site Date: Sat, 28 Feb 1998 18:46:31 -0500 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Dear Sirs, I am a student @ University of NH and I am taking a course (CS671) which = uses the book Essentials of Programming Languages. I tried to access = your FTP site from your web page and I am unable to gain access. Could = you check the server and let me know if I have a problem or it does! Thanks Rupert Dance From chaynes Sat Feb 28 18:53:08 1998 Return-Path: Received: from moose.cs.indiana.edu (moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id SAA20437 for ; Sat, 28 Feb 1998 18:53:07 -0500 (EST) Received: from amber.ccs.neu.edu (root@amber.ccs.neu.edu [129.10.111.100]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id SAA23665 for ; Sat, 28 Feb 1998 18:53:06 -0500 (EST) Received: from delphi.ccs.neu.edu (wand@delphi.ccs.neu.edu [129.10.112.101]) by amber.ccs.neu.edu (8.8.6/8.8.6) with ESMTP id SAA00817; Sat, 28 Feb 1998 18:52:55 -0500 (EST) Received: (from wand@localhost) by delphi.ccs.neu.edu (8.8.6/8.8.6) id SAA10769; Sat, 28 Feb 1998 18:52:54 -0500 (EST) Date: Sat, 28 Feb 1998 18:52:54 -0500 (EST) Message-Id: <199802282352.SAA10769@delphi.ccs.neu.edu> From: Mitchell Wand MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: Rupert Dance Cc: "'eopl-teachers@cs.indiana.edu'" Subject: FTP site In-Reply-To: <01BD447A.4E0967A0@ALPAMAYO> References: <01BD447A.4E0967A0@ALPAMAYO> X-Mailer: VM 6.31 under Emacs 19.34.1 RD> Dear Sirs, RD> I am a student @ University of NH and I am taking a course (CS671) which RD> uses the book Essentials of Programming Languages. I tried to access your RD> FTP site from your web page and I am unable to gain access. Could you RD> check the server and let me know if I have a problem or it does! RD> Thanks RD> Rupert Dance WHICH web page? WHICH ftp site? There are several out there. From chaynes Sun Mar 1 11:27:40 1998 Return-Path: Received: from moose.cs.indiana.edu (moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id LAA22992 for ; Sun, 1 Mar 1998 11:27:40 -0500 (EST) Received: from catwoman.cs.moravian.edu (catwoman.cs.moravian.edu [204.186.193.3]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with SMTP id LAA22755 for ; Sun, 1 Mar 1998 11:27:39 -0500 (EST) Received: from spellcraft.moravian.edu by catwoman.cs.moravian.edu (SMI-8.6/SMI-SVR4) id LAA28822; Sun, 1 Mar 1998 11:22:57 -0500 Received: from spellcraft by spellcraft.moravian.edu (SMI-8.6/SMI-SVR4) id LAA04998; Sun, 1 Mar 1998 11:27:54 -0500 Sender: kussmaul@catwoman.cs.moravian.edu Message-ID: <34F98C8A.6E0E@cs.moravian.edu> Date: Sun, 01 Mar 1998 11:27:54 -0500 From: Clif Kussmaul Organization: Moravian College Computer Science Dept X-Mailer: Mozilla 3.01Gold (X11; I; SunOS 5.5.1 sun4u) MIME-Version: 1.0 To: eopl-teachers@cs.indiana.edu Subject: beta-redex question Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Hello - page 105 contains the following statement "An expression of the form ((lambda (x) E) M) to which this rule may be applied is called a beta-redex." ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Does this include all of the cases described in the preceding paragraphs, or just some of them? For instance, y[M/x] = y doesn't make any substitutions, but does simplify the expression, so I assume it counts. However, the last case requires an alpha-conversion first; so I'm not sure if it counts or not The examples for Exercise 4.2.2 would be satisfied by a procedure that simply checks for an application; if the procedure is more complicated, additional examples might be helpful. Many thanks, Clif Kussmaul -- ------------------------------------- Clif Kussmaul kussmaul@cs.moravian.edu Computer Science Dept http://www.cs.moravian.edu/~kussmaul Moravian College ph:610-861-1570 fax:610-861-3979 Bethlehem, PA 18018 From chaynes Sun Mar 1 11:29:59 1998 Return-Path: Received: from moose.cs.indiana.edu (moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id LAA23020 for ; Sun, 1 Mar 1998 11:29:59 -0500 (EST) Received: from sleeper.cs.indiana.edu (sleeper.cs.indiana.edu [129.79.242.136]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id LAA22788 for ; Sun, 1 Mar 1998 11:29:58 -0500 (EST) Received: from localhost (yuczhang@localhost) by sleeper.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with SMTP id LAA03394 for ; Sun, 1 Mar 1998 11:29:57 -0500 (EST) X-Authentication-Warning: sleeper.cs.indiana.edu: yuczhang owned process doing -bs Date: Sun, 1 Mar 1998 11:29:57 -0500 (EST) From: Yuchen Zhang cc: eopl-teachers@cs.indiana.edu Subject: unsubscribe In-Reply-To: <34F98C8A.6E0E@cs.moravian.edu> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII thanks Yuchen From chaynes Sun Mar 1 13:17:09 1998 Return-Path: Received: from moose.cs.indiana.edu (moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id NAA23252 for ; Sun, 1 Mar 1998 13:17:09 -0500 (EST) Received: from sleeper.cs.indiana.edu (sleeper.cs.indiana.edu [129.79.242.136]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id NAA26733 for ; Sun, 1 Mar 1998 13:17:08 -0500 (EST) Received: from localhost (yuczhang@localhost) by sleeper.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with SMTP id NAA03601 for ; Sun, 1 Mar 1998 13:17:07 -0500 (EST) X-Authentication-Warning: sleeper.cs.indiana.edu: yuczhang owned process doing -bs Date: Sun, 1 Mar 1998 13:17:07 -0500 (EST) From: Yuchen Zhang To: eopl-teachers@cs.indiana.edu Subject: UNSUBSCRIBE In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII would anybody please take me out of this mailing list. i forget how to do it. thanks Yuchen From chaynes Sun Mar 1 13:23:06 1998 Return-Path: Received: from moose.cs.indiana.edu (moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id NAA23293 for ; Sun, 1 Mar 1998 13:23:06 -0500 (EST) Received: from amber.ccs.neu.edu (root@amber.ccs.neu.edu [129.10.111.100]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id NAA26944 for ; Sun, 1 Mar 1998 13:23:05 -0500 (EST) Received: from delphi.ccs.neu.edu (wand@delphi.ccs.neu.edu [129.10.112.101]) by amber.ccs.neu.edu (8.8.6/8.8.6) with ESMTP id NAA22401 for ; Sun, 1 Mar 1998 13:04:19 -0500 (EST) Resent-From: Mitchell Wand Received: (from wand@localhost) by delphi.ccs.neu.edu (8.8.6/8.8.6) id NAA14605 for eopl-teachers@cs.indiana.edu; Sun, 1 Mar 1998 13:04:18 -0500 (EST) Resent-Date: Sun, 1 Mar 1998 13:04:18 -0500 (EST) Resent-Message-Id: <199803011804.NAA14605@delphi.ccs.neu.edu> Resent-To: eopl-teachers@cs.indiana.edu Message-Id: <01BD4512.F13D3490@ALPAMAYO> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by amber.ccs.neu.edu id NAA22306 From: Rupert Dance To: "'Mitchell Wand'" Subject: RE: FTP site Date: Sun, 1 Mar 1998 13:04:07 -0500 Sorry about that. The site is the link you have on the WebPages - http://www.cs.indiana.edu/eip/eopl.html "An ongoing project for the authors is maintaining an FTP directory containing errata, source code, compatibility files, a draft of an additional chapter on types available for comment, and other materials related to the text." I also tried to access the site that is listed in the additional to your book: Ftp://ftp.cs.indiana.edu/pub/eopl/ Thanks again Rupert Dance -----Original Message----- From: Mitchell Wand [SMTP:wand@ccs.neu.edu] Sent: Saturday, February 28, 1998 6:53 PM To: Rupert Dance Cc: 'eopl-teachers@cs.indiana.edu' Subject: FTP site RD> Dear Sirs, RD> I am a student @ University of NH and I am taking a course (CS671) which RD> uses the book Essentials of Programming Languages. I tried to access your RD> FTP site from your web page and I am unable to gain access. Could you RD> check the server and let me know if I have a problem or it does! RD> Thanks RD> Rupert Dance WHICH web page? WHICH ftp site? There are several out there. From chaynes Mon Mar 9 15:16:49 1998 Return-Path: Received: from moose.cs.indiana.edu (moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id PAA01389 for ; Mon, 9 Mar 1998 15:16:49 -0500 (EST) Received: from nova.cs.uni.edu (nova.cs.uni.edu [134.161.70.20]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id PAA07336 for ; Mon, 9 Mar 1998 15:16:47 -0500 (EST) Received: from 134.161.242.200 (wallingford.cs.uni.edu [134.161.242.200]) by nova.cs.uni.edu (8.8.5/8.8.5) with SMTP id OAA01939; Mon, 9 Mar 1998 14:16:19 -0600 (CST) Message-ID: <35044F0C.7A80@cs.uni.edu> Date: Mon, 09 Mar 1998 14:20:28 -0600 From: Eugene Wallingford Reply-To: wallingf@cs.uni.edu Organization: Dept of CS, Univ of Northern Iowa X-Mailer: Mozilla 2.01 (Macintosh; I; 68K) MIME-Version: 1.0 To: eopl-teachers@cs.indiana.edu CC: wallingf@cs.uni.edu Subject: Records in Dr. Scheme X-URL: http://www.cs.indiana.edu/eip/eopl.html Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Hello! Has anyone implemented a define-record syntactic extension for Dr. Scheme? My students use MacGambit, MIT Scheme, and Dr. Scheme in various places, and Dr. Schemeis the only one for which I cannot find a reference to an existing facility. If you have implemented such code, or know of someone who has, I would appreciate hearing from you. Thanks! ---- Eugene Wallingford From chaynes Mon Mar 9 16:01:43 1998 Return-Path: Received: from moose.cs.indiana.edu (moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id QAA01559 for ; Mon, 9 Mar 1998 16:01:43 -0500 (EST) Received: from amber.ccs.neu.edu (root@amber.ccs.neu.edu [129.10.111.100]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.16) with ESMTP id QAA18001 for ; Mon, 9 Mar 1998 16:01:35 -0500 (EST) Received: from delphi.ccs.neu.edu (wand@delphi.ccs.neu.edu [129.10.112.101]) by amber.ccs.neu.edu (8.8.6/8.8.6) with ESMTP id QAA23630; Mon, 9 Mar 1998 16:01:23 -0500 (EST) Received: (from wand@localhost) by delphi.ccs.neu.edu (8.8.6/8.8.6) id QAA06468; Mon, 9 Mar 1998 16:01:22 -0500 (EST) Date: Mon, 9 Mar 1998 16:01:22 -0500 (EST) Message-Id: <199803092101.QAA06468@delphi.ccs.neu.edu> From: Mitchell Wand MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: wallingf@cs.uni.edu Cc: eopl-teachers@cs.indiana.edu Subject: Records in Dr. Scheme In-Reply-To: <35044F0C.7A80@cs.uni.edu> References: <35044F0C.7A80@cs.uni.edu> X-Mailer: VM 6.31 under Emacs 19.34.1 EW> Hello! EW> Has anyone implemented a define-record syntactic extension EW> for Dr. Scheme? My students use MacGambit, MIT Scheme, and EW> Dr. Scheme in various places, and Dr. Schemeis the only one EW> for which I cannot find a reference to an existing facility. EW> If you have implemented such code, or know of someone who EW> has, I would appreciate hearing from you. Thanks! EW> ---- Eugene Wallingford Ask, and ye shall receive! Here's mine. This is slightly different from the one in the book: it represents records as lists, not vectors, and it uses record-case, not variant-case (binds fields by position, not by name). It would be easy enough to retrofit. BTW, where is uni.edu? --Mitch **************************************************************** ;;; ;;; define-record and record-case macros for drscheme ;;; Based on Jens Palsberg's version of 8/21/96 (sources listed ;;; below), modified by Mitchell Wand for Dr Scheme on 2/3/98. ;;; ;;; Following Duncan Fisher, the syntax of record-case allows the keys ;;; of the clauses to be lists of symbols (i.e. more then one type of ;;; record, similar to a case statement) as well as the usual single ;;; symbol. ;;; ;;; Implemented by Jens Palsberg (palsberg@cs.purdue.edu) borrowing heavily ;;; from previous work by Duncan Fisher, Brent Benson, Gary Duzan, ;;; David McCusker, and Dan Ryan. ; Jens wrote on Wed Aug 21 14:12:54 1996: ; ; My code is a quick fix ; of the macgambit macros to which you pointed me. My code ; does not have nice printf and format. The problem is that ; the macgambit code uses open-input-string and open-output-string ; for formatting, and I don't know what they do or where I can ; find code for them. In case you should be interested in ; taking a look, the scm macros are appended. (define format-> (lambda (x l) (string-append (symbol->string x) "->" (symbol->string l)))) (define format? (lambda (x) (string-append (symbol->string x) "?"))) (define formatmake- (lambda (x) (string-append "make-" (symbol->string x)))) ;;; ;;; Auxiliary procedures needed for the following record marcos. ;;; ;;; record-macros:fog returns the composition of the two functions f and g ;;; ;;; record-macros:sos? returns #t if lst is a list of distinct symbols => ;;; a set of symbols, otherwise #f. Note: (record-macros:sos? '()) => #t ;;; (define (record-macros:compose f g) (lambda (x) (f (g x)))) (define (record-macros:sos? lst) (if (list? lst) (letrec ((set? (lambda (los) (cond ((null? los) #t) ((not (symbol? (car los))) #f) ((memq (car los) (cdr los)) #f) (else (set? (cdr los))))))) (set? lst)) #f)) ;;; ;;; define-record macro ;;; ;;; Syntax of general form: (define-record name (field-1 ... field-n)) ;;; ;;; This macro expansion defines the following procedures: ;;; make-name ;;; name->field-1 ;;; ... ;;; name->field-n ;;; name? ;;; ; in scm this was ; (defmacro define-record args ;; args = (name . fields) ; (let ((name (car args)) ; (fields (cadr args))) ...)) ; changed protocol for DrScheme... (define-macro define-record (lambda (name fields) ;; The make-readers procedure returns a list of procedures which ;; define the name->field-1 ... name->field-n procedures that are ;; used to access the specific data fields of a name type record. (letrec ((make-readers (lambda (name fields get-field) (if (null? fields) '() (let ((reader (string->symbol (format-> name (car fields))))) (cons `(define ,reader (record-macros:compose car ,get-field)) (make-readers name (cdr fields) (list 'record-macros:compose 'cdr get-field)))))))) (if (and (symbol? name) (record-macros:sos? fields)) (let ((predicate (string->symbol (format? name))) (constructor (string->symbol (formatmake- name)))) `(begin (define ,predicate (lambda (x) (and (list? x) (eq? (car x) ',name)))) (define ,constructor (lambda args (cons ',name args))) ,@(make-readers name fields 'cdr))) (error 'define-record-macro "illegal syntax in ~a type record" name))))) ;;; ;;; record-case macro ;;; ;;; Syntax of general form: (record-case record-expression ;;; (name-1 field-list-1 consequent-1) ;;; ... ;;; (name-n field-list-n consequent-n) ;;; (else alternative)) ;;; ;;; Note: name-i may be a list of distinct symbols in addition to being ;;; just a symbol. This is more in line with the usual type case definition. ;;; ;;; For each clause in the record-case statement, the record-case ;;; macro expands it to a cond type clause of the form ((pred? value) ;;; (let-expression)), where the body of the let expression is the ;;; consequent expressions of the record-case form. The bindings of the ;;; let form are those between the symbols of the record-case field-list ;;; and the corresponding values of the record passed in as argument ;;; record-var to record-case. These bindings are done based on position ;;; only. ;;; ; (defmacro record-case args ;; args = (record-exp . clauses) ; (let ((record-exp (car args)) ; (clauses (cdr args))) ... )) (define-macro record-case (lambda (record-exp . clauses) (let ((var (gensym))) ;; make-conds expands all the record-case clauses into a ;; list of appropriate cond style clauses, i.e. each clause ;; list of the form: ;; (name-i field-list-i consequent-i) ;; gets expanded into: ;; ((name-i? record-exp) ;; (let ((field-list-i-1 field-name-1) ;; ( ... ) ;; (field-list-i-n field-name-n)) ;; consequent-i)) (letrec ((make-conds (lambda (clause) (cond ((null? clause) `((else (error 'record-case "no clause match: ~a" ,var)))) ((eq? (caar clause) 'else) `((else ,@(cdar clause)))) (else ;; The make-lets procedure returns the let expression bindings for ;; one record-case clause only. These in turn will be combined with ;; the (pred? value) list to form one clause of the cond statement. (letrec ((make-lets (lambda (fields get-field) (if (null? fields) '() (cons `(,(car fields) (car ,get-field)) (make-lets (cdr fields) (list 'cdr get-field))))))) (let* ((key (caar clause)) (pred? (if (list? key) `(memv (car ,var) ',key) `(eqv? (car ,var) ',key))) (lets (make-lets (cadar clause) `(cdr ,var)))) (cons `(,pred? (let ,lets ,@(cddar clause))) (make-conds (cdr clause)))))))))) (if (record-macros:check-syntax clauses) `(let ((,var ,record-exp)) (cond ,@(make-conds clauses))) ;; this error call should never be processed since ;; check-syntax only returns #t or doesn't return at all (error 'record-case-macro "Unspecified error ~%Record-exp = ~p~%Clauses = ~p" record-exp clauses)))))) ;;; ;;; check-syntax analyses the syntax of the clauses of the record-case ;;; statement, e.g. is it a list of lists, are the cars of each list a ;;; symbol or set of symbols, are the second elements of each list also ;;; a set of symbols, etc. Also checks to see if the keys to all the ;;; clauses are unique. Returns #t if there are no syntax errors found, ;;; otherwise it calls the error procedure and doesn't return. ;;; (define (record-macros:check-syntax clauses) ;; clause? returns true if a single record-case ;; clause has the correct syntax, otherwise false (let ((clause? (lambda (c) (and (list? c) (not (null? c)) (or (symbol? (car c)) (record-macros:sos? (car c))) (if (eq? 'else (car c)) (not (null? (cdr c))) (and (> (length c) 2) (record-macros:sos? (cadr c)))))))) ;; check-clauses returns #t if there are no invalid clauses detected, ;; otherwise the error procedure is invoked and no value is returned (letrec ((check-clauses (lambda (clauses) (cond ((null? clauses) #t) ((not (clause? (car clauses))) (error 'record-macros:check-syntax "~%Incorrect syntax, clause invalid:~%~p" (car clauses))) ((and (eq? (caar clauses) 'else) (not (null? (cdr clauses)))) (error 'record-macros:check-syntax "~%Incorrect syntax, clauses after else:~%~p" clauses)) (else (check-clauses (cdr clauses)))))) ;; case-names returns a list containing all the key symbols ;; of all the clauses of the record-case (including else) (case-names (lambda (clauses) (cond ((null? clauses) '()) ((list? (caar clauses)) (append (caar clauses) (case-names (cdr clauses)))) (else (cons (caar clauses) (case-names (cdr clauses)))))))) (let ((keys (case-names clauses))) (if (record-macros:sos? keys) (check-clauses clauses) (error 'record-macros:check-syntax "~%Incorrect syntax, duplicate clause keys in~%~p" keys)))))) ;;; ;;; make-record-from-name taken from chez-init.scm - used by sllgen.scm ;;; (define (make-record-from-name name) (lambda args (cons name args))) From chaynes Wed May 27 00:21:52 1998 Return-Path: Received: from moose.cs.indiana.edu (root@moose.cs.indiana.edu [129.79.252.123]) by indra.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.18) with ESMTP id AAA22451 for ; Wed, 27 May 1998 00:21:52 -0500 (EST) Received: from datais.com (datais.com [209.90.128.247]) by moose.cs.indiana.edu (8.8.7/8.8.7/IUCS_2.18) with ESMTP id AAA18388 for ; Wed, 27 May 1998 00:21:50 -0500 (EST) Received: (from www@localhost) by datais.com (8.8.7/8.8.7) id BAA13415 for eopl-teachers@cs.indiana.edu; Wed, 27 May 1998 01:29:15 -0400 (EDT) (envelope-from www) Date: Wed, 27 May 1998 01:29:15 -0400 (EDT) Message-Id: <199805270529.BAA13415@datais.com> Subject: Advertising Solutions From: "Datacom Internet Solutions Corp." Greetings, Recently I have visited your web site. I believe that the following information may be of interest to you. I apologize if I sent this message to the wrong person; please note that you are not on a mailing list and will not be placed on one by us. Datacom Internet Solutions Corporation is an established banner advertising network, that pays web sites for advertising. I would like to invite you to join our web site network and make money with your web site. Datacom will pay you $0.10 every time someone clicks on a banner hosted on your web site. It is easy. Just place a small bit of HTML code on your site, and you can start making money today. Datacom screens the banners which are sent via our network. We will not display any banners containing pornography, any illegal or controversial material. All of our ads are 'G' rated and from trustworthy companies. Our banners are of standard size (468 X 60 pix.) and can be placed at the top or the bottom of your page. If you would like to set up an account on our network, please visit: http://www.datais.com and apply as a web site host. The site has everything you need to get started. Thanks again, RJ Pauloski III Datacom Internet Solutions Corporation http://www.datais.com From owner-eopl-teachers Tue Oct 5 09:52:36 1999 Return-Path: Received: from imo17.mx.aol.com (imo17.mx.aol.com [198.81.17.7]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.28) with ESMTP id JAA21864 for ; Tue, 5 Oct 1999 09:52:34 -0500 (EST) From: SJNASA@aol.com Received: from SJNASA@aol.com by imo17.mx.aol.com (mail_out_v22.4.) id hQUPa11143 (3968) for ; Tue, 5 Oct 1999 10:51:59 -0400 (EDT) Message-ID: Date: Tue, 5 Oct 1999 10:51:58 EDT Subject: question To: eopl-teachers@cs.indiana.edu MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Windows AOL sub 41 Hi , I have a question about scheme programming. I want a reverse order program. I made a scheme program following: (define rev (lambda (xs) (if (null? xs) '() (list (rev (cdr xs)) (car xs))))) but the result is not that I expect: > (rev '(a b c)) (((() c) b) a) > If I get the result that is (c b a), how to revise my program? Thanks for reading pls reply me. sjnasa@aol.com From eopl-teachers-request Sat Oct 9 16:20:51 1999 Return-Path: Received: from dfw-ix15.ix.netcom.com (dfw-ix15.ix.netcom.com [206.214.98.15]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.28) with ESMTP id QAA10156 for ; Sat, 9 Oct 1999 16:20:50 -0500 (EST) Received: (from smap@localhost) by dfw-ix15.ix.netcom.com (8.8.4/8.8.4) id QAA26778 for ; Sat, 9 Oct 1999 16:20:13 -0500 (CDT) Received: from aus-tx45-20.ix.netcom.com(207.93.33.20) by dfw-ix15.ix.netcom.com via smap (V1.3) id rma026734; Sat Oct 9 16:19:56 1999 From: Rajat Datta Reply-To: rajat@ix.netcom.com To: eopl-teachers@cs.indiana.edu Date: Sat, 9 Oct 1999 16:25:03 -0500 X-Mailer: KMail [version 1.0.28] Content-Type: text/plain MIME-Version: 1.0 Message-Id: <99100916265905.01315@goteborg.localdomain> Content-Transfer-Encoding: 8bit Hi! I'm working my way through EOPL, diligently doing all the exercises. I would like to know if in exercise 2.3.10 (page 62), if the global symbol table (containing the positional definitions for eq? and cons) should be built from scratch as we process the input expression, or if we can assume that it will be given as a parameter? In particular, if my routine for actually parsing all expressions is (define handle-expr (lambda (symbol-tables exp) ...)) then, can I define lexical-address as (define lexical-address (lambda (exp) (handle-expr '((eq? cons)) exp))) Obviously, this simplifies the problem quite a bit, especially given that we stay limited to the amount of Scheme actually presented in EOPL until that exercise. But, one can make the point that globals like eq?, cons, etc, will in fact, be known and not have to be built up as we encounter them in the expression being parsed (obviously previously undefined global variables are not known). Thanks for considering this question. -- rajat -- rajat From eopl-teachers-request Tue Oct 19 10:46:07 1999 Return-Path: Received: from amber.ccs.neu.edu (root@amber.ccs.neu.edu [129.10.116.51]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.28) with ESMTP id KAA03365 for ; Tue, 19 Oct 1999 10:46:07 -0500 (EST) Received: from delphi.ccs.neu.edu (wand@delphi.ccs.neu.edu [129.10.116.177]) by amber.ccs.neu.edu (8.9.1a/8.9.1) with ESMTP id LAA22697; Tue, 19 Oct 1999 11:46:02 -0400 (EDT) Received: (from wand@localhost) by delphi.ccs.neu.edu (8.9.1a/8.9.1) id LAA08864; Tue, 19 Oct 1999 11:46:01 -0400 (EDT) From: Mitchell Wand MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14348.37433.123816.539762@delphi.ccs.neu.edu> Date: Tue, 19 Oct 1999 11:46:01 -0400 (EDT) To: rajat@ix.netcom.com Cc: eopl-teachers@cs.indiana.edu Subject: Exercise 2.3.10 In-Reply-To: <99100916265905.01315@goteborg.localdomain> References: <99100916265905.01315@goteborg.localdomain> X-Mailer: VM 6.70 under Emacs 19.34.1 RD> Hi! I'm working my way through EOPL, diligently doing all the RD> exercises. I would like to know if in exercise 2.3.10 (page 62), RD> if the global symbol table (containing the positional definitions RD> for eq? and cons) should be built from scratch as we process the RD> input expression, or if we can assume that it will be given as a RD> parameter? RD> In particular, if my routine for actually parsing all expressions is RD> (define handle-expr (lambda (symbol-tables exp) ...)) RD> then, can I define lexical-address as RD> (define lexical-address (lambda (exp) RD> (handle-expr '((eq? cons)) exp))) RD> Obviously, this simplifies the problem quite a bit, especially RD> given that we stay limited to the amount of Scheme actually RD> presented in EOPL until that exercise. But, one can make the RD> point that globals like eq?, cons, etc, will in fact, be known and RD> not have to be built up as we encounter them in the expression RD> being parsed (obviously previously undefined global variables are RD> not known). RD> Thanks for considering this question. I believe the intent of the problem is that the table of globals should be built as we process the input expression. However, when I assign the problem, I tell my students simply to mark these variables as global, eg, (cons : global). --Mitch Wand From eopl-teachers-request Tue Oct 19 20:49:49 1999 Return-Path: Received: from smtp10.atl.mindspring.net (smtp10.atl.mindspring.net [207.69.200.246]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.28) with ESMTP id UAA28818 for ; Tue, 19 Oct 1999 20:49:48 -0500 (EST) Received: from goteborg.localdomain (aus-tx44-42.ix.netcom.com [207.221.76.170]) by smtp10.atl.mindspring.net (8.8.5/8.8.5) with SMTP id VAA19708; Tue, 19 Oct 1999 21:49:43 -0400 (EDT) From: Rajat Datta Reply-To: rajat@ix.netcom.com To: Mitchell Wand , rajat@ix.netcom.com Subject: Re: Exercise 2.3.10 Date: Tue, 19 Oct 1999 20:45:13 -0500 X-Mailer: KMail [version 1.0.28] Content-Type: text/plain Cc: eopl-teachers@cs.indiana.edu References: <99100916265905.01315@goteborg.localdomain> <14348.37433.123816.539762@delphi.ccs.neu.edu> In-Reply-To: <14348.37433.123816.539762@delphi.ccs.neu.edu> MIME-Version: 1.0 Message-Id: <99101920565901.01748@goteborg.localdomain> Content-Transfer-Encoding: 8bit On Tue, 19 Oct 1999, Mitchell Wand wrote: > RD> Hi! I'm working my way through EOPL, diligently doing all the > RD> exercises. I would like to know if in exercise 2.3.10 (page 62), > RD> if the global symbol table (containing the positional definitions > RD> for eq? and cons) should be built from scratch as we process the > RD> input expression, or if we can assume that it will be given as a > RD> parameter? > I believe the intent of the problem is that the table of globals > should be built as we process the input expression. However, when I > assign the problem, I tell my students simply to mark these variables > as global, eg, (cons : global). Given the amount of Scheme presented upto 2.3.10, how should the table of global symbols be implemented? The only solution I can come up with is that the parsing routine takes the input expression, the global symbol table, and the local symbol table (as computed so far), returns a two item list, the first of which is the already converted portion of the input expression, and the second of which is the global symbol table. The first is cons-ed with the result of parsing the rest of the expression, while the second is passed as argument to the parsing routine. -- rajat From eopl-teachers-request Mon Nov 8 11:54:54 1999 Return-Path: Received: from wrath.cs.utah.edu (wrath.cs.utah.edu [155.99.198.100]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.28) with ESMTP id LAA16171 for ; Mon, 8 Nov 1999 11:54:54 -0500 (EST) Received: from denali.cs.utah.edu (denali.cs.utah.edu [155.99.194.35]) by wrath.cs.utah.edu (8.8.8/8.8.8) with ESMTP id JAA29896 for ; Mon, 8 Nov 1999 09:54:53 -0700 (MST) Received: (from zachary@localhost) by denali.cs.utah.edu (8.8.8/8.8.8) id JAA09635; Mon, 8 Nov 1999 09:54:53 -0700 (MST) Date: Mon, 8 Nov 1999 09:54:53 -0700 (MST) Message-Id: <199911081654.JAA09635@denali.cs.utah.edu> From: Joseph L Zachary To: eopl-teachers@cs.indiana.edu Subject: Chapter 6 What is the earliest printing of the first edition of EOPL that incorporates the revised ch6.ps? Thanks. - Joe Zachary From eopl-teachers-request Sun Feb 13 03:58:25 2000 Return-Path: Received: from mailmachine333.compuserve.com (98AEAA1E.ipt.aol.com [152.174.170.30]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.28) with SMTP id DAA10542 for ; Sun, 13 Feb 2000 03:58:23 -0500 (EST) From: To: Date: Sun, 13 Feb 2000 00:21:58 Message-Id: <49.420289.251929@mailmachine333.compuserve.com> Subject: AD:Family Reunion T Shirts & More Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Message sent by: Kuppler Graphics, 32 West Main Street, Maple Shade, New Jersey, 08052, 1-800-810-4330. This list will NOT be sold. All addresses are automatically added to our remove list. Hello. My name is Bill from Kuppler Graphics. We do screenprinting on T Shirts, Sweatshirts, Jackets, Hats, Tote Bags and more! Do you or someone you know have a Family Reunion coming up? Kuppler Graphics would like to provide you with some great looking T Shirts for your Reunion. Kuppler Graphics can also provide you with custom T's and promotional items such as imprinted magnets, keychains, pens, mugs, hats, etc. for your business or any fundraising activity (church, school, business etc.) We also can provide you with quality embroidery. We are a family owned company with over 15 years of experience. All work is done at this location. No middle man. Our prices are great! Click reply to email us or call 1-800-810-4330 for more info Bill Kuppler Graphics From eopl-teachers-request Fri Apr 28 02:18:41 2000 Return-Path: Received: from callisto.gac.edu (IDENT:mail@callisto.gac.edu [138.236.128.19]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.29) with ESMTP id CAA29970 for ; Fri, 28 Apr 2000 02:18:40 -0500 (EST) Received: from solen.gac.edu (solen.gac.edu [138.236.128.18]) by callisto.gac.edu (8.10.0/8.10.0/1.0) with ESMTP id e3S7IVp26532 for ; Fri, 28 Apr 2000 02:18:32 -0500 Received: from max.mcs.gac.edu (IDENT:root@max.mcs.gac.edu [138.236.64.64]) by solen.gac.edu (8.9.3/8.9.3/GAC-HUB-2.43) with ESMTP id CAA00795 for ; Fri, 28 Apr 2000 02:18:32 -0500 (CDT) Received: (from max@localhost) by max.mcs.gac.edu (8.9.3/8.8.7/GAC-SPOKE-2.17) id CAA24452; Fri, 28 Apr 2000 02:18:29 -0500 Date: Fri, 28 Apr 2000 02:18:29 -0500 Message-Id: <200004280718.CAA24452@max.mcs.gac.edu> X-Authentication-Warning: max.mcs.gac.edu: max set sender to max@max.mcs.gac.edu using -f From: Max Hailperin To: eopl-teachers@cs.indiana.edu Subject: chap. 13 parser: follow-up I asked at the beginning of the week whether anyone could help me out with a parser that included chapter 13 (types) syntax. I wanted to report back to the list the result of that inquiry and offer my code up to anyone in the same situation. The only reply I got was from Mitch Wand, who very kindly sent me the current draft of the new second edition chapter on types (chapter 7, but it replaces the old 13), the appendix on parsing, and the accompanying code. He suggested I could use it either as is or cross-bred with the old. (Not his words.) I haven't spent a great deal of time with this new material, but already I am convinced it is superior to the old. However, I am also convinced that it would be too much of a rough transition for my students to switch them at this late date in the course. So while I look forward to using this new chapter in the new edition, I decided to stick with the old 13 for now. (However, I borrowed at least one good idea from the new chapter, described below.) I could still have used the new parser generator to generate a parser for the old chapter's syntax, but it looked like this really wasn't going to be any easier than doing it on the old parser infrastructure, once I factored in issues like needing to present my students with the old define-record format for ASTs. (Maybe this was just timidity on my part with regard to learning SLLGEN in the zero time I had.) So, I went ahead and made a little time and patched the chapter 13 syntax into the existing parser (1st edition appendices B-F). If anyone else could use this, it is available on the web at http://www.gac.edu/~max/courses/S2000/MCS-287/labs/lab4/chap13-parser-etc.ss The changes I made to the EOPL appendices are marked with comments, all of which contain the string "chapter 13". In addition to the syntax explicitly present in chapter 13 and some that is a bit implicit, I added a definerec syntax (one exercise asks the students to do this, but that wasn't appropriate in my course, since we don't cover parsing in this course) and a definetype form (see below). The definerec form is definerec end where the are expected to all have asserts of procs, as in letrec, though the parser doesn't enforce this. The definetype form is based on the new chapter 7's lettype, and is a way of defining an opaque type, protecting the abstraction barrier of an ADT representation. The concrete syntax is definetype = within end The should again all have expressions that are asserts of procs, though again the parser doesn't enforce this. I am betting that my students will find the definetype variant of this idea more to their taste than the lettype, though of course the lettype would be cleaner, nest-able, etc. It just seems that if the goal is to seal up an ADT implementation as a black box, having it be an independent form makes sense. Any readers familiar with the new chapter's lettype can probably deduce what semantics I have in mind for definetype, but in any case, you can look at the lab project handout that I wrote for my students, which is at http://www.gac.edu/~max/courses/S2000/MCS-287/labs/lab4/ That handout also includes examples of a finite function ADT (inspired by the one in the new chapter 7) written both with transparent (definetypeabbreviation) and opaque (definetype) types. The one perhaps somewhat pedagogically significant difference in my ff is that I provided an extra interface operation, isBoundInFf, which motivates using a representation for FFs that isn't quite so isomorphic to the abstract interface. I want to thank Mitch very much for having made the new materials available to me, and reiterate that the above stuff I threw together is just a stop-gap given where my students are currently at, having been raised on the 1st edition. When I can use the 2nd edition from the beginning, it will definitely be preferable to switch to the new types chapter. -max From eopl-teachers-request Sun Jul 16 14:11:10 2000 Return-Path: Received: from srv8.server4me.com ([216.55.176.8]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.29) with ESMTP id OAA18432 for ; Sun, 16 Jul 2000 14:11:07 -0500 (EST) From: andrew@aitecafrica.com Received: from srv8.server4me.com (localhost.server4me.com [127.0.0.1]) by srv8.server4me.com (8.9.3/8.9.3) with SMTP id LAA58175 for eopl-teachers@cs.indiana.edu; Sun, 16 Jul 2000 11:51:58 -0700 (PDT) (envelope-from andrew@aitecafrica.com) Date: Sun, 16 Jul 2000 11:51:58 -0700 (PDT) Message-Id: <200007161851.LAA58175@srv8.server4me.com> To: eopl-teachers@cs.indiana.edu Subject: AFRICA'S TOP IT CONFERENCE AT SUN CITY SOUTH AFRICA Content-Type: text/html; charset='iso-8859-1'Content-Transfer-Encoding: 7bit The African Computing & Telecommunication Summit
If you want to be removed from this mailing list please check below this page for details
A C T 2 0 0 0
The African Computing & Telecommunications Summit

Sun City, South Africa • 29 August - 1 September
"Making IT work for Africa"


• DEVELOPING IT expertise to enable Africa to compete effectively in the international marketplace.

• CONTRIBUTING towards Africa's drive for Internet connectivity, electronic commerce and web-based training.

• FACILITATING commercial links between suppliers and users of information technology.

• ENABLING the continent's computing and communications professionals to enhance their skills and knowledge of international trends and latest development.

OUTLINE PROGRAMME

29 August 2000
Shuttle Buses arrive from Johannesburg Airport

2pm onwards
Delegate Registration

Web Development Workshop Part I

Exhibition Opening


6pm - Summit Opening Ceremony - Sun City Amphitheatre


7pm - Beach Party - Valley of Waves

 

30 August 2000

9am - 6pm - Day One of Main Conference

7pm - Game Reserve Drive and Traditional Fireside Dinner

 

31 August 2000

9am - 6pm - Day Two of Main Conference

8pm - ACT Gala Dinner - Sun City Superbowl

 

1 September

9am - 1pm - Day Three of Main Conference

2pm onwards - Workshop Sessions

Coach services back to Johannesburg and airport


TRAVEL DETAILS

As the official Carrier for ACT, South African Airways is offering special fares for delegates.

Delegates wishing to book on SAA flights at these reduced rates or delegates requiring additional accommodation or other travel requirements before or following the Summit should contact the official ACT 2000 Travel Agency: Functions & Travel Inc, Johannesburg tel: +27-11-886 609 Fax: +27-11-787 8377. They have secured room options in a wide range of Johannesburg hotels.

 

A FREE shuttle coach service will operate from Johannesburg Airport to Sun City throughout the day on 29 August and return on the afternoon of 1 September, with stops in Johannesburg.


THE ACT 2000 EXHIBITION

The key annual marketing forum for Africa's IT suppliers, resellers and users. Exhibitors include:

• Alcatel
• American Tower Corporation
• BCS-Net
• Clearline
• Cyberknowledge
• Datacard
• Department of Communications, South Africa
• EDCO
• Genicom
• Glocall
• Hewlett-Packard
• Huawei Technologies
• IBM
• Lawson Software
• Marconi
• Molex
• NCC Education
• NCC Consulting
• Panamsat
• Pentacom
• Prada Technologies
• Siemens
• Siltek
• South African Certification Agency (SACA)
• Transtel
• TTI
• UUNET

 

Conference programme co-ordinators:

John Spencer, Projects Director, AITEC South Africa

Paul Booth, Consultant, South Africa


PROGRAMME

DAY 1 - Tuesday 29 August 2000

2pm onwards - Delegate registration, exhibition viewing, training workshops

6pm Opening Ceremony - Sun City Amphitheatre

The Hon Dr Ivy Matsepe-Casaburri, Minister of Communications, South Africa

Sean Moroney, Group Chairman, AITEC

7pm Group Photograph, followed by Beach Party, Valley of the Waves Sponsored by UUNET

 

DAY 2 - Wednesday 30 August 2000

PLENARY 1 - ECOMMERCE: TURNING THE HYPE INTO REALITY

Discussion Leader: Antonie Roux, CEO, M-Web, South Africa

 

• Lessons from South Africa's eCommerce Policy formulation process

Andile Ngcaba, Director-General, Department of Communications, South Africa

• The role of the Internet in worldwide economic development

Richard Lawson, CEO, Lawson Software, USA

• E-business: The new corporate agenda

Bill Weber, General Manager, Cisco South Africa

• Africa’s ecommerce revolution

Ayisi Makatiani, CEO, Africa Online, Kenya

 

TEA BREAK

 

STREAM 1: FORMULATING YOUR ORGANISATION'S eCOMMERCE STRATEGY - I

• Developing the right eBusiness strategy for your company

John Berry, Joint Managing Director, e.com institute, South Africa

• How to avoid losing money in the eCommerce craze

S. H. Ramakrishnan, MD, LanBit Technologies, United Arab Emirates

• Huxley's Books goes online: A case study in moving from retail to etail

Matthew White, MD of Huxley's Books and Editor, Telecommunications in Africa

• All aboard the e-procurement express!

Rob Monteith, Client Delivery Executive, E-solutions, EDS, South Africa

STREAM 2: PROFESSIONAL DEVELOPMENT

Discussion Leader: Paul Booth, Independent Consultant, South Africa

• Certification or lifelong learning?

Deon Botha, Managing Director, Ambassador Training, South Africa

• Women in IT: Breaking through the glass ceiling

Ann Richardson, International Business Development Manager, NCC Services, UK

• Professional education in IS: Essential or an outmoded irrelevance?

Geoff Blackwell, African Manager, Institute for the Management of Information Systems (IMIS), UK

LUNCH

 

PLENARY 2: THE TELECOMMUNICATIONS REVOLUTION - WHAT IT MEANS FOR YOUR ORGANISATION

Discussion Leader: Matthew White, Editor, Telecommunications in Africa, South Africa

• The impact of telecommunications liberalisation: Opportunities for MNCs

Ian Gordon-Cumming, General Manager, BT Southern Africa

• The impact and potential of wireless technology

Dave Reddy, Chairman and Managing Director, Motorola Southern Africa

• Monopoly, liberalisation, technology - Finding the right formula for Africa's telecommunications revolution

Barry McGuire, Director, MCIWorldCom Southern Africa

• Key regulatory trends for satellite services and systems: Opportunities for Africa

David Hartshorn, General-Secretary, Global VSAT Forum, UK

TEA BREAK

 

STREAM 1: TELECOMMUNICATIONS TECHNOLOGY

Discussion Leader: Roger Dawes, GM, Marketing, Strategy & Business Development, Alcatel Altech Telecoms, South Africa

 

• End-to-end telecommunications and IT solutions in Africa

Karel van der Lecq, System Consulting Manager, Integration Solutions & Services, Siemens Telecommunications, South Africa

• Voice over the Internet

Dr Tomas Vagoun, Director Product Development, American Tower Corporation (ATC), USA

• Internet conferencing solutions

Heinz Ettinger, Director MMEA Region, Logitech, Switzerland

• VSAT Networks: Narrow band to wide band - Leapfrogging Africa into the 21st Century

Andre du Toit, Manager International Business, Transtel, South Africa

 

STREAM 2: FORMULATING YOUR ORGANISATION'S e-COMMERCE STRATEGY - II

Discussion Leader: Kwami Ahiabenu II, Executive Director, AITEC Ghana

 

• Protection of information on the Internet and beyond - Ensuring that eCommerce survives (and thrives) in Africa

Tim Ellis, MD, South African Certification Agency

• eBusiness - A practical guide to enabling your organisation

Mark Gilfilan, MB Worksoft, South Africa

• ECommerce: Effective planning

Angus Peacey, Sales Director, Lucent South Africa

• E-service: Beyond e-commerce and e-business

Lenore Kerrigan, District Manager, Communication Industries Business Unit, Hewlett-Packard, South Africa

• How to achieve real value through e-business

Mike Fairon, E-business Executive, ICL Africa, South Africa

 

7pm Game Reserve Drive and Traditional Fireside Dinner

 

DAY 3 - THURSDAY 31 AUGUST 2000

 

PLENARY 3: eGOVERNANCE: REINFORCING DEMOCRACY & GOOD GOVERNMENT IN AFRICA

Discussion Leader:

 

• eGovernment: Tranforming government processes using the Internet and Internet related technologies

Vernon Hart, General Manager, IBM Africa

• Online government support for democracy

Steven Clift, Publicus, USA

• Government identification projects

Wim Tappij Gielen, MD, Datacard, UK

• How governments can gain without the pain

Jim Nowicki, Director, EDS, South Africa

TEA BREAK

 

STREAM 1: EGOVERNANCE IMPLEMENTATION

Discussion Leader:

 

• Enterprise information architecture in government

Donald Lim Fat, Consultant, Mauritius

• Towards and Information Society: Progress in South Africa

Dr Jonathan Miller, Miller, Esselaar & Associates, South Africa

• Implementation of the Nigerian national identification system

Professor Segun Olunloyo, MD, Tekcon Nigeria Ltd

• Lessons from developing South Africa's national ICT strategy

Neville Nicholas, Project Director, SAITIS Project & Partner, PricewaterhouseCoopers, Canada

STREAM 2: MOBILE TELEPHONY

Discussion Leader: Roger Dawes, GM, Marketing, Strategy & Business Development, Alcatel Altech Telecoms, South Africa

 

• The impact of XML and WAP on the future of e-business

Grant Thiselton, E-Business Manager, Software AG - SPL, South Africa

• Mobile Internet solutions

Greg Cress, System Consultant, Integration Solutions & Services, Siemens ICN, South Africa

• Towards the mobile information society

Jiri Batek, Country Manager, Nokia Networks, South Africa

• Mobile radio goes digital – The implications for Africa

Dr Angus Hay, Manager Technology, Transtel, South Africa

• Hyperphone solutions in an ecommerce environment

Thami Radebe, MD, M & S Technologies, South Africa

 

LUNCH

 

PLENARY 4: THE OPPORTUNITIES AND CHALLENGES OF NEW TECHNOLOGIES

Discussion Leader:

 

• Technology renaissance - The future of Africa

Richard Fearon, Director - Business Development, Venture Computer, South Africa

• The role of new technology in Africa's economic development

Pedro Viudez, Partner, and John Croswell, Arthur Andersen, South Africa

• The evolution of the Internet: The lessons for Africa

Pat Chapman-Pincher, Senior Vice-President EMEA, UUNET, UK


TEA BREAK

 

STREAM 1: CUSTOMER RELATIONS MANAGEMENT

Discussion Leader: Vincent Waiswa Bagiira, General Manager, AITEC Uganda

 

• Online customer communications (eCRM)

John Berry, Joint Managing Director, e.com institute, South Africa

• Electronic Relationship Management (eRM): Bridging the gap between selling and service

Greg Reis, MD, Business Systems Group, South Africa

• The retail digital exchange: Bringing all your systems and suppliers together under one roof

Robert Toatley, Vice-President, Retail Business Unit, Lawson Software, USA

• CRM – An act of faith or a measurable investment?

Mike Ettling, Client Executive, Business Process Management, EDS Europe & Africa

• CRM: A holistic approach

Bill Hoggarth, Sales Director, Softworx, South Africa

STREAM 2: INTERNET DEVELOPMENT ISSUES

Discussion Leader:

• Building and maintaining an ISP in Africa

Gary Cousins, Business Development Manager, Integration Solutions & Services, Siemens ICN, South Africa

• Maximising the positive impact of the Internet on Africa's youth

Ashiek Manie, Deputy MD, Intekom, South Africa

• Wireless technologies for LAN/WAN Internet access

Mike Jensen, Internet Consultant, South Africa

• Africa and the Internet: Getting beyond the first generation - content, users and access

Russell Southwood, Balancing Act, UK

8pm Gala Dinner - Sun City Superbowl

SPONSORED BY IBM

 

DAY 4 - Friday 1 September

 

PLENARY 5: ENTERPRISE MANAGEMENT SYSTEMS

Discussion Leader:

 

• The impact of the Internet on business processes

Mohamed Madhi, CEO, CyberKnowledge Systems, South Africa

• The networking nervous system: Enterprise services and customer services

Peter Davies, General Manager, AT&T Global Network Services, South Africa

• Taking control of your IT system: Developing proactive rather than reactive skills

David Cannon, Chairman, IT Service Management Forum, South Africa

• Turning information management into an exact science

Russell Swanborough, Chairman, Atio Consulting Group, South Africa & Executive Director, Absolute Information, UK

 

TEA BREAK

 

STREAM 1: IMPLEMENTING ENTERPRISE MANAGEMENT SYSTEMS

Discussion Leader:

 

• Operational Resource Management - The sweet spot of ecommerce

Paddy Gray, Marketing Director, ECNet, PQ Africa, South Africa

• Integrating the supply chain

Callum Russell, Business Marketing Manager, Microsoft South Africa

• The Internet as a business tool - to communicate and to redefine your business processes

Neil Williams, Manager, Business Intelligence, SAP

• Linux: A new OS for a new era

Paul Kotschy, Chairman, Linux Professional Association of South Africa and MD, Seven C, South Africa

LUNCH

 

FRIDAY AFTERNOON: Workshops continue; coaches leave for Johannesburg and Airport



SPECIAL EVENTS AND WORKSHOPS AT ACT 2000

 

FORUM 1: A REGIONAL IT STRATEGY FOR AFRICA: THE AFRICAN DEVELOPMENT FORUM PROCESS

*  Report-back on the work done since last year's African Development Forum

*  Recommendations being prepared for the Heads of State Summit on ICT in September

*  Feedback from the ACT Summit on this programme

Held under the auspices of the Economic Commission for Africa

Presenter: Kate Wild, Economic Commission for Africa

 

FORUM 2: TOWARDS THE RIGHT REGULATORY ENVIRONMENT FOR AFRICA'S TELCOMMUNICATIONS REVOLUTION

A special forum for Africa's telecommunications regulators and users hosted by AITEC in association with the Economic Commission for Africa and the South African Department of Communications to share knowledge, develop a common best practice code and lay the groundwork for future co-operation and communication across the continent.

Lead speaker: The Head of South Africa's new regulator, the Independent Communications Authority of South Africa (ICASA)

 

Convergence regulation: Satellite, terrestrial and everything in between

David Hartshorn, Secretary General, Global VSAT Forum, UK

 

FORUM 3: MANAGING SPACE SEGMENTS OVER AFRICA

An opportunity for operators, service providers and users of bandwidth in Africa to exchange views on the future development of satellite services in the continent.

Speakers include Lare Atcha-Oubou, Director, Africa, Intelsat, USA

 

WORKSHOP 1:

Effective management of a well connected business: Web, security, service level, automation, message systems - And keeping it going without it falling over or needing to invest in still more expensive equipment

Frank Appun, MD, Sourcetech, South Africa

 

WORKSHOP 2:

Security in eCommerce I: Creating an environment of trust, with support from the legal profession

Tim Ellis, MD, South African Certification Agency, Trevor Coppen, MD, Lawyers Access Web (L@W), South Africa & Grant Christianson, Legal Representative, South African Certification Agency

 

WORKSHOP 3:

Security in eCommerce II: Setting security standards in Africa - The SET Protocol

Gerda Venter, Marketing Executive, South African Certification Agency

 

WORKSHOP 4:

Security in eCommerce III: Secure wireless eCommerce with Public Key Infrastructure (PKI) and Wireless Access Protocol (WAP)

Maeson Maherry, Professional Services Division, South African Certification Agency

 

WORKSHOP 5:

Virtual Reality - An opportunity for education in Africa

David Lockwood, Virtual Reality Solutions Centre, Council for Scientific & Industrial Research, South Africa

 

WORKSHOP 6:

Implementing Linux solutions for your company

Hosted by the Linux Professional Association of South Africa

 

TRAINING WORKSHOP 1

Web site design and creation

Site planning; site mapping; web coding/languages; graphics; building your site; FTP

A detailed workshop running over three afternoons of the Summit, aimed at providing delegates with the basic knowledge they need to launch their own web sites.

(Limited spaces; extra booking fee.)

Co-ordinated by The Southern African Nongovernmental Organisation Network (SANGONet), who have extensive experience of providing Internet training in Africa

 

TRAINING WORKSHOP 2

Advanced Web Training

Marketing your web site; taking advantage of Internet interactive features; increasing sales through your web site.

(Limited spaces; extra booking fee.)

A detailed workshop on optimising the returns from your web site, co-ordinated by SANGONet

 

VSAT WORKSHOP: Satellite-Based Broadband & Internet in Africa: An Introduction

Hosted by the Global VSAT Forum, this workshop will provide participants with detailed knowledge of VSAT technology and how it can be implemented in their organisations.

From South African rural telecentres, to Nigerian offshore oil rigs, to Tanzanian Internet service provision, to Botswanan corporate networks, VSAT-based systems are delivering mission-critical services throughout the African continent, providing cost-effective solutions where they are most needed - today.

Attend this one-day Global VSAT Forum seminar to hear the latest on how, when, where and why VSAT-based services are being used by public- and private-sector organisations. More than a million one- and two-way VSATs are being used throughout the world. Explore the wide range of applications being served and understand why VSATs are often the most cost-effective communications solution.

 

ANNUAL MEETING OF THE TRUSTEES OF THE AFRICAN IT EDUCATION TRUST

The African IT Education Trust was launched at ACT 1999. Its Head Patron is Graca Machel and its Trustees are from a range of African countries, as well as Europe. AITEC acts as Secretariat of the Trusts. At their annual meeting, Trustees will be reviewing the Trust’s activities and future direction.

ACT 2000
Delegate Registration Form

DELEGATE DETAILS


Delegate Name: ______________________________________________________________

Position / Title:_______________________________________________________________


Organisation: ________________________________________________________________

Postal Address: ______________________________________________________________


Physical Address: ____________________________________________________________


Phone: ________________________________

Fax: __________________________________

E-mail:  _______________________________

• Please register the above as a delegate/delegates to the 2000 African Computing & Telecommunications Summit at a delegate registration fee of $560 / R3,500. The fee includes all meals, tea breaks, the ACT 2000 Gala Dinner and all documentation.) Team discounts: 2 delegates 10%; 3 delegates 15%; 4 or more delegates 20%.


• Please register the following delegate/s for the Web Site Design Training Workshop at $180/R1,200 per delegate:


• Please register the following delegate/s for the Advanced Web Training Workshop @ $60/R400 per delegate:          

           

He / She / They require the following hotel accommodation as indicated below:

ACCOMMODATION


1. CASCADES HOTEL (price for 3 nights)           

- Single @$330/R2,000 per person        

- Twin @ $220/R1,370 per person 

 

2. CABANAS (price for 3 nights)

- Single @$250/R1,600 per person

- Twin @$150/R940 per person

Prices are for the three nights of 29, 30 and 31 August 2000. Delegates wanting extra nights should contact the official travel agent.

 


Total cost:_____________________________ (South African delegates: VAT must be added to the above prices.)


PAYMENT

- Payment of my fee and accommodation costs is enclosed (Dollar, Sterling or Rand cheque or banker's draft made out to AITEC.)

- Please invoice the above organisation      


- Please charge my credit card:


Ž Visa  Ž Mastercard

Card number:___________________________________

Expiry Date: ____________________________________

 

Card holder's name:_______________________________

Signature:_______________________________________

An electronic version of this registration form is available on the AITEC web site: www.aitecafrica.com

 

Four easy ways to register:

1. Via the Web: www.aitecafrica.com    

2. E-mail: ACT2000@aitecafrica.com

3. Fax: +44-(0)1480-831131 OR +27-11-789 5312

4. Post in the UK:
ACT Registration, AITEC
15 High St, Graveley
Cambridgeshire PE18 9PL, UK

or post in South Africa:
P O Box 398, Fontainebleau
2032, South Africa.


NOTE: Only delegates to the main conference can register for Training Workshops. Spaces will be limited to 50 for each and allocated on a first-come first-served basis.


Conditions of Registration

All delegate fees and accommodation charges must be paid in full before the Summit. There will be a 20% administration charge on delegate registration and accommodation cancellations received before 30 July 2000. There will be no refund on cancellations received after 30 July 2000.



Type in your email address and click the unsubscribe button to remove your email address from our database.

 

 

 

From eopl-teachers-request Thu Oct 26 09:35:15 2000 Return-Path: Received: from hotmail.com (f51.law10.hotmail.com [64.4.15.51]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.29) with ESMTP id JAA10127 for ; Thu, 26 Oct 2000 09:35:15 -0500 (EST) Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Thu, 26 Oct 2000 07:34:44 -0700 Received: from 138.37.94.114 by lw10fd.law10.hotmail.msn.com with HTTP; Thu, 26 Oct 2000 14:34:44 GMT X-Originating-IP: [138.37.94.114] From: "mick louca" To: eopl-teachers@cs.indiana.edu Subject: Exercise 5.5.9 Date: Thu, 26 Oct 2000 14:34:44 GMT Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 26 Oct 2000 14:34:44.0616 (UTC) FILETIME=[E2355880:01C03F59] To whom it may concern I am currently undergoing a distance learning course in the United Kingdom. As part of my course I am doing a Compilers & Interpreters course, using the book "Essentials of Programming Languages". I am attempting to complete Exercise 5.5.9 from the book "Essentials of Programming Languages" and am wondering if you could provide me with some assistance or at least put me in contact with some one who could. As I am finding this particular exercise very challenging, if not impossible to complete. I am in a situation where I do not really have a lecturer or tutor to give adequate assistance in completing this question. I would be very grateful for any assistance you are able to give. Yours Faithfully Mick Louca _________________________________________________________________________ Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com. Share information about yourself, create your own public profile at http://profiles.msn.com. From eopl-teachers-request Thu Apr 5 00:59:19 2001 Return-Path: Received: from lebanon.valley.net (IDENT:root@lebanon.valley.net [198.115.160.16]) by moose.cs.indiana.edu (8.9.3/8.9.3/IUCS_2.31) with ESMTP id AAA29965 for ; Thu, 5 Apr 2001 00:59:19 -0500 (EST) Received: from hanover.VALLEY.NET (hanover.valley.net [198.115.160.10]) by lebanon.valley.net (Pro-8.9.3/Pro-8.9.3) with ESMTP id BAA25325; Thu, 5 Apr 2001 01:50:57 -0400 Received: by hanover.VALLEY.NET (blitz.valley.net) via SMTP from v8-p-130.valley.net [198.115.164.130] id <6601070> 05 Apr 2001 01:59:17 EDT Message-ID: <000a01c0bd95$787cde80$82a473c6@pavilion> From: "Marta Vasquez" To: eopl-teachers@cs.indiana.edu Cc: dfried@indiana.edu, "Marta Vasquez" Subject: EOPL book Date: Thu, 5 Apr 2001 01:58:38 -0400 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0007_01C0BD73.EE77EF20" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 This is a multi-part message in MIME format. ------=_NextPart_000_0007_01C0BD73.EE77EF20 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi, I am new to scheme and I have been learning this language using books. = I've recently bought the EOPL second edition and I am on Data Abstraction. = I've downloaded the *.scm files for this book and tried to follow the = "define-datatype" procedure. "DrScheme" complains about not finding define-syntax: : reference to undefined identifier: define-syntax >=20 I have been unable to find it in any *.scm file. Am I doing something wrong? Could you please advice on this problem. Thanks Sergio Vasquez =20 ------=_NextPart_000_0007_01C0BD73.EE77EF20 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Hi,
 
 I am new to scheme and I have = been learning=20 this language using books. I've
recently bought the EOPL second edition = and I=20 am  on Data Abstraction. I've
downloaded the *.scm files for this = book and tried=20 to follow the "define-datatype"
procedure. "DrScheme" complains about = not finding=20 define-syntax:
 
 : reference to undefined = identifier:=20 define-syntax
>
I have been unable to find it in any = *.scm=20 file.
Am I doing something wrong? Could you = please advice=20 on this problem.
 
Thanks
 
 Sergio Vasquez
 
------=_NextPart_000_0007_01C0BD73.EE77EF20-- From eopl-teachers-request Sun Jun 17 22:08:50 2001 Return-Path: Received: from harrier.mail.pas.earthlink.net (harrier.mail.pas.earthlink.net [207.217.121.12]) by moose.cs.indiana.edu (8.11.4/8.11.4/IUCS_2.32) with ESMTP id f5I38no06959 for ; Sun, 17 Jun 2001 22:08:49 -0500 (EST) Received: from oemcomputer (1Cust72.tnt3.ladue.mo.da.uu.net [63.42.245.72]) by harrier.mail.pas.earthlink.net (EL-8_9_3_3/8.9.3) with SMTP id UAA00424 for ; Sun, 17 Jun 2001 20:08:48 -0700 (PDT) Message-ID: <000a01c0f7a4$520aa360$48f52a3f@oemcomputer> Reply-To: "Theresa" From: