From c4bfa96216587450bc5c498a2593ebb2517951e4 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 21 Feb 2014 14:38:45 -0500 Subject: [PATCH] Fix static contract generation for method case->s original commit: 6710d08ff1dfe3283831773912f5f0a77dc01289 --- .../typed-racket-lib/typed-racket/private/type-contract.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt index 65bc6b69..7744c526 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt @@ -405,7 +405,9 @@ (fail #:reason (~a "cannot generate contract for case function type" " with optional keyword arguments"))) (if case-> - (arr/sc (map t->sc/neg dom) (and rst (t->sc/neg rst)) (map t->sc rngs)) + (arr/sc (process-dom (map t->sc/neg dom)) + (and rst (t->sc/neg rst)) + (map t->sc rngs)) (function/sc (process-dom (map t->sc/neg dom)) null