Added a test to make sure derived lists accessors don't get optimized then they shouldn't.

2010-09-10 09:33:02 -04:00 · 2010-09-10 09:33:02 -04:00 · 65c502f9d7
commit 65c502f9d7
parent fce93a2d98
1 changed files with 14 additions and 0 deletions
--- a/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt
@ -0,0 +1,14 @@
+#;
+()
+
+#lang typed/racket #:optimize
+
+;; can't optimize, the lists may not be long enough
+(: f ((Listof Integer) -> Integer))
+(define (f x)
+  (cadr x))
+(: g ((Listof Integer) -> Integer))
+(define (g x)
+  (if (null? x)
+      0
+      (cadr x)))