From 28d46105c90a026d2313d316581faf8166da1f9a Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 15 Jan 2013 15:44:34 -0500 Subject: [PATCH] Add tests for PR 13094. The bug itself was fixed already when ordinary type variable scoping was fixed. Closes PR 13094 --- collects/tests/typed-racket/succeed/pr13094.rkt | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 collects/tests/typed-racket/succeed/pr13094.rkt diff --git a/collects/tests/typed-racket/succeed/pr13094.rkt b/collects/tests/typed-racket/succeed/pr13094.rkt new file mode 100644 index 0000000000..9abc1baa9e --- /dev/null +++ b/collects/tests/typed-racket/succeed/pr13094.rkt @@ -0,0 +1,12 @@ +#lang typed/racket + +;; Test alpha equivalent types + +(: x (All (A) (A -> A))) +(define x (plambda: (C) ((f : C)) f)) + +(: y (All (A) (A A -> A))) +(define y (plambda: (C) ((f : C) (g : A)) f)) + +(: z (All (B) (B (B -> B) -> B))) +(define z (plambda: (C) ((x : C) (f : (B -> B))) (f x)))