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

Cleanup function type creation in tc/rec-lambda/check;

Browse Source
This commit is contained in:
Eric Dobson 2014-05-22 09:07:42 -07:00
parent 91e887300f
commit ebd7f8dc92
1 changed files with 1 additions and 3 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/typecheck/tc-lambda-unit.rkt
View File

@ -534,9 +534,7 @@
(define formals (syntax->list formals*)) (define formals (syntax->list formals*))
(with-lexical-env/extend (with-lexical-env/extend
formals args formals args
(let* ([r (tc-results->values return)] (let* ([ft (->* args (tc-results->values return))]
[t (make-arr args r)]
[ft (make-Function (list t))])
(with-lexical-env/extend (with-lexical-env/extend
(list name) (list ft) (list name) (list ft)
(values (values