From a52e59a61bbcc8d229eb0150af07eee365c2d043 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 28 May 2011 12:31:05 +0200 Subject: [PATCH] Add alpha-rgb-color contract to teachpack/deinprogramm/image. --- collects/deinprogramm/image.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/deinprogramm/image.rkt b/collects/deinprogramm/image.rkt index 358cb270b0..525ee8d488 100644 --- a/collects/deinprogramm/image.rkt +++ b/collects/deinprogramm/image.rkt @@ -61,7 +61,7 @@ plt/collects/tests/deinprogramm/image.ss alpha-color-blue alpha-color? - octet rgb-color mode image image-color + octet rgb-color alpha-rgb-color mode image image-color h-place v-place h-mode v-mode) ;; ---------------------------------------- @@ -859,6 +859,7 @@ converting from the computer's coordinates, we get: (define octet (signature (combined natural (predicate (lambda (n) (<= n 255)))))) (define rgb-color (signature (predicate color?))) +(define alpha-rgb-color (signature (predicate alpha-color?))) (define mode (signature (one-of "solid" "outline"))) (define image (signature (predicate image?))) (define image-color (signature (predicate image-color?)))