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

For DMdA languages, document which signatures work with `check-property'.

Browse Source 
Namely, not the singular record signature, but the signature
constructors of `define-record-procedures-parametric'.

(We'd done this before, but that patch got reverted, without the
doc part getting reinstated.)
This commit is contained in:
Mike Sperber 2011-12-18 14:17:08 +01:00
parent 7fac9193fa
commit 16a27c6391
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -289,9 +289,11 @@ Dieser Testfall überprüft experimentell, ob die @tech{Eigenschaft}
@emph{Wichtig:} @racket[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 @racket[predicate]
erzeugt wurden. In diesen Fällen erzeugt @racket[check-property] eine Fehlermeldung.
}
Fall, aber nicht für Signaturvariablen und Signaturen, die mit
@scheme[predicate] oder @scheme[define-record-procedures] definiert
wurden - wohl aber für Signaturen, die mit dem durch
@scheme[define-record-procedures-parametric] definierten
Signaturkonstruktor erzeugt wurden.}
@section{Parametrische Record-Typ-Definitionen}