From bcc606575c2a8277d5f087691a0fab0ab1c73b79 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Wed, 11 Sep 2013 22:52:02 -0700
Subject: [PATCH] Document new known bugs.

original commit: 4a4c8418dc9428617fca3e2ed85e35332b557d9d
---
 .../typed-racket/optimizer/known-bugs.rkt     | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/known-bugs.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/known-bugs.rkt
index 324cf7a4..f1e73707 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/known-bugs.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/known-bugs.rkt
@@ -148,3 +148,25 @@
 ;; should be: 0.0+nan.0i
 (/ (make-rectangular 1 +inf.0))
 (/ (make-rectangular 1.0 +inf.0))
+
+;; is:        1.0+0.0
+;; should be: +inf.0+0.0
+(+
+  (exp 1.7976931348623151e+308)
+  0.0+0.0i)
+
+;; is:        1.0+0.0i
+;; should be: 1.0-0.0i
+(conjugate 1.0+0.0i)
+
+;; is:        +nan.0+nan.0i
+;; should be: 1.0+1.0i
+(* (expt 10 500) (expt 10 -500) 1.0+1.0i)
+
+;; is:        +nan.0+1.0i
+;; should be: 1.0+1.0i
+(+ (expt 10 501) (expt -10 501) 1.0+1.0i)
+
+;; is:        0.0+0.0i
+;; should be: -0.0-0.0i
+(- (+ 0 0) 0.0+0.0i)