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

Add tests for commit e53b0858c32b845482

Browse Source 
original commit: ae7741fe60c29fab381e3bd1a84c94d659bcf53b
This commit is contained in:
Asumu Takikawa 2013-05-10 15:41:50 -04:00
parent 1b953365ea
commit 826c793324
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-racket/fail/pr13526.rkt Normal file
View File

@ -0,0 +1,6 @@
#;
(exn-pred #rx"Expected result: AnyValues")
#lang typed/racket
(map "hello" "world")

8
collects/tests/typed-racket/fail/pr13577.rkt Normal file
View File

@ -0,0 +1,8 @@
#;
(exn-pred #rx"Expected result: AnyValues")
#lang typed/racket
(for/sum ([k (in-naturals)])
(/ 1 (* k k)))