Move rseq* to test code, as it is otherwise unused
This commit is contained in:
parent
cbf057204c
commit
9a5d9cb579
|
@ -109,12 +109,6 @@
|
||||||
(define (rwild r) (rseq ? r))
|
(define (rwild r) (rseq ? r))
|
||||||
(define (rwildseq r) (if (matcher-empty? r) r (wildcard-sequence r)))
|
(define (rwildseq r) (if (matcher-empty? r) r (wildcard-sequence r)))
|
||||||
|
|
||||||
(define (rseq* x . xs)
|
|
||||||
(let walk ((xs (cons x xs)))
|
|
||||||
(match xs
|
|
||||||
[(list r) r]
|
|
||||||
[(cons e xs1) (rseq e (walk xs1))])))
|
|
||||||
|
|
||||||
;; Any -> Boolean
|
;; Any -> Boolean
|
||||||
;; Racket objects are structures, so we reject them explicitly for
|
;; Racket objects are structures, so we reject them explicitly for
|
||||||
;; now, leaving them opaque to unification.
|
;; now, leaving them opaque to unification.
|
||||||
|
@ -912,6 +906,12 @@
|
||||||
|
|
||||||
(define EAB (E (set 'A 'B)))
|
(define EAB (E (set 'A 'B)))
|
||||||
|
|
||||||
|
(define (rseq* x . xs)
|
||||||
|
(let walk ((xs (cons x xs)))
|
||||||
|
(match xs
|
||||||
|
[(list r) r]
|
||||||
|
[(cons e xs1) (rseq e (walk xs1))])))
|
||||||
|
|
||||||
(check-equal? (intersect ? ?) (rwild EAB))
|
(check-equal? (intersect ? ?) (rwild EAB))
|
||||||
(check-equal? (intersect 'a ?) (rseq 'a EAB))
|
(check-equal? (intersect 'a ?) (rseq 'a EAB))
|
||||||
(check-equal? (intersect 123 ?) (rseq 123 EAB))
|
(check-equal? (intersect 123 ?) (rseq 123 EAB))
|
||||||
|
|
Loading…
Reference in New Issue