From d5d296c3506ee6f34e3d18c6364d124580b024fc Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Fri, 25 May 2018 08:54:56 -0500
Subject: [PATCH] add missing arguments so external combinators can supply
 #:equivalent

---
 racket/collects/racket/contract/combinator.rkt | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/racket/collects/racket/contract/combinator.rkt b/racket/collects/racket/contract/combinator.rkt
index cbb2e0d677..9936f3b4f5 100644
--- a/racket/collects/racket/contract/combinator.rkt
+++ b/racket/collects/racket/contract/combinator.rkt
@@ -126,6 +126,7 @@
                     #:val-first-projection [val-first-projection #f]
                     #:projection [projection #f]
                     #:stronger [stronger #f]
+                    #:equivalent [equivalent #f]
                     #:list-contract? [is-list-contract #f])
            (:make-chaperone-contract
             #:name name
@@ -137,6 +138,7 @@
             #:projection
             (maybe-add-wrapper add-projection-chaperone-check projection)
             #:stronger stronger
+            #:equivalent equivalent
             #:list-contract? is-list-contract))])
     make-chaperone-contract))
 
@@ -149,6 +151,7 @@
              #:late-neg-projection [late-neg-proj #f]
              #:projection [get-projection #f]
              #:stronger [stronger #f]
+             #:equivalent [equivalent #f]
              #:generate [generate #f]
              #:exercise [exercise #f]
              #:list-contract? [is-list-contract? (λ (c) #f)])
@@ -162,6 +165,7 @@
        #:projection
        (maybe-add-wrapper add-prop-chaperone-check get-projection)
        #:stronger stronger
+       #:equivalent equivalent
        #:generate generate
        #:exercise exercise
        #:list-contract? is-list-contract?))
@@ -220,6 +224,7 @@
                     #:val-first-projection [val-first-projection #f]
                     #:projection [projection #f]
                     #:stronger [stronger #f]
+                    #:equivalent [equivalent #f]
                     #:list-contract? [is-list-contract #f])
            (:make-flat-contract
             #:name name
@@ -228,6 +233,7 @@
             #:val-first-projection (force-val-first-eq val-first-projection)
             #:projection (force-projection-eq projection)
             #:stronger stronger
+            #:equivalent equivalent
             #:list-contract? is-list-contract))])
     make-flat-contract))
 
@@ -239,6 +245,7 @@
                     #:val-first-projection [val-first-projection #f]
                     #:projection [projection #f]
                     #:stronger [stronger #f]
+                    #:equivalent [equivalent #f]
                     #:generate [generate (λ (ctc) (λ (fuel) #f))]
                     #:list-contract? [is-list-contract (λ (c) #f)])
            (:build-flat-contract-property
@@ -251,6 +258,7 @@
             #:projection
             (and projection (λ (c) (force-projection-eq (projection c))))
             #:stronger stronger
+            #:equivalent equivalent
             #:generate generate
             #:list-contract? is-list-contract))])
     build-flat-contract-property))