From bfa6f374ff1dca84e031ea4141e00476dbb27557 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 15 Nov 2012 07:42:45 -0600 Subject: [PATCH] test that you can use flat-named-contract with a contract that already has a name (and get the new name) closes PR 8050 -- this PR was fixed at some point in the past; this commit just adds a test case --- collects/tests/racket/contract-test.rktl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl index 42415d762c..3d79ddbc51 100644 --- a/collects/tests/racket/contract-test.rktl +++ b/collects/tests/racket/contract-test.rktl @@ -11977,6 +11977,13 @@ so that propagation occurs. (test-name 'char? (flat-contract char?)) (test-name 'any/c any/c) + (test-name 'mumble (let ([frotz/c integer?] + [bazzle/c boolean?]) + (flat-named-contract 'mumble + (and/c frotz/c + (not/c bazzle/c))))) + + (test-name '(-> integer? integer?) (-> integer? integer?)) (test-name '(-> integer? any) (-> integer? any)) (test-name '(-> integer? (values boolean? char?)) (-> integer? (values boolean? char?)))