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

Remove the contract clause here.

Browse Source 
svn: r13566
This commit is contained in:
Stevie Strickland 2009-02-13 23:24:44 +00:00
parent 7865e23c03
commit 50af2b09f7
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -635,8 +635,7 @@ Expands to a @scheme[provide] of all identifiers implied by the
@defform/subs[#:literals (import export) @defform/subs[#:literals (import export)
(unit/c (import sig-block ...) (export sig-block ...)) (unit/c (import sig-block ...) (export sig-block ...))
([sig-block (sig-id [id ctc] ...) sig-id]) ([sig-block (sig-id [id contract] ...) sig-id])]{
#:contracts ([ctc contract?])]{
A @deftech{unit contract} wraps a unit and checks both its imported and A @deftech{unit contract} wraps a unit and checks both its imported and
exported identifiers to ensure that they match the appropriate contracts. exported identifiers to ensure that they match the appropriate contracts.