From a54a51ba07c63b270e0d862f8537813bd9c6c2ee Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 14 Jun 2011 17:14:39 -0400 Subject: [PATCH] Change examples to use prettier types. original commit: 7a4bd387ccbd6a95b16bd6c6c810d9ddf8a537ad --- collects/typed-scheme/scribblings/reference/utilities.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/scribblings/reference/utilities.scrbl b/collects/typed-scheme/scribblings/reference/utilities.scrbl index 3e0da611..10d25c29 100644 --- a/collects/typed-scheme/scribblings/reference/utilities.scrbl +++ b/collects/typed-scheme/scribblings/reference/utilities.scrbl @@ -21,12 +21,12 @@ is provided, simply checks that the value is not } @examples[#:eval the-top-eval -(define: x : (U #f Number) (string->number "7")) +(define: x : (U #f String) (number->string 7)) x (assert x) -(define: y : (U String Number) 0) +(define: y : (U String Symbol) "hello") y -(assert y number?) +(assert y string?) (assert y boolean?)] @defform*/subs[[(with-asserts ([id maybe-pred] ...) body ...+)]