Repair Racket schema reader

2021-06-01 16:53:21 +02:00 · 2021-06-01 16:53:21 +02:00 · 7683a64a5b
parent 498c63ef67
commit 7683a64a5b
1 changed files with 4 additions and 1 deletions
--- 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)))))