suzanne.soy/extensible-parser-specifications
1
0
Fork 0
Code Issues 2 Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed test

Browse Source
This commit is contained in:
Georges Dupéron 2016-09-28 14:08:06 +02:00
parent 66726ba26e
commit de64530806
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
test/test-maybe-empty.rkt
View File

@ -12,31 +12,31 @@
racket/format)) racket/format))
(check-equal? (syntax-parse #'() (check-equal? (syntax-parse #'()
[{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})} [{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})}
(syntax->datum #'(#:rest τ-rest #:τᵢ τᵢ …))]) (syntax->datum #'(#:rest τ-rest #:τᵢ τᵢ …))])
'(#:rest () #:τᵢ)) '(#:rest () #:τᵢ))
(check-equal? (syntax-parse #'a (check-equal? (syntax-parse #'a
[{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})} [{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})}
(syntax->datum #'(τ-rest τᵢ …))]) (syntax->datum #'(#:rest τ-rest #:τᵢ τᵢ …))])
'(#:rest a #:τᵢ)) '(#:rest a #:τᵢ))
(check-equal? (syntax-parse #'(a) (check-equal? (syntax-parse #'(a)
[{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})} [{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})}
(syntax->datum #'(τ-rest τᵢ …))]) (syntax->datum #'(#:rest τ-rest #:τᵢ τᵢ …))])
'(#:rest () #:τᵢ a)) '(#:rest () #:τᵢ a))
(check-equal? (syntax-parse #'(a . b) (check-equal? (syntax-parse #'(a . b)
[{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})} [{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})}
(syntax->datum #'(τ-rest τᵢ …))]) (syntax->datum #'(#:rest τ-rest #:τᵢ τᵢ …))])
'(#:rest b #:τᵢ a)) '(#:rest b #:τᵢ a))
(check-equal? (syntax-parse #'(a b) (check-equal? (syntax-parse #'(a b)
[{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})} [{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})}
(syntax->datum #'(τ-rest τᵢ …))]) (syntax->datum #'(#:rest τ-rest #:τᵢ τᵢ …))])
'(#:rest () #:τᵢ a b)) '(#:rest () #:τᵢ a b))
(check-equal? (syntax-parse #'(a b . c) (check-equal? (syntax-parse #'(a b . c)
[{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})} [{~no-order (~maybe/empty {~seq τᵢ ... {~lift-rest τ-rest}})}
(syntax->datum #'(τ-rest τᵢ …))]) (syntax->datum #'(#:rest τ-rest #:τᵢ τᵢ …))])
'(#:rest c #:τᵢ a b)) '(#:rest c #:τᵢ a b))