suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove the example from here, now that there's information in the guide.

Browse Source 
The example was malformed anyway.

svn: r13565
This commit is contained in:
Stevie Strickland 2009-02-13 23:22:17 +00:00
parent e026f89d37
commit 7865e23c03
1 changed files with 1 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/scribblings/reference/units.scrbl
View File

@ -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.}
@; ------------------------------------------------------------------------