From 7683a64a5bce26f1d2006d85644cf2d55b3041f8 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 1 Jun 2021 16:53:21 +0200 Subject: [PATCH] Repair Racket schema reader --- implementations/racket/preserves/preserves-schema/reader.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/implementations/racket/preserves/preserves-schema/reader.rkt b/implementations/racket/preserves/preserves-schema/reader.rkt index a77f11f..7eb6653 100644 --- a/implementations/racket/preserves/preserves-schema/reader.rkt +++ b/implementations/racket/preserves/preserves-schema/reader.rkt @@ -200,7 +200,10 @@ (findf symbol? (map peel-annotations (annotations input)))) (define (port->schema src [p (current-input-port)]) - (parse-schema-dsl (port->preserves p #:read-syntax? #t #:source src) + (parse-schema-dsl (port->preserves p + #:decode-embedded values + #:read-syntax? #t + #:source src) #:source src #:read-include (and src (lambda (src) (file->preserves src #:read-syntax? #t)))))