From e57fe62a4876940c12f881a793416562ac5ee86a Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 20 Aug 2019 22:30:30 +0100 Subject: [PATCH] peel-annotations --- implementations/racket/preserves/main.rkt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/implementations/racket/preserves/main.rkt b/implementations/racket/preserves/main.rkt index 045fa9c..784620a 100644 --- a/implementations/racket/preserves/main.rkt +++ b/implementations/racket/preserves/main.rkt @@ -5,6 +5,7 @@ (struct-out record) (struct-out annotated) strip-annotations + peel-annotations read-preserve read-preserve-syntax string->preserve @@ -71,6 +72,9 @@ [_ item])] [_ v])))) +(define (peel-annotations v) + (strip-annotations v #:depth 1)) + (define current-value->placeholder (make-parameter (lambda (v) #f))) (define current-placeholder->value (make-parameter (lambda (v) (void)))) @@ -948,6 +952,6 @@ (write-preserve t #:indent #f) (newline) (newline) - (pretty-print (list (strip-annotations t-name) - (strip-annotations t #:depth 1))))) + (pretty-print (list (peel-annotations t-name) + (peel-annotations t))))) )