change 'list' contract to (listof any)

svn: r12469
This commit is contained in:
Robby Findler 2008-11-17 14:32:15 +00:00
parent e4da627da9
commit b8687f7957

View File

@ -278,18 +278,18 @@
((beginner-append append) ((listof any) (listof any) (listof any) ... -> (listof any))
"to create a single list from several, by juxtaposition of the items")
(length (list -> number)
(length ((listof any) -> number)
"to compute the number of items on a list")
(memq (any list -> (union false list))
(memq (any (listof any) -> (union false list))
"to determine whether some value is on some list"
" (comparing values with eq?)")
(memv (any list -> (union false list))
(memv (any (listof any) -> (union false list))
"to determine whether some value is on the list"
" (comparing values with eqv?)")
((beginner-member member) (any list -> boolean)
((beginner-member member) (any (listof any)-> boolean)
"to determine whether some value is on the list"
" (comparing values with equal?)")
(reverse (list -> list)
(reverse ((listof any) -> list)
"to create a reversed version of a list")
(assq (X (listof (cons X Y)) -> (union false (cons X Y)))
"to determine whether some item is the first item of a pair"