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

possible fix

Browse Source 
svn: r11396
This commit is contained in:
Robby Findler 2008-08-23 02:56:37 +00:00
parent a79b0a4d10
commit b987dc265d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/scribblings/guide/contracts-general-function.scrbl
View File

@ -338,11 +338,11 @@ scheme
[withdraw (->d ([acc account?]
[amt (and/c amount (<=/c (balance acc)))])
()
[result (mk-account-contract acc amt > msg>)])]
[result (mk-account-contract acc amt >= msg>)])]
[deposit (->d ([acc account?]
[amt amount])
()
[result (mk-account-contract acc amt < msg<)])])
[result (mk-account-contract acc amt <= msg<)])])
(code:comment "section 3: the function definitions")
(define balance account-balance)