From 280df08a4de27e43b0811570b24d2ea7204e3689 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 4 Oct 2012 16:11:42 -0400 Subject: [PATCH] Fix contract-min/max base case. original commit: 8bb697108e7ef3b77ecb5c6584b207fb86a6bbac --- collects/typed-racket/private/type-contract.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/typed-racket/private/type-contract.rkt b/collects/typed-racket/private/type-contract.rkt index 41fa38ab..c32db15a 100644 --- a/collects/typed-racket/private/type-contract.rkt +++ b/collects/typed-racket/private/type-contract.rkt @@ -78,7 +78,7 @@ (define chaperone-sym 'chaperone) (define flat-sym 'flat) -(define (contract-kind-max . args) +(define (contract-kind-max i . args) (define (contract-kind-max2 x y) (cond ((equal? flat-sym x) y) @@ -86,11 +86,11 @@ ((equal? chaperone-sym x) y) ((equal? chaperone-sym y) x) (else impersonator-sym))) - (for/fold ((acc flat-sym)) ((v args)) + (for/fold ((acc i)) ((v args)) (contract-kind-max2 v acc))) -(define (contract-kind-min . args) +(define (contract-kind-min i . args) (define (contract-kind-min2 x y) (cond ((equal? flat-sym x) x) @@ -98,7 +98,7 @@ ((equal? chaperone-sym x) x) ((equal? chaperone-sym y) y) (else impersonator-sym))) - (for/fold ((acc flat-sym)) ((v args)) + (for/fold ((acc i)) ((v args)) (contract-kind-min2 v acc)))