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

Export let*-values from TR correctly

Browse Source 
Closes PR 14997
This commit is contained in:
Asumu Takikawa 2015-08-12 12:16:05 -04:00
parent 29144c7932
commit 4f050888e2
5 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-compatibility/typed/scheme/base.rkt
View File

@ -3,7 +3,7 @@
(providing (libs (except scheme/base #%module-begin #%top-interaction
with-handlers default-continuation-prompt-tag
define λ lambda define-struct for for*
let let* let-values letrec letrec-values
let let* let-values let*-values letrec letrec-values
let/cc let/ec do case-lambda
for/list for/vector for/hash for/hasheq for/hasheqv
for/and for/or for/sum for/product for/lists

2
typed-racket-lib/typed-racket/base-env/prims.rkt
View File

@ -56,6 +56,7 @@ the typed racket language.
[-let* let*]
[-letrec letrec]
[-let-values let-values]
[-let*-values let*-values]
[-letrec-values letrec-values]
[-let/cc let/cc]
[-let/ec let/ec]
@ -63,6 +64,7 @@ the typed racket language.
[-let* let*:]
[-letrec letrec:]
[-let-values let-values:]
[-let*-values let*-values:]
[-letrec-values letrec-values:]
[-let/cc let/cc:]
[-let/ec let/ec:]

2
typed-racket-lib/typed-racket/private/with-types.rkt
View File

@ -17,7 +17,7 @@
"../standard-inits.rkt"
(for-template
(except-in racket/base for for* with-handlers lambda λ define
let let* letrec letrec-values let-values
let let* letrec letrec-values let-values let*-values
let/cc let/ec do case-lambda struct define-struct
default-continuation-prompt-tag
for/list for/vector for/hash for/hasheq for/hasheqv

2
typed-racket-lib/typed/racket/base.rkt
View File

@ -3,7 +3,7 @@
(providing (libs (except racket/base #%module-begin #%top-interaction
with-handlers default-continuation-prompt-tag
define λ lambda define-struct for for*
let let* let-values letrec letrec-values
let let* let-values let*-values letrec letrec-values
let/cc let/ec do case-lambda struct
for/list for/vector for/hash for/hasheq for/hasheqv
for/and for/or for/sum for/product for/lists

9
typed-racket-test/succeed/pr14997.rkt Normal file
View File

@ -0,0 +1,9 @@
#lang typed/racket
;; Test for PR 14997
(let*-values ([((a : Integer)) 1]) a)
(let*-values ([((a : Integer)) 1] [((b : Integer)) a]) a)
(let*-values: ([((a : Integer)) 1]) a)
(let*-values ([(a) 1]) a)
(let*-values ([(a) 1] [(b) a]) a)