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

adjusted the blame objects so that equality tests (and equal hashing) work better

Browse Source
This commit is contained in:
Robby Findler 2018-04-09 11:21:15 -05:00
parent 853f14b9a5
commit 1e93424f67
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/racket-test/tests/racket/contract/blame.rkt
View File

@ -320,4 +320,13 @@
'(has-complete-blame? (contract (vectorof integer?) (vector 1 2 3) 'pos 'neg)) '(has-complete-blame? (contract (vectorof integer?) (vector 1 2 3) 'pos 'neg))
#t) #t)
(test/spec-passed/result
'blame-equality
'(let ([b
(make-blame (srcloc "src.rkt" #f #f #f #f)
'whatever (λ () 'the-name) 'pos 'neg #t)])
(equal? (blame-add-context b "thing" #:important 'yes!)
(blame-add-context b "thing" #:important 'yes!)))
#t)
) )

2
racket/collects/racket/contract/private/blame.rkt
View File

@ -103,7 +103,7 @@
[context new-context] [context new-context]
[top-known? #t])) [top-known? #t]))
(struct important (name sense-swapped?)) (struct important (name sense-swapped?) #:transparent)
(define (blame-add-unknown-context b) (define (blame-add-unknown-context b)
(define old (blame-context b)) (define old (blame-context b))