From 2016ab1c2fa789b2ee18fb8bad695e8a6b75c656 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 27 Jan 2014 08:36:35 -0800 Subject: [PATCH] Add rough draft of docs for Top/Bot to quiet DrDr. --- .../typed-racket/scribblings/reference/types.scrbl | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl index 708d82172d..d600ddb78a 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl @@ -513,6 +513,14 @@ functions and continuation mark functions. (is-zero? 2 #:equality =) (is-zero? 2 #:equality eq? #:zero 2.0)]} +@deftogether[( +@defidform[Top] +@defidform[Bot])]{ These are filters that can be used with @racket[->]. + @racket[Top] is the filter with no information. + @racket[Bot] is the filter which means the result cannot happen. +} + + @defidform[Procedure]{is the supertype of all function types. The @racket[Procedure] type corresponds to values that satisfy the @racket[procedure?] predicate. Because this type encodes @emph{only} the fact that the value is a procedure, and