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 b80dc8d)
racket · Nov 1, 2024 · 5ea00f5 · 5ea00f5
1 parent 6570f27
commit 5ea00f5
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 7 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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 ()