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

Want to call this something more generic, as method contracts have specific

Browse Source 
restrictions, but contracts on fields do not.

svn: r18241
This commit is contained in:
Stevie Strickland 2010-02-21 00:22:37 +00:00
parent ffa34e1f7d
commit c6e671581f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/scribblings/reference/class.scrbl
View File

@ -1486,7 +1486,7 @@ resulting trait is the same as for @scheme[trait-sum], otherwise the
(method-id method-contract)]
[field-spec
field-id
(field-id field-contract)])]{
(field-id contract-expr)])]{
Produces a contract for a class.
There are two major categories of contracts listed in a @scheme[class/c]