Merge branch 'fix-cover'

.travis.yml

@@ -26,6 +26,7 @@ env:
     # The `debug` package used just for the tests does not work on 6.1 and 6.1.1
     #- RACKET_VERSION=6.1
     #- RACKET_VERSION=6.1.1
+    # in v6.2, error "#%module-begin: cannot use identifier tainted by macro transformation" on files which use #lang repltest typed/racket
     - RACKET_VERSION=6.2
     - RACKET_VERSION=6.3
     - RACKET_VERSION=6.4

lang/reader.rkt

@@ -49,26 +49,22 @@
     (reader chr (narrow-until-prompt in) src line col pos))
   
   (define/with-syntax (mod nam lang (modbeg . body))
-    (eval-syntax (replace-top-loc #'(expand #'orig-mod)
+    (eval-syntax (syntax/loc #'orig-mod (expand #'orig-mod))
-                                    (syntax-source #'here)
-                                    #'orig-mod)
                    (variable-reference->namespace (#%variable-reference)))
     #;(parameterize ([current-namespace (variable-reference->namespace
                                        (#%variable-reference))])
       (expand #'orig-mod)))
   
   ;; quasisyntax/loc Necessary so that the generated code has the correct srcloc
-  (replace-top-loc
+  (quasisyntax/loc #'mod
-   #`(mod nam lang
+    (mod nam lang
          (modbeg
           (module* test racket/base
             (require repltest/private/run-interactions)
             ;; TODO: set-port-next-location! for (open-input-string …)
             (run-interactions (open-input-string #,(port->string in))
                               (#%variable-reference)))
-           . body))
+          . body))))
-   (syntax-source #'here)
-   #'mod))
 
 (define-values (repltest-read repltest-read-syntax repltest-get-info)
   (make-meta-reader