From 7cca6b2feefd3b5a15c98a6cbe9e5384be300a58 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 31 Aug 2006 22:30:13 +0000 Subject: [PATCH] added contract-opt, renamed contract-helpers to be a .ss, not .scm svn: r4207 original commit: d8a72d982f30c19a5981211c25d8f7164113a52a --- collects/mzlib/contract.ss | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss index dc8244a..0dc152e 100644 --- a/collects/mzlib/contract.ss +++ b/collects/mzlib/contract.ss @@ -2,10 +2,14 @@ (require "private/contract.ss" "private/contract-arrow.ss" "private/contract-guts.ss" - "private/contract-ds.ss") + "private/contract-ds.ss" + "private/contract-opt.ss" + "private/contract-opters.ss" ;; loaded for its effect -- registering the opters + ) (provide + ; (all-from "private/contract-opt.ss") ;; not yet (all-from "private/contract-ds.ss") (all-from "private/contract-arrow.ss") (all-from-except "private/contract-guts.ss"