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

pass along neg-party

Browse Source 
closes #1126
This commit is contained in:
Robby Findler 2015-11-08 09:06:49 -06:00
parent 2ed6c01e56
commit 611899764f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -93,7 +93,7 @@
(cond (cond
[(pred val) val] [(pred val) val]
[(c-first-order val) (p-app val neg-party)] [(c-first-order val) (p-app val neg-party)]
[else (raise-none-or-matched blame val #f)])))) [else (raise-none-or-matched blame val neg-party)]))))
(define (blame-add-or-context blame) (define (blame-add-or-context blame)
(blame-add-context blame "a part of the or/c of")) (blame-add-context blame "a part of the or/c of"))