From ffc0331fa7c4788445a54b51154c1020a2331e44 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 19 Jun 2008 18:04:30 -0400
Subject: [PATCH] New test

original commit: 2bf691991c2c7316cb2f4b30677a7fd424f7e4dc
---
 collects/tests/typed-scheme/succeed/dotted-identity.ss | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 collects/tests/typed-scheme/succeed/dotted-identity.ss

diff --git a/collects/tests/typed-scheme/succeed/dotted-identity.ss b/collects/tests/typed-scheme/succeed/dotted-identity.ss
new file mode 100644
index 00000000..0ff8aedc
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/dotted-identity.ss
@@ -0,0 +1,10 @@
+#lang typed-scheme
+
+(: f (All (a ...) ((a ... a -> Integer) -> (a ... a -> Integer))))
+(define (f x) x)
+
+(: y (Integer Integer -> Integer))
+(define (y a b) (+ a b))
+
+#{(f y) :: (Integer Integer -> Integer)}
+