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

Fix static contract generation for method case->s

Browse Source 
original commit: 6710d08ff1dfe3283831773912f5f0a77dc01289
This commit is contained in:
Asumu Takikawa 2014-02-21 14:38:45 -05:00
parent f0cff55467
commit c4bfa96216
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt
View File

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