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

Fix untested contract generation code.

Browse Source 
Closes PR 13449.
This commit is contained in:
Eric Dobson 2013-04-04 08:29:15 -07:00
parent 76de4d3cca
commit 94861becd0
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/tests/typed-racket/succeed/case-lambda-rest.rkt Normal file
View File

@ -0,0 +1,12 @@
#lang racket/load
(module a typed/racket
(provide foo)
(: foo
(case->
(Number String * -> Number)
(Number String String * -> Number)))
(define (foo x . args) x))
(require 'a)
(foo 3 "x")

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

@ -190,7 +190,7 @@
(append (map t->c/neg (drop last-dom (length first-dom))) (append (map t->c/neg (drop last-dom (length first-dom)))
(append-map conv opt-kws)))] (append-map conv opt-kws)))]
[rng* (process-rngs (map t->c rngs))] [rng* (process-rngs (map t->c rngs))]
[(rst-spec ...) (if rst #'(#:rest (listof #,(t->c/neg rest))) #'())]) [(rst-spec ...) (if rst #`(#:rest (listof #,(t->c/neg rst))) #'())])
#'((dom* ...) (opt-dom* ...) rst-spec ... . ->* . rng*))])] #'((dom* ...) (opt-dom* ...) rst-spec ... . ->* . rng*))])]
[else [else
(define ((f [case-> #f]) a) (define ((f [case-> #f]) a)