From 7c7232ac32e7d17b116dd9f19ddb014c6fd6fa01 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 8 Jan 2020 18:56:11 -0800 Subject: [PATCH] inside --- quad/quad/reader.rkt | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/quad/quad/reader.rkt b/quad/quad/reader.rkt index 156be9ea..311e165b 100644 --- a/quad/quad/reader.rkt +++ b/quad/quad/reader.rkt @@ -1,4 +1,4 @@ -#lang racket/base +#lang debug racket/base (provide (rename-out [quad-lang-read read] [quad-lang-read-syntax read-syntax] @@ -9,11 +9,15 @@ #:info qgi:get-info #:read my-read #:read-syntax my-read-syntax + #:whole-body-readers? #true (require (prefix-in qgi: quad/get-info) (prefix-in at: scribble/reader)) (define (my-read ip) (syntax->datum (my-read-syntax ip))) (define (my-read-syntax src ip) - (parameterize ([current-readtable (at:make-at-readtable #:command-char #\◊)]) - (read-syntax src ip)))) + (define reader (at:make-at-reader + #:command-char #\◊ + #:syntax? #t + #:inside? #t)) + (reader src ip))) (require debug/reader (prefix-in qr-mod: 'quad-reader))