From e40d1824b0b3717a1c2454ebc87257abca352a8a Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 27 May 2010 14:51:48 -0400 Subject: [PATCH] Initial ListDots test. --- collects/tests/typed-scheme/succeed/list-dots.rkt | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 collects/tests/typed-scheme/succeed/list-dots.rkt diff --git a/collects/tests/typed-scheme/succeed/list-dots.rkt b/collects/tests/typed-scheme/succeed/list-dots.rkt new file mode 100644 index 0000000000..5ad1d38fb1 --- /dev/null +++ b/collects/tests/typed-scheme/succeed/list-dots.rkt @@ -0,0 +1,6 @@ +#lang typed/racket + +(: f (All (a ...) ((List a ...) -> (List a ... a)))) +(define (f x) x) + +(ann (values (inst f String Number Boolean)) String)