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

Update DMdA docs on generators for `check-property'.

Browse Source 
--HG--
extra : rebase_source : 0cfb8434a19c3d2f2783a0f1d882fecd85c5d432
This commit is contained in:
Mike Sperber 2010-10-12 14:50:22 +02:00
parent 99df8e1267
commit 03c2fa266b
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/deinprogramm/scribblings/DMdA-beginner.scrbl
View File

@ -291,9 +291,8 @@ Dieser Testfall überprüft experimentell, ob die @tech{Eigenschaft}
@emph{Wichtig:} @scheme[check-property] funktioniert nur für
Eigenschaften, bei denen aus den Signaturen sinnvoll Werte generiert
werden können. Dies ist für die meisten eingebauten Signaturen der
Fall, aber nicht für Signaturvariablen und Signaturen, die mit @scheme[predicate],
@scheme[property] oder @scheme[define-record-procedures] definiert
wurden. In diesen Fällen erzeugt @scheme[check-property] eine Fehlermeldung.
Fall, aber nicht für Signaturvariablen und Signaturen, die mit @scheme[predicate]
erzeugt wurden. In diesen Fällen erzeugt @scheme[check-property] eine Fehlermeldung.
}
@section{Parametrische Record-Typ-Definitionen}