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]