suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

match: add test for _ elimination in vector patterns

Browse Source
This commit is contained in:
Bogdan Popa 2020-11-21 15:25:04 +02:00 committed by Sam Tobin-Hochstadt
parent ec1f11e18e
commit 2af0d8ed55
1 changed files with 31 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
pkgs/racket-test/tests/match/examples.rkt
View File

@ -345,13 +345,15 @@
(comp
'ok
(let ()
(define impersonated? #f)
(define-struct st ([x #:mutable])
#:transparent)
(define a (st 1))
(define b (impersonate-struct a st-x (lambda (_self _x)
(error "must not impersonate"))))
(define b (impersonate-struct a st-x (lambda (_self x)
(set! impersonated? #t)
x)))
(match b
[(st _) 'ok])))
[(st _) (if impersonated? 'fail 'ok)])))
(comp
'ok
@ -366,6 +368,32 @@
(match b
[(st x) (if impersonated? 'ok 'fail)])))
(comp
'ok
(let ()
(define impersonated? #f)
(define v (vector 1 2 3))
(define b (impersonate-vector v
(lambda (self idx _)
(set! impersonated? #t)
(vector-ref self idx))
vector-set!))
(match b
[(vector _ _ _) (if impersonated? 'fail 'ok)])))
(comp
'ok
(let ()
(define impersonated? #f)
(define v (vector 1 2 3))
(define b (impersonate-vector v
(lambda (self idx _)
(set! impersonated? #t)
(vector-ref self idx))
vector-set!))
(match b
[(vector a _ _) (if impersonated? 'ok 'fail)])))
(comp 1
(match #&1
[(box a) a]