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

Fix guide section 7.3.8

Browse Source 
Closes PR 13033
This commit is contained in:
Asumu Takikawa 2012-08-16 15:50:52 -04:00
parent b977ae339f
commit 02219bda91
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

@ -526,13 +526,13 @@ Now, suppose that we also want to ensure that the first result of
(format "substring of ~s" s)
(lambda (s2)
(and (string? s2)
(<= (string-length s2) s)
(<= (string-length s2) (string-length s))
(equal? (substring s 0 (string-length s2)) s2)))))
(provide
(contract-out
[split (->i ([fl (listof char?)])
(values [s (fl) (substring-of (list->string fl))]
(values [s (fl) (substring-of? (list->string fl))]
[c (listof char?)]))]))
]
Like @racket[->*], the @racket[->i] combinator uses a function over the