From 2b4a60ced6c62b02d13d4c0fbb7ffc3ad702a9c0 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 20 Oct 2008 14:04:10 +0000 Subject: [PATCH] Document singleton symbol types. svn: r12072 --- collects/typed-scheme/typed-scheme.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl index 4c7a66e389..e9ad7336e3 100644 --- a/collects/typed-scheme/typed-scheme.scrbl +++ b/collects/typed-scheme/typed-scheme.scrbl @@ -460,8 +460,8 @@ The following base types are parameteric in their type arguments. @defform[(values t ...)]{is the type of a sequence of multiple values, with types @scheme[t ...]. This can only appear as the return type of a function.} -@defform/none[v]{where @scheme[v] is a number, boolean or string, is the singleton type containing -only that value} +@defform/none[v]{where @scheme[v] is a number, boolean or string, is the singleton type containing only that value} +@defform/none['sym]{where @scheme[sym] is a symbol, is the singleton type containing only that symbol} @defform/none[i]{where @scheme[i] is an identifier can be a reference to a type name or a type variable} @defform[(Rec n t)]{is a recursive type where @scheme[n] is bound to the