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

Fix guide section 7.4

Browse Source 
Closes PR 13034
This commit is contained in:
Asumu Takikawa 2012-08-16 15:57:50 -04:00
parent 02219bda91
commit 99d63d1f08
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/scribblings/guide/contracts-first-extended-example.scrbl
View File

@ -161,7 +161,7 @@ racket
@code:comment{@#,dominates1} @code:comment{@#,dominates1}
(define (dominates-all f@r f lov) (define (dominates-all f@r f lov)
(for/and ([v lov]) (>= (f v) f@r))) (for/and ([v lov]) (>= f@r (f v))))
@code:comment{@#,first?1} @code:comment{@#,first?1}
(define (is-first-max? r f@r f lov) (define (is-first-max? r f@r f lov)
@ -181,8 +181,8 @@ This step leaves us with the problem of the newly introduced inefficiency.
@(define first?2 @(define first?2
@multiarg-element['tt]{ @multiarg-element['tt]{
@list{@racket[r] is @racket[(second x)] for the first @list{@racket[r] is @racket[(first x)] for the first
@racket[x] in @racket[flov+lov] s.t. @racket[(= (first x) f@r)]}}) @racket[x] in @racket[flov+lov] s.t. @racket[(= (second x) f@r)]}})
@racketmod[#:file @tt{version 3 rev. b} @racketmod[#:file @tt{version 3 rev. b}
racket racket
@ -211,7 +211,7 @@ racket
(define fst (first lov+flov)) (define fst (first lov+flov))
(if (= (second fst) f@r) (if (= (second fst) f@r)
(eq? (first fst) r) (eq? (first fst) r)
(is-first-max? f@r r (rest lov+flov)))) (is-first-max? r f@r (rest lov+flov))))
] ]
Now the predicate on the result once again computes all values of @racket[f] Now the predicate on the result once again computes all values of @racket[f]
for elements of @racket[lov] once. for elements of @racket[lov] once.