Fix predicate signatures in DMdA.

Use any -> boolean instead of %a -> boolean.
This commit is contained in:
Mike Sperber 2011-05-28 12:10:51 +02:00
parent 32522f1f68
commit 24961f750c
2 changed files with 2 additions and 2 deletions

View File

@ -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}

View File

@ -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"))))