Add tests for commit e53b0858c3
This commit is contained in:
parent
710e59bf13
commit
ae7741fe60
6
collects/tests/typed-racket/fail/pr13526.rkt
Normal file
6
collects/tests/typed-racket/fail/pr13526.rkt
Normal 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
8
collects/tests/typed-racket/fail/pr13577.rkt
Normal file
|
@ -0,0 +1,8 @@
|
|||
#;
|
||||
(exn-pred #rx"Expected result: AnyValues")
|
||||
|
||||
#lang typed/racket
|
||||
|
||||
(for/sum ([k (in-naturals)])
|
||||
(/ 1 (* k k)))
|
||||
|
Loading…
Reference in New Issue
Block a user