From 65c502f9d75f919b8af37bee9698b24a082b27a0 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 10 Sep 2010 09:33:02 -0400 Subject: [PATCH] Added a test to make sure derived lists accessors don't get optimized then they shouldn't. --- .../optimizer/tests/invalid-derived-pair.rkt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt new file mode 100644 index 0000000000..89a4ca52a5 --- /dev/null +++ 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)))