fix string-ith problem, Closes PR 11261
This commit is contained in:
parent
3d16dd698a
commit
725da3b2ed
|
@ -469,7 +469,7 @@ namespace.
|
||||||
|
|
||||||
(define-teach beginner string-ith
|
(define-teach beginner string-ith
|
||||||
(lambda (s n)
|
(lambda (s n)
|
||||||
(define f "<exact integer in [0, length of the given string (~s)]>")
|
(define f "<exact integer in [0, length of the given string (~s))>")
|
||||||
(cerr 'string-ith (string? s) "<string>" s "first")
|
(cerr 'string-ith (string? s) "<string>" s "first")
|
||||||
(cerr 'string-ith (and (number? n) (integer? n) (>= n 0)) NAT n "second")
|
(cerr 'string-ith (and (number? n) (integer? n) (>= n 0)) NAT n "second")
|
||||||
(let ([l (string-length s)])
|
(let ([l (string-length s)])
|
||||||
|
|
Loading…
Reference in New Issue
Block a user