EOPL mzscheme => racket; closes PR10478.

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
 

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

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"))