From 27442fa44c591228d0263c1f20fbdd5fdd47108d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 24 Jan 2013 11:45:27 -0600 Subject: [PATCH] make contracts slightly more readable for the get-location arguments to make-input-port and make-output-port --- .../scribblings/reference/custom-ports.scrbl | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) diff --git a/collects/scribblings/reference/custom-ports.scrbl b/collects/scribblings/reference/custom-ports.scrbl index 7079addf45..0cf75682a3 100644 --- a/collects/scribblings/reference/custom-ports.scrbl +++ b/collects/scribblings/reference/custom-ports.scrbl @@ -31,11 +31,10 @@ written. #f) #f] [get-location (or/c - (() - . ->* . - ((or/c exact-positive-integer? #f) - (or/c exact-nonnegative-integer? #f) - (or/c exact-positive-integer? #f))) + (-> + (values (or/c exact-positive-integer? #f) + (or/c exact-nonnegative-integer? #f) + (or/c exact-positive-integer? #f))) #f) #f] [count-lines! (-> any) void] @@ -722,11 +721,10 @@ s #f) #f] [get-location (or/c - (() - . ->* . - ((or/c exact-positive-integer? #f) - (or/c exact-nonnegative-integer? #f) - (or/c exact-positive-integer? #f))) + (-> + (values (or/c exact-positive-integer? #f) + (or/c exact-nonnegative-integer? #f) + (or/c exact-positive-integer? #f))) #f) #f] [count-lines! (-> any) void]