suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add tests for PR 13094.

Browse Source 
The bug itself was fixed already when ordinary
type variable scoping was fixed.

Closes PR 13094
This commit is contained in:
Asumu Takikawa 2013-01-15 15:44:34 -05:00
parent 5fe004cd9b
commit 28d46105c9
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/tests/typed-racket/succeed/pr13094.rkt Normal file
View File

@ -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)))