From b8687f79577e7996744f49d1aa7e0803bea17659 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 17 Nov 2008 14:32:15 +0000 Subject: [PATCH] change 'list' contract to (listof any) svn: r12469 --- collects/lang/private/beginner-funs.ss | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/collects/lang/private/beginner-funs.ss b/collects/lang/private/beginner-funs.ss index e82123d6c1..83562ce7e0 100644 --- a/collects/lang/private/beginner-funs.ss +++ b/collects/lang/private/beginner-funs.ss @@ -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"