EOPL2 -> EOPL3 conversion

[Kurt Krebsbach]

Hi,

 

I have been using EOPL2 for a programming languages course for the past 12 years

and absolutely love the functional, interpreter-building approach.

 

So far, it has worked pretty well to use the legacy "Pretty Big" language for teaching

Scheme and the first 2 chapters of EOPL2; however,  starting with define-datatype

and the building of the interpreters, Racket is not really set up to be completely compatible.

I'm fine using Racket 5.3.6 and teaching from the EOPL3 codebase, but I cannot seem

to find exactly what I need to do to easily enter Racket 5.3.6 and load the right stuff to

incrementally build the EOPL3 interpreter. I just realized today that I need to (require eopl/eopl),

but then is it a matter of loading individiual .scm files from EOPL3 or a racket module,

or another require or what?

 

Specific advice on getting the interpreter working, or more general advice on how to

more seamlessly migrate from EOPL2 to EOPL3 code (but only for the first 3 chapters)

would be very much appreciated.

 

Thanks,

Kurt

[Mitchell Wand]

Hi Kurt,

Happy to hear that you've been using eopl successfully.

The eopl3 codebase is on github as https://github.com/mwand/eopl3 .  There are two outstanding pull requests which, when merged, should enable you to run that code in 5.3.6, but I haven't had a chance to test them. 

Feel free to merge them and let me know if that does the job for you.

--Mitch

--
You received this message because you are subscribed to the Google Groups "EOPL3" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eopl3+un...@googlegroups.com.
To post to this group, send email to eo...@googlegroups.com.
Visit this group at http://groups.google.com/group/eopl3.
For more options, visit https://groups.google.com/groups/opt_out.

[Mitchell Wand]

Dear Kurt and others,

I believe that the most recent commit on github [b6cc63d3cf] runs in 5.3.6 out of the box. (Try running test-all.rkt).  The one exception is chapter5/letrec-lang .  Hopefully we'll get that ported to 5.3.6 very soon.

--Mitchell

On Tue, Oct 22, 2013 at 6:26 PM, Kurt Krebsbach <kurt.kr...@gmail.com> wrote:

--