Small optimization

2021-06-08 09:25:52 +02:00 · 2021-06-08 09:25:52 +02:00 · f93d329f48
parent c05180c492
commit f93d329f48
1 changed files with 3 additions and 1 deletions
--- 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)