Fix static contract generation for method case->s
This commit is contained in:
parent
19b785956f
commit
6710d08ff1
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user