From 59f6cf4f44a7e0e99c47ef5ae85cf06a0779a24f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 28 Jan 2005 15:26:17 +0000 Subject: [PATCH] . original commit: 5c23d2c871bdbbaee31e202da9ac85dced6e66fc --- collects/mzlib/contract.ss | 2 ++ collects/tests/mzscheme/contract-test.ss | 1 + 2 files changed, 3 insertions(+) diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss index 3aefa4e..b3b0da5 100644 --- a/collects/mzlib/contract.ss +++ b/collects/mzlib/contract.ss @@ -783,6 +783,8 @@ add struct contracts for immutable structs? (define (make-opt->/proc method-proc? stx) (syntax-case stx (any) + [(_ (reqs ...) (opts ...) any) + (make-opt->*/proc method-proc? (syntax (opt->* (reqs ...) (opts ...) any)))] [(_ (reqs ...) (opts ...) res) (make-opt->*/proc method-proc? (syntax (opt->* (reqs ...) (opts ...) (res))))])) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index 2390062..f2d8d6a 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -119,6 +119,7 @@ (test/no-error '(opt-> (integer?) (integer?) integer?)) (test/no-error '(opt-> ((flat-contract integer?)) ((flat-contract integer?)) (flat-contract integer?))) + (test/no-error '(opt-> ((flat-contract integer?)) ((flat-contract integer?)) any)) (test/no-error '(opt->* (integer?) (integer?) (integer?))) (test/no-error '(opt->* ((flat-contract integer?)) ((flat-contract integer?)) ((flat-contract integer?)))) (test/no-error '(opt->* (integer?) (integer?) any))