From f12343e723460609d754a19dcd7a656a6d160470 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 10 Jun 2021 10:01:04 +0200 Subject: [PATCH] Add missing *->preserve coercions during unparsing --- .../racket/preserves/preserves-schema/unparser.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/implementations/racket/preserves/preserves-schema/unparser.rkt b/implementations/racket/preserves/preserves-schema/unparser.rkt index 6d66ffc..6f01207 100644 --- a/implementations/racket/preserves/preserves-schema/unparser.rkt +++ b/implementations/racket/preserves/preserves-schema/unparser.rkt @@ -13,10 +13,10 @@ (define (pattern->unparser pattern src-stx) (match (unwrap pattern) [(NamedSimplePattern_ n p) (pattern->unparser p (escape n))] - [(SimplePattern-any) src-stx] - [(SimplePattern-atom (AtomKind-Float)) `(->float ,src-stx)] - [(SimplePattern-atom (AtomKind-Double)) `(exact->inexact ,src-stx)] - [(SimplePattern-atom _) src-stx] + [(SimplePattern-any) `(*->preserve ,src-stx)] + [(SimplePattern-atom (AtomKind-Float)) `(->float (*->preserve ,src-stx))] + [(SimplePattern-atom (AtomKind-Double)) `(exact->inexact (*->preserve ,src-stx))] + [(SimplePattern-atom _) `(*->preserve ,src-stx)] [(SimplePattern-embedded _interface) `(embedded ,src-stx)] [(SimplePattern-lit v) `',v] [(SimplePattern-seqof variable-pat)