From f93d329f48a5d6bc54b5ba5b41f4b07928317a60 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 8 Jun 2021 09:25:52 +0200 Subject: [PATCH] Small optimization --- implementations/racket/preserves/preserves-schema/parser.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/implementations/racket/preserves/preserves-schema/parser.rkt b/implementations/racket/preserves/preserves-schema/parser.rkt index 8f95779..c65bf77 100644 --- a/implementations/racket/preserves/preserves-schema/parser.rkt +++ b/implementations/racket/preserves/preserves-schema/parser.rkt @@ -47,7 +47,9 @@ (define (maybe-dest dest-pat-stx pat) (match dest-pat-stx ['_ pat] - [_ `(and ,dest-pat-stx ,pat)])) + [_ (match pat + ['_ dest-pat-stx] + [_ `(and ,dest-pat-stx ,pat)])])) (define (pattern->match-pattern pattern dest-pat-stx) (match (unwrap pattern)