Remove seemingly-unnecessary case for ($ (unquote bp) p) in pattern.rkt

This commit is contained in:
Tony Garnock-Jones 2022-12-15 11:45:49 +13:00
parent afb887e649
commit 55e5c36725
1 changed files with 0 additions and 3 deletions

View File

@ -155,9 +155,6 @@
(dollar-id? #'id)
#`(Pattern-DBind (DBind (Pattern-DDiscard (DDiscard))))]
[($ (unquote bp) p)
#`(Pattern-DBind (DBind #,(walk #'p)))]
[($ id p)
#`(Pattern-DBind (DBind #,(walk #'p)))]