suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix contract-min/max base case.

Browse Source 
original commit: 8bb697108e7ef3b77ecb5c6584b207fb86a6bbac
This commit is contained in:
Sam Tobin-Hochstadt 2012-10-04 16:11:42 -04:00
parent fca69adaf7
commit 280df08a4d
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/private/type-contract.rkt
View File

@ -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)))