|
|
@ -4,27 +4,31 @@
|
|
|
|
(define-syntax (eval-as-untyped stx)
|
|
|
|
(define-syntax (eval-as-untyped stx)
|
|
|
|
(syntax-case stx ()
|
|
|
|
(syntax-case stx ()
|
|
|
|
[(_ exprs ...)
|
|
|
|
[(_ exprs ...)
|
|
|
|
(with-syntax ([sym (generate-temporary)]
|
|
|
|
(let ([sym (generate-temporary)]
|
|
|
|
[sym2 (generate-temporary)])
|
|
|
|
[sym2 (generate-temporary)])
|
|
|
|
#'(begin
|
|
|
|
(datum->syntax
|
|
|
|
(module sym racket
|
|
|
|
stx
|
|
|
|
(require rackunit "../main.rkt" net/url)
|
|
|
|
`(begin
|
|
|
|
exprs ...)
|
|
|
|
(module ,sym racket
|
|
|
|
(require 'sym)
|
|
|
|
(require rackunit "../main.rkt" net/url)
|
|
|
|
(module sym2 racket
|
|
|
|
,@(syntax->datum #'(exprs ...)))
|
|
|
|
(require rackunit (submod "../main.rkt" safe) net/url)
|
|
|
|
(require ',sym)
|
|
|
|
exprs ...)
|
|
|
|
(module ,sym2 racket
|
|
|
|
(require 'sym2)))]))
|
|
|
|
(require rackunit (submod "../main.rkt" safe) net/url)
|
|
|
|
|
|
|
|
,@(syntax->datum #'(exprs ...)))
|
|
|
|
|
|
|
|
(require ',sym2))))]))
|
|
|
|
|
|
|
|
|
|
|
|
(define-syntax (eval-as-typed stx)
|
|
|
|
(define-syntax (eval-as-typed stx)
|
|
|
|
(syntax-case stx ()
|
|
|
|
(syntax-case stx ()
|
|
|
|
[(_ exprs ...)
|
|
|
|
[(_ exprs ...)
|
|
|
|
(with-syntax ([sym (generate-temporary)])
|
|
|
|
(let ([sym (syntax-e (generate-temporary))])
|
|
|
|
#'(begin
|
|
|
|
(datum->syntax stx
|
|
|
|
(module sym typed/racket
|
|
|
|
`(begin
|
|
|
|
(require typed/rackunit "../../typed/sugar.rkt" typed/net/url)
|
|
|
|
(module ,sym typed/racket
|
|
|
|
exprs ...)
|
|
|
|
(require typed/rackunit "../../typed/sugar.rkt" typed/net/url)
|
|
|
|
(require 'sym)))]))
|
|
|
|
,@(syntax->datum #'(exprs ...)))
|
|
|
|
|
|
|
|
(require ',sym))
|
|
|
|
|
|
|
|
stx))]))
|
|
|
|
|
|
|
|
|
|
|
|
(define-syntax-rule (eval-as-typed-and-untyped exprs ...)
|
|
|
|
(define-syntax-rule (eval-as-typed-and-untyped exprs ...)
|
|
|
|
(begin
|
|
|
|
(begin
|
|
|
|