From 5ea00f5ca1d2cf7d5299006e05abbfc1be2481ce Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Wed, 30 Oct 2024 17:18:26 +0100 Subject: [PATCH] Rename ==> to ===>. This is part of the for-all syntax for property-based testing. This change avoids a clash with an HtDP2e exercise. (cherry picked from commit b80dc8dbea75cdaf68562b8bd817710a6f5a9ba5) --- htdp-lib/lang/htdp-advanced.rkt | 2 +- htdp-lib/lang/htdp-beginner-abbr.rkt | 2 +- htdp-lib/lang/htdp-beginner.rkt | 2 +- htdp-lib/lang/htdp-intermediate-lambda.rkt | 2 +- htdp-lib/lang/htdp-intermediate.rkt | 2 +- htdp-lib/lang/private/teach.rkt | 5 +++-- 6 files changed, 8 insertions(+), 7 deletions(-) diff --git a/htdp-lib/lang/htdp-advanced.rkt b/htdp-lib/lang/htdp-advanced.rkt index 53406309..6e831a00 100644 --- a/htdp-lib/lang/htdp-advanced.rkt +++ b/htdp-lib/lang/htdp-advanced.rkt @@ -70,7 +70,7 @@ Number Real Rational Integer Natural Boolean True False String Symbol Char Any ConsOf ListOf EmptyList Property - check-property for-all ==> expect expect-within expect-member-of expect-range) + check-property for-all ===> expect expect-within expect-member-of expect-range) ;; procedures: (provide-and-scribble diff --git a/htdp-lib/lang/htdp-beginner-abbr.rkt b/htdp-lib/lang/htdp-beginner-abbr.rkt index cf03753f..533fe3ee 100644 --- a/htdp-lib/lang/htdp-beginner-abbr.rkt +++ b/htdp-lib/lang/htdp-beginner-abbr.rkt @@ -53,7 +53,7 @@ Number Real Rational Integer Natural Boolean True False String Symbol Char Any ListOf EmptyList Property - check-property for-all ==> expect expect-within expect-member-of expect-range) + check-property for-all ===> expect expect-within expect-member-of expect-range) ;; procedures: (provide-and-scribble diff --git a/htdp-lib/lang/htdp-beginner.rkt b/htdp-lib/lang/htdp-beginner.rkt index 4622aaa3..e212f796 100644 --- a/htdp-lib/lang/htdp-beginner.rkt +++ b/htdp-lib/lang/htdp-beginner.rkt @@ -57,7 +57,7 @@ Number Real Rational Integer Natural Boolean True False String Symbol Char Any ListOf EmptyList Property - check-property for-all ==> expect expect-within expect-member-of expect-range) + check-property for-all ===> expect expect-within expect-member-of expect-range) ;; procedures: (provide-and-scribble diff --git a/htdp-lib/lang/htdp-intermediate-lambda.rkt b/htdp-lib/lang/htdp-intermediate-lambda.rkt index ed396e39..698d405b 100644 --- a/htdp-lib/lang/htdp-intermediate-lambda.rkt +++ b/htdp-lib/lang/htdp-intermediate-lambda.rkt @@ -57,7 +57,7 @@ Number Real Rational Integer Natural Boolean True False String Symbol Char Any ConsOf ListOf EmptyList Property - check-property for-all ==> expect expect-within expect-member-of expect-range) + check-property for-all ===> expect expect-within expect-member-of expect-range) ;; procedures: (provide-and-scribble diff --git a/htdp-lib/lang/htdp-intermediate.rkt b/htdp-lib/lang/htdp-intermediate.rkt index 25b986c8..110b5f4a 100644 --- a/htdp-lib/lang/htdp-intermediate.rkt +++ b/htdp-lib/lang/htdp-intermediate.rkt @@ -59,7 +59,7 @@ Number Real Rational Integer Natural Boolean True False String Symbol Char Any ConsOf ListOf EmptyList Property - check-property for-all ==> expect expect-within expect-member-of expect-range) + check-property for-all ===> expect expect-within expect-member-of expect-range) (provide-and-scribble diff --git a/htdp-lib/lang/private/teach.rkt b/htdp-lib/lang/private/teach.rkt index c505bde1..200a56b9 100644 --- a/htdp-lib/lang/private/teach.rkt +++ b/htdp-lib/lang/private/teach.rkt @@ -3255,10 +3255,11 @@ ; QuickCheck -(provide for-all ==> +(provide for-all check-property expect expect-within expect-member-of expect-range - Property) + Property + (rename ==> ===>)) (define-syntax (for-all stx) (syntax-case stx ()