From d43ff0713ea679778d567aca9826dcb0cba924f6 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 13 Feb 2008 15:50:01 +0000 Subject: [PATCH] contract bug svn: r8645 --- collects/web-server/web-config-unit.ss | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/collects/web-server/web-config-unit.ss b/collects/web-server/web-config-unit.ss index c01621722e..1d31346efb 100644 --- a/collects/web-server/web-config-unit.ss +++ b/collects/web-server/web-config-unit.ss @@ -11,17 +11,17 @@ ; XXX unit? should be particular unit sig (provide/contract [configuration-table->web-config@ - (-> path-string? - #:port (or/c false/c number?) - #:listen-ip (or/c false/c string?) - #:make-servlet-namespace make-servlet-namespace? + (->* (path-string?) + (#:port (or/c false/c number?) + #:listen-ip (or/c false/c string?) + #:make-servlet-namespace make-servlet-namespace?) unit?)] [configuration-table-sexpr->web-config@ - (-> list? ; XXX - #:web-server-root path-string? + (->* (list?) ; XXX + (#:web-server-root path-string? #:port (or/c false/c number?) #:listen-ip (or/c false/c string?) - #:make-servlet-namespace make-servlet-namespace? + #:make-servlet-namespace make-servlet-namespace?) unit?)]) ; configuration-table->web-config@ : path -> configuration