From 7865e23c0364a344311bcd3d56bd8c226db55f4b Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 13 Feb 2009 23:22:17 +0000 Subject: [PATCH] Remove the example from here, now that there's information in the guide. The example was malformed anyway. svn: r13565 --- collects/scribblings/reference/units.scrbl | 18 +----------------- 1 file changed, 1 insertion(+), 17 deletions(-) diff --git a/collects/scribblings/reference/units.scrbl b/collects/scribblings/reference/units.scrbl index 158ae26a1a..a35bed7524 100644 --- a/collects/scribblings/reference/units.scrbl +++ b/collects/scribblings/reference/units.scrbl @@ -648,23 +648,7 @@ superset of the export signatures listed in the unit contract. Any identifier which is not listed for a given signature is left alone. Variables used in a given @scheme[ctc] expression first refer to other variables in the same signature, and then to the context of the -@scheme[unit/c] expression. - -Here is an example use of @scheme[unit/c]: - -@schememod[scheme/base -(require scheme/unit) -(define-signature odd^ (odd?)) -(define-signature even^ (even?)) -(define-unit E@ - (import odd^) - (export even^) - (define (even? n) - (if (zero? n) #t (odd? (sub1 n))))) -(provide/contract - [E@ (unit/c (import odd^ [odd? (-> number? boolean?)]) - (export even^ [even? (-> number? boolean?)]))]) -]} +@scheme[unit/c] expression.} @; ------------------------------------------------------------------------