From 1fd8f6c2c315a6ab1b374091bc8f3511b36d934c Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Tue, 15 Jul 2008 00:10:04 -0400 Subject: [PATCH] This is too long for the paragraph, just separate it. --- collects/typed-scheme/typed-scheme.scrbl | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl index bf85f9ee19..43afa16c32 100644 --- a/collects/typed-scheme/typed-scheme.scrbl +++ b/collects/typed-scheme/typed-scheme.scrbl @@ -381,8 +381,12 @@ assigned to @scheme[B]. Then @scheme[B] in each copy is replaced with the corresponding type from the sequence. So the type of @scheme[(inst map Integer Boolean String Number)] -is @scheme[((Boolean String Number -> Integer) (Listof Boolean) -(Listof String) (Listof Number) -> (Listof Integer))]. +is + +@scheme[((Boolean String Number -> Integer) + (Listof Boolean) (Listof String) (Listof Number) + -> + (Listof Integer))]. @section[#:tag "type-ref"]{Type Reference}