syndicate-lang
/
syndicate-rkt
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Rename NamedSimplePattern_ -> Binding

This commit is contained in:
Tony Garnock-Jones 2021-06-25 10:25:39 +02:00
parent f2063997ec
commit 824c2e201c
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
syndicate/schema-compiler.rkt
View File

@ -67,10 +67,8 @@
(define (pat-pattern p) (define (pat-pattern p)
(match (unwrap p) (match (unwrap p)
[(NamedSimplePattern_ name (SimplePattern-embedded _)) [(Binding name (SimplePattern-embedded _)) `(:pattern ,(escape name) embedded)]
`(:pattern ,(escape name) embedded)] [(Binding name p) `(:pattern ,(escape name))]
[(NamedSimplePattern_ name p)
`(:pattern ,(escape name))]
[(SimplePattern-any) discard] [(SimplePattern-any) discard]
[(SimplePattern-atom _atomKind) discard] [(SimplePattern-atom _atomKind) discard]
[(SimplePattern-embedded _interface) discard] [(SimplePattern-embedded _interface) discard]