From ae7741fe60c29fab381e3bd1a84c94d659bcf53b Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Fri, 10 May 2013 15:41:50 -0400
Subject: [PATCH] Add tests for commit e53b0858c32b845482

---
 collects/tests/typed-racket/fail/pr13526.rkt | 6 ++++++
 collects/tests/typed-racket/fail/pr13577.rkt | 8 ++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 collects/tests/typed-racket/fail/pr13526.rkt
 create mode 100644 collects/tests/typed-racket/fail/pr13577.rkt

diff --git a/collects/tests/typed-racket/fail/pr13526.rkt b/collects/tests/typed-racket/fail/pr13526.rkt
new file mode 100644
index 0000000000..3a02bef687
--- /dev/null
+++ b/collects/tests/typed-racket/fail/pr13526.rkt
@@ -0,0 +1,6 @@
+#;
+(exn-pred #rx"Expected result: AnyValues")
+
+#lang typed/racket
+
+(map "hello" "world")
diff --git a/collects/tests/typed-racket/fail/pr13577.rkt b/collects/tests/typed-racket/fail/pr13577.rkt
new file mode 100644
index 0000000000..7a6c1500b8
--- /dev/null
+++ b/collects/tests/typed-racket/fail/pr13577.rkt
@@ -0,0 +1,8 @@
+#;
+(exn-pred #rx"Expected result: AnyValues")
+
+#lang typed/racket
+
+(for/sum ([k (in-naturals)])
+  (/ 1 (* k k)))
+