www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 72142d5374f2268ab2633b5a4077719a6b3352b9
parent 7e1f74afcea2d397c902eb2136abe8f72db9b243
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Sun,  1 Jan 2017 21:49:51 +0100

Included patched version of https://github.com/AlexKnauth/hygienic-reader-extension/blob/master/hygienic-reader-extension/extend-reader.rkt

Diffstat:
Maful/reader.rkt | 1+
Aaful/unhygienic/hygienic-reader-extension--extend-reader--unhygienic.rkt | 28++++++++++++++++++++++++++++
2 files changed, 29 insertions(+), 0 deletions(-)

diff --git a/aful/reader.rkt b/aful/reader.rkt @@ -21,6 +21,7 @@ hygienic-reader-extension/extend-reader "scribble-enhanced.rkt" phc-toolkit/stx + "unhygienic/hygienic-reader-extension--extend-reader--unhygienic.rkt" (for-meta -10 racket/base) (for-meta -9 racket/base) (for-meta -8 racket/base) diff --git a/aful/unhygienic/hygienic-reader-extension--extend-reader--unhygienic.rkt b/aful/unhygienic/hygienic-reader-extension--extend-reader--unhygienic.rkt @@ -0,0 +1,27 @@ +#lang racket + +;; Copied and adjusted from +;; https://github.com/AlexKnauth/hygienic-reader-extension +;; /blob/master/hygienic-reader-extension/extend-reader.rkt + +(provide extend-reader-unhygienic) + +;; extend-reader : (-> (-> A ... Any) +;; (-> Readtable #:outer-scope (-> Syntax Syntax) Readtable) +;; (-> A ... Any)) +(define (extend-reader-unhygienic proc extend-readtable #:hygiene? [hygiene? #t]) + (lambda args + (define orig-readtable (current-readtable)) + (define outer-scope (make-syntax-introducer/use-site)) + (parameterize ([current-readtable (extend-readtable orig-readtable #:outer-scope outer-scope)]) + (define stx (apply proc args)) + (if (and (syntax? stx) hygiene?) + (outer-scope stx) + stx)))) + +;; make-syntax-introducer/use-site : (-> (-> Syntax Syntax)) +(define (make-syntax-introducer/use-site) + (cond [(procedure-arity-includes? make-syntax-introducer 1) + (make-syntax-introducer #t)] + [else + (make-syntax-introducer)])) +\ No newline at end of file