From 44ca7fb6e5e2223d78e01c68b380a0a0e7e97520 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Mon, 11 Jun 2007 20:50:50 +0000
Subject: [PATCH] changed the set of exported names a little bit

svn: r6577
---
 collects/mzlib/contract.ss | 48 ++++++++++++++++++++++++++++++++------
 1 file changed, 41 insertions(+), 7 deletions(-)

diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss
index d6476be935..8a8f09eb65 100644
--- a/collects/mzlib/contract.ss
+++ b/collects/mzlib/contract.ss
@@ -15,15 +15,49 @@
 
    (all-from-except "private/contract-arrow.ss"
                     check-procedure)
-   (all-from-except "private/contract-guts.ss"
-                    build-compound-type-name
-                    first-order-prop
-                    first-order-get
-                    check-flat-contract
-                    check-flat-named-contract)
    (all-from-except "private/contract.ss"
                     check-between/c
-                    check-unary-between/c)))
+                    check-unary-between/c))
+  
+  ;; from contract-guts.ss
+  
+  (provide and/c
+           any/c
+           none/c
+           make-none/c 
+           
+           guilty-party
+           contract-violation->string
+           
+           contract?
+           contract-name
+           contract-proc
+           
+           flat-contract?
+           flat-contract
+           flat-contract-predicate
+           flat-named-contract
+           
+           contract-first-order-passes?
+           
+           ;; below need docs
+           
+           make-proj-contract
+           
+           contract-stronger?
+           
+           coerce-contract 
+           flat-contract/predicate?
+
+           build-compound-type-name
+           raise-contract-error
+
+           proj-prop proj-pred? proj-get
+           name-prop name-pred? name-get
+           stronger-prop stronger-pred? stronger-get
+           flat-prop flat-pred? flat-get
+           first-order-prop first-order-get))
+  
 
 ;; ======================================================================
 ;; The alternate implementation disables contracts. Its useful mainly to