Fixed bug 179978: (eq? (vector) (vector)) should evaluate to #t

This commit is contained in:
Abdulaziz Ghuloum 2008-01-04 21:19:30 -05:00
parent 797897cc01
commit 3cd68e7ea3
2 changed files with 11 additions and 5 deletions

View File

@ -913,17 +913,23 @@
[(eq? ctxt 'e) a0] [(eq? ctxt 'e) a0]
[else (mk-seq a0 (make-constant #t))]))))) [else (mk-seq a0 (make-constant #t))])))))
(giveup))] (giveup))]
[(list) [(list vector)
(case ctxt (case ctxt
[(v) (if (null? rand*) (make-constant '()) (giveup))] [(v)
(if (null? rand*)
(make-constant
(case op
[(list) '()]
[else '#()]))
(giveup))]
[else [else
(if (null? rand*) (if (null? rand*)
(make-constant #t) (make-constant #t)
(let f ([a (car rand*)] [d (cdr rand*)]) (let f ([a (car rand*)] [d (cdr rand*)])
(cond (cond
[(null? d) (make-seq a (make-constant #t))] [(null? d) (mk-seq a (make-constant #t))]
[else [else
(f (make-seq a (car d)) (cdr d))])))])] (f (mk-seq a (car d)) (cdr d))])))])]
[(cons*) [(cons*)
(case ctxt (case ctxt
[(e) [(e)

View File

@ -1 +1 @@
1327 1328