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

Added caveat in Reference to "7.5 Building New Contract Combinators" and its

Browse Source 
subsection "7.5.1 Contracts as structs" stating:

"Note: The interface in this section is unstable and subject to change."

This is in preparation for a new implementation of contract properties.

svn: r17014
This commit is contained in:
Carl Eastlund 2009-11-23 21:21:40 +00:00
parent 0257ac515a
commit 958e3418aa
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/scribblings/reference/contracts.scrbl
View File

@ -865,6 +865,9 @@ source location information from compiled files.
@section{Building New Contract Combinators}
@emph{@bold{Note:}
The interface in this section is unstable and subject to change.}
Contracts are represented internally as functions that
accept information about the contract (who is to blame,
source locations, etc) and produce projections (in the
@ -1126,6 +1129,9 @@ to build an actual error message.}
@subsection{Contracts as structs}
@emph{@bold{Note:}
The interface in this section is unstable and subject to change.}
A contract is an arbitrary struct that has all of the
struct properties
(see @secref["structprops"] in the reference manual)