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

original commit: 65c502f9d75f919b8af37bee9698b24a082b27a0
2010-09-10 09:33:02 -04:00 · 2010-09-10 09:33:02 -04:00 · f991c65bb7
commit f991c65bb7
parent e7e187e1de
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)))