From 11f6ec1b98a23ec93eb7be0717b45e4d177365e0 Mon Sep 17 00:00:00 2001
From: Mike Sperber <sperber@deinprogramm.de>
Date: Fri, 17 Sep 2010 10:00:02 +0200
Subject: [PATCH] Updated DMdA signature docs.

Added `any' and `unspecific', and some minor reorganization.
---
 collects/deinprogramm/scribblings/DMdA-assignments.scrbl | 9 +++++++++
 collects/deinprogramm/scribblings/DMdA-beginner.scrbl    | 7 ++++++-
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/collects/deinprogramm/scribblings/DMdA-assignments.scrbl b/collects/deinprogramm/scribblings/DMdA-assignments.scrbl
index ea4e5a3f56..b1eb9fcfda 100644
--- a/collects/deinprogramm/scribblings/DMdA-assignments.scrbl
+++ b/collects/deinprogramm/scribblings/DMdA-assignments.scrbl
@@ -66,6 +66,15 @@ Ein @scheme[set!]-Ausdruck ist eine Zuweisung, und ändert den Inhalt
 der Zelle, die an @scheme[id] gebunden ist, auf den Wert von @scheme[expr].
 }
 
+@section[#:tag "assignments-signatures"]{Signaturen}
+
+@defidform[unspecific]{
+Signatur für unspezifische Werte, die unwichtig sind - typischerweise für die 
+Rückgabewerte von Operationen, die nur Seiteneffekte haben wie @scheme[set!]
+oder @scheme[write-string].
+}
+
+
 @section[#:tag "assignments-prim-op"]{Primitive Operationen}
 
 @prim-op-defns['(lib "DMdA-assignments.ss" "deinprogramm") #'here '()]
diff --git a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl
index 7b76b17470..ce37b4da5a 100644
--- a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl
+++ b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl
@@ -148,11 +148,13 @@ und meldet etwaige Verletzungen.
 Diese Form liefert die Signatur mit der Notation @scheme[sig].
 }
 
-@subsection{Signaturerklärung}
+@subsection{Signaturdeklaration}
 @defform[(: id sig)]{
 Diese Form erklärt @scheme[sig] zur gültigen Signatur für @scheme[id].
 }
 
+@subsection{Eingebaute Verträge}
+
 @defidform[number]{
 Signatur für beliebige Zahlen.
 }
@@ -193,6 +195,9 @@ Signatur für Zeichenketten.
 Signatur für die leere Liste.
 }
 
+@defidform[any]{
+Signatur, die auf alle Werte gültig ist.}
+
 @defform/none[signature]{
 Signatur für Signaturen.}