From 5286a8163df8ef279dd79977a8f20a5a6108da50 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 3 Apr 2013 23:07:12 -0700 Subject: [PATCH] Add example of (List t ... bound). Closes PR 11903. original commit: 5ec7401f1f5a628948e091eeb2a54d7ca09f2109 --- collects/typed-racket/scribblings/reference/types.scrbl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-racket/scribblings/reference/types.scrbl b/collects/typed-racket/scribblings/reference/types.scrbl index 293944c7..960fed14 100644 --- a/collects/typed-racket/scribblings/reference/types.scrbl +++ b/collects/typed-racket/scribblings/reference/types.scrbl @@ -293,6 +293,8 @@ corresponding to @racket[trest], where @racket[bound] @ex[ (list 'a 'b 'c) +(plambda: (a ...) ([sym : Symbol] boxes : (Boxof a) ... a) + (ann (cons sym boxes) (List Symbol (Boxof a) ... a))) (map symbol->string (list 'a 'b 'c)) ]