From 824c2e201cc87b021d81d33dca8e553f4fc0e31f Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 25 Jun 2021 10:25:39 +0200 Subject: [PATCH] Rename NamedSimplePattern_ -> Binding --- syndicate/schema-compiler.rkt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/syndicate/schema-compiler.rkt b/syndicate/schema-compiler.rkt index e731020..b0b33fa 100644 --- a/syndicate/schema-compiler.rkt +++ b/syndicate/schema-compiler.rkt @@ -67,10 +67,8 @@ (define (pat-pattern p) (match (unwrap p) - [(NamedSimplePattern_ name (SimplePattern-embedded _)) - `(:pattern ,(escape name) embedded)] - [(NamedSimplePattern_ name p) - `(:pattern ,(escape name))] + [(Binding name (SimplePattern-embedded _)) `(:pattern ,(escape name) embedded)] + [(Binding name p) `(:pattern ,(escape name))] [(SimplePattern-any) discard] [(SimplePattern-atom _atomKind) discard] [(SimplePattern-embedded _interface) discard]