From 03c2fa266be39d0c256e12a61c3ef98363d9d612 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Tue, 12 Oct 2010 14:50:22 +0200 Subject: [PATCH] Update DMdA docs on generators for `check-property'. --HG-- extra : rebase_source : 0cfb8434a19c3d2f2783a0f1d882fecd85c5d432 --- collects/deinprogramm/scribblings/DMdA-beginner.scrbl | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl index ce37b4da5a..7101baa3d5 100644 --- a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl +++ b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl @@ -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}