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

New test for bug found by eli.

Browse Source 
svn: r11969

original commit: 665da912c8d1ed05a973a1cb3d2679678a94187b
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-07 21:55:45 +00:00
parent 687faf6d08
commit 5239b94d65
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/tests/typed-scheme/fail/nested-tvars.ss Normal file
View File

@ -0,0 +1,9 @@
#lang typed-scheme
(: f (All (a) (a -> a)))
(define (f x)
(: g (All (b) (a (Listof a) -> (Listof a))))
(define (g x y) y)
(g "foo" (list "foo")))
(f 3)