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

Initial ListDots test.

Browse Source 
original commit: e40d1824b0b3717a1c2454ebc87257abca352a8a
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-27 14:51:48 -04:00
parent 2ecc5d35d4
commit fd9b246931
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-scheme/succeed/list-dots.rkt Normal file
View File

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