From 24961f750ca941e4a104bd4b5229bf6e42c1a788 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 28 May 2011 12:10:51 +0200 Subject: [PATCH] Fix predicate signatures in DMdA. Use any -> boolean instead of %a -> boolean. --- collects/deinprogramm/scribblings/image.scrbl | 2 +- collects/deinprogramm/scribblings/ka.scrbl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/deinprogramm/scribblings/image.scrbl b/collects/deinprogramm/scribblings/image.scrbl index ea7756815c..ab04622c86 100644 --- a/collects/deinprogramm/scribblings/image.scrbl +++ b/collects/deinprogramm/scribblings/image.scrbl @@ -28,7 +28,7 @@ Ein @deftech{Bild} (Name: @scheme[image]) ist die Repräsentation eines Bildes. Ein leeres Bild mit Breite und Höhe 0. } -@defthing[image? (%a -> boolean?)]{Der Aufruf @scheme[(image? x)] stellt fest, ob @scheme[x] ein Bild ist.} +@defthing[image? (any -> boolean?)]{Der Aufruf @scheme[(image? x)] stellt fest, ob @scheme[x] ein Bild ist.} @;----------------------------------------------------------------------------- @section[#:tag "modes-colors"]{Modi und Farben} diff --git a/collects/deinprogramm/scribblings/ka.scrbl b/collects/deinprogramm/scribblings/ka.scrbl index 390b09b949..854e162545 100644 --- a/collects/deinprogramm/scribblings/ka.scrbl +++ b/collects/deinprogramm/scribblings/ka.scrbl @@ -98,7 +98,7 @@ Form: Ggf. schreiben Sie außerdem Signaturen für das Prädikat und die Selektoren: @schemeblock[ -(: pred? (%a -> boolean)) +(: pred? (any -> boolean)) (: #,(elem (scheme select) (subscript "1")) (sig -> #,(elem (scheme sig) (subscript "1")))) ... (: #,(elem (scheme select) (subscript "n")) (sig -> #,(elem (scheme sig) (subscript "n"))))