From 49064bc8029ae5d7258bc9b44d2b34ed91d5f9c5 Mon Sep 17 00:00:00 2001
From: David Van Horn <dvanhorn@ccs.neu.edu>
Date: Mon, 20 Feb 2012 21:16:20 -0500
Subject: [PATCH] EOPL mzscheme => racket; closes PR10478.

---
 collects/eopl/eopl.rkt   | 24 +++++++++++++-----------
 collects/eopl/eopl.scrbl |  4 ++--
 collects/eopl/main.rkt   |  4 ++--
 3 files changed, 17 insertions(+), 15 deletions(-)

diff --git a/collects/eopl/eopl.rkt b/collects/eopl/eopl.rkt
index 86da1df8d2..c3b946ac63 100644
--- a/collects/eopl/eopl.rkt
+++ b/collects/eopl/eopl.rkt
@@ -1,10 +1,10 @@
-#lang mzscheme
+#lang racket
 
 (require "datatype.rkt"
          "private/sllgen.rkt"
          mzlib/trace
          mzlib/pretty)
-(require-for-syntax "private/slldef.rkt")
+(require (for-syntax "private/slldef.rkt"))
 
 (provide define-datatype
          cases)
@@ -23,15 +23,15 @@
     [(_ . rest)
      (syntax/loc stx (define . rest))]))
 
-(provide (rename eopl-define define))
+(provide (rename-out [eopl-define define]))
 
-(provide (all-from "private/sllgen.rkt"))
+(provide (all-from-out "private/sllgen.rkt"))
 
-(provide (rename error eopl:error)
-         (rename printf eopl:printf)
-         (rename pretty-print eopl:pretty-print)
-         (rename eopl:call-with-current-continuation
-                 call-with-current-continuation))
+(provide (rename-out [error eopl:error]
+                     [printf eopl:printf]
+                     [pretty-print eopl:pretty-print]
+                     [eopl:call-with-current-continuation
+                      call-with-current-continuation]))
 
 ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
@@ -146,14 +146,16 @@
          parameterize
          print-struct)
 
+(require mzlib/transcr)
+
 (provide unquote unquote-splicing
          quote quasiquote if
          lambda letrec define-syntax delay let let* let-syntax letrec-syntax
          and or cond case do
          begin set!
-         ;; => else  ;  not bound in `mzscheme'
+         => else
 
-         (rename #%plain-module-begin #%module-begin)
+         (rename-out [#%plain-module-begin #%module-begin])
          #%app #%datum #%top #%top-interaction
          #%require #%provide #%expression
 
diff --git a/collects/eopl/eopl.scrbl b/collects/eopl/eopl.scrbl
index a7cf9710d7..6d69ed467d 100644
--- a/collects/eopl/eopl.scrbl
+++ b/collects/eopl/eopl.scrbl
@@ -37,14 +37,14 @@
 
 The @italic{Essentials of Programming Languages} language in DrRacket
 provides a subset of functions and syntactic forms of
-@racketmodname[mzscheme]---mostly the ones that correspond to
+@racketmodname[racket]---mostly the ones that correspond to
 @racket[r5rs] forms. See below for a complete list. The
 language is intended for use with the textbook @cite["EoPL"].
 
 @defmodulelang[eopl #:use-sources (eopl/eopl)]
 
 The following bindings are re-@racket[provide]d from
-@racketmodname[mzscheme]:
+@racketmodname[racket]:
 
 @reprovide[
            make-parameter
diff --git a/collects/eopl/main.rkt b/collects/eopl/main.rkt
index eaac8af3fc..b72d652268 100644
--- a/collects/eopl/main.rkt
+++ b/collects/eopl/main.rkt
@@ -1,4 +1,4 @@
-#lang scheme/base
+#lang racket/base
 
 (require "eopl.rkt") ; provides `provide'
-(provide (all-from "eopl.rkt"))
+(provide (all-from-out "eopl.rkt"))