From 55114e298ef8ab8439cf7c8445ecdd15495eebf3 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Mon, 10 Jul 2017 16:24:26 -0500
Subject: [PATCH] Tests for #577.

Closes #576
---
 typed-racket-test/optimizer/tests/issue-577.rkt | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 typed-racket-test/optimizer/tests/issue-577.rkt

diff --git a/typed-racket-test/optimizer/tests/issue-577.rkt b/typed-racket-test/optimizer/tests/issue-577.rkt
new file mode 100644
index 00000000..a134ea4b
--- /dev/null
+++ b/typed-racket-test/optimizer/tests/issue-577.rkt
@@ -0,0 +1,17 @@
+#;#;
+#<<END
+TR opt: issue-577.rkt 16:0 (magnitude 0.0+0.0i) -- unboxed unary float complex
+TR opt: issue-577.rkt 16:11 0.0+0.0i -- unboxed literal
+TR opt: issue-577.rkt 17:0 (magnitude 1.6496437860480294e+295+1.7259537815112588e-137i) -- unboxed unary float complex
+TR opt: issue-577.rkt 17:11 1.6496437860480294e+295+1.7259537815112588e-137i -- unboxed literal
+END
+#<<END
+0.0
+1.6496437860480294e+295
+
+END
+
+#lang typed/racket
+
+(magnitude 0.0+0.0i)
+(magnitude 1.6496437860480294e+295+1.7259537815112588e-137i)