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

Allow other kinds of for clauses in for/hash:

Browse Source 
Closes PR 14306

original commit: 120ce62bbb27e10d3f55c9c99cbd14d7cba9fd22
This commit is contained in:
Asumu Takikawa 2014-01-23 11:36:44 -05:00
parent b5c485863d
commit 888d681ecb
2 changed files with 21 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1057,12 +1057,12 @@ This file defines two sorts of primitives. All of them are provided into any mod
(syntax-parse stx
#:literals (:)
((_ (~seq : return-annotation:expr)
(bind:optionally-annotated-binding ...)
clause:for-clauses
body ...) ; body is not always an expression, can be a break-clause
(quasisyntax/loc stx
(for/fold: : return-annotation
((return-hash : return-annotation (ann (#,hash-maker null) return-annotation)))
(bind ...)
(clause.expand ... ...)
(let-values (((key val) (let () body ...)))
(hash-set return-hash key val))))))))
@ -1075,12 +1075,12 @@ This file defines two sorts of primitives. All of them are provided into any mod
(syntax-parse stx
#:literals (:)
((_ (~seq : return-annotation:expr)
(bind:optionally-annotated-binding ...)
clause:for-clauses
body ...) ; body is not always an expression, can be a break-clause
(quasisyntax/loc stx
(for*/fold: : return-annotation
((return-hash : return-annotation (ann (#,hash-maker null) return-annotation)))
(bind ...)
(clause.expand* ... ...)
(let-values (((key val) (let () body ...)))
(hash-set return-hash key val))))))))

17
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -1918,6 +1918,23 @@
(call-with-values (lambda () (eval #'(+ 1 2))) (inst list Any))
(-lst Univ)]
;; for/hash, for*/hash - PR 14306
[tc-e (for/hash: : (HashTable Symbol String)
([x (in-list '(x y z))]
[y (in-list '("a" "b" "c"))]
#:when (eq? x 'x))
(values x y))
#:ret (ret (-HT -Symbol -String)
(-FS -top -top)
(make-NoObject))]
[tc-e (for*/hash: : (HashTable Symbol String)
([k (in-list '(x y z))]
[v (in-list '("a" "b"))]
#:when (eq? k 'x))
(values k v))
#:ret (ret (-HT -Symbol -String)
(-FS -top -top)
(make-NoObject))]
)
(test-suite
"tc-literal tests"