Tests for new optimizer additions.

original commit: 3e4ddde80806795923ee8dab602da80ca38e2ec0
2010-08-26 11:45:44 -04:00 · 2010-08-26 11:45:44 -04:00 · 3929e32f26
commit 3929e32f26
parent c35ef60c7f
2 changed files with 15 additions and 0 deletions
--- a/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt
+++ b/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt
@ -0,0 +1,5 @@
+#lang typed/racket/base #:optimize
+
+(require racket/unsafe/ops)
+
+(magnitude 3.0+4.0i)
--- a/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt
+++ b/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt
@ -0,0 +1,10 @@
+#lang typed/racket/base #:optimize
+
+(require racket/unsafe/ops)
+
+(ann
+ (let loop ([v 0.0+1.0i])
+  (if (> (real-part v) 70000.2) 
+      0
+      (loop (+ v 3.6))))
+ Integer)