From 16a27c63915c224dc98aedcc2b13634c3167aeb6 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sun, 18 Dec 2011 14:17:08 +0100 Subject: [PATCH] For DMdA languages, document which signatures work with `check-property'. 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.) --- collects/deinprogramm/scribblings/DMdA-beginner.scrbl | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl index b6ac1886f8..ed17036623 100644 --- a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl +++ b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl @@ -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}