From 036e11d4bef125571d5feb059416ed510ec3a525 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 23 Mar 2006 17:22:26 +0000 Subject: [PATCH] re arranged the file names in the contract library and exported a few more things from the main library to satisfy plai svn: r2488 original commit: 5e2f5d86de468a7bf10ba16adb86d26e6a98e1c0 --- collects/mzlib/contract.ss | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss index 2b771b8..902719f 100644 --- a/collects/mzlib/contract.ss +++ b/collects/mzlib/contract.ss @@ -1,17 +1,13 @@ (module contract mzscheme (require "private/contract.ss" "private/contract-arrow.ss" - "private/contract-util.ss" + "private/contract-guts.ss" "private/contract-ds.ss") (provide (all-from "private/contract-ds.ss") (all-from "private/contract-arrow.ss") - (all-from-except "private/contract-util.ss" - raise-contract-error - contract-proc - make-contract - contract-proc + (all-from-except "private/contract-guts.ss" build-compound-type-name) - (all-from-except "private/contract.ss"))) + (all-from "private/contract.ss")))