From bafb017c5ecb5886e66b9aaa2b6337e5ec4e757b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 17 Sep 2007 17:09:58 +0000 Subject: [PATCH] moved contracts back to contract library svn: r7367 original commit: 65cfcd572290b3a3961ac34dd8edc5204c3efb0e --- collects/mzlib/class.ss | 4 ---- collects/mzlib/contract.ss | 5 +++++ 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/collects/mzlib/class.ss b/collects/mzlib/class.ss index 08dae8b..536df91 100644 --- a/collects/mzlib/class.ss +++ b/collects/mzlib/class.ss @@ -1,9 +1,5 @@ (module class mzscheme - ;; povide contracts for objects - (require "private/contract-object.ss") - (provide (all-from "private/contract-object.ss")) - ;; All of the implementation is actually in private/class-internal.ss, ;; which provides extra (private) functionality to contract.ss. (require "private/class-internal.ss") diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss index 1b4c1c7..d92bc62 100644 --- a/collects/mzlib/contract.ss +++ b/collects/mzlib/contract.ss @@ -1,5 +1,10 @@ (module contract mzscheme + + ;; povide contracts for objects + (require "private/contract-object.ss") + (provide (all-from "private/contract-object.ss")) + (require "private/contract.ss" "private/contract-arrow.ss" "private/contract-guts.ss"