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

Switch to skeleton-stx with struct-type rather than predicate

This commit is contained in:
Tony Garnock-Jones 2018-03-22 13:48:55 +13:00
parent 1d67cbe65e
commit 25997cc778
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
syndicate/pattern.rkt
View File

@ -106,9 +106,9 @@
(define (desc->skeleton-stx desc) (define (desc->skeleton-stx desc)
(match desc (match desc
[`(compound list ,pieces ...) [`(compound list ,pieces ...)
#`(list list? #,@(map desc->skeleton-stx pieces))] #`(list 'list #,@(map desc->skeleton-stx pieces))]
[`(compound (,_struct-type ,_ctor ,pred ,_getters ,_setters ,_super) ,pieces ...) [`(compound (,struct-type ,_ctor ,_pred ,_getters ,_setters ,_super) ,pieces ...)
#`(list #,pred #,@(map desc->skeleton-stx pieces))] #`(list #,struct-type #,@(map desc->skeleton-stx pieces))]
[`(capture ,_ ,p) (desc->skeleton-stx p)] [`(capture ,_ ,p) (desc->skeleton-stx p)]
[`(discard) #'#f] [`(discard) #'#f]
[`(atom ,_) #'#f])) [`(atom ,_) #'#f]))