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

Conditionalize use of contract.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-07-19 15:40:34 -04:00
parent e07ce478af
commit 8a608ed840
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/infer/infer-unit.rkt
View File

@ -696,7 +696,7 @@
;; just return a boolean result ;; just return a boolean result
(define infer (define infer
(let () (let ()
(define/contract (infer X Y S T R [expected #f]) (define/cond-contract (infer X Y S T R [expected #f])
(((listof symbol?) (listof symbol?) (listof Type/c) (listof Type/c) Type?) ((or/c #f Type?)) . ->* . (or/c boolean? substitution/c)) (((listof symbol?) (listof symbol?) (listof Type/c) (listof Type/c) Type?) ((or/c #f Type?)) . ->* . (or/c boolean? substitution/c))
(with-handlers ([exn:infer? (lambda _ #f)]) (with-handlers ([exn:infer? (lambda _ #f)])
(let* ([expected-cset (if expected (let* ([expected-cset (if expected