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

Fix make-contract example to show the correct contract violation

Browse Source 
There was a duplicate quote around `given:' which caused a violation in
make-contract's internals.
This commit is contained in:
Brian Lachance 2015-09-07 12:05:36 -04:00 committed by Robby Findler
parent e1333d0616
commit e0f2d9c0d6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/racket-doc/scribblings/reference/contracts.scrbl
View File

@ -1979,7 +1979,7 @@ to determine if this is a contract that accepts only @racket[list?] values.
(λ (x) (range (f (domain x))))
(raise-blame-error
b f
'(expected "a function of one argument" 'given: "~e")
'(expected "a function of one argument" given: "~e")
f)))))))
(contract int->int/c "not fun" 'positive 'negative)
(define halve