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

New test

Browse Source 
original commit: 2bf691991c2c7316cb2f4b30677a7fd424f7e4dc
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-19 18:04:30 -04:00
parent 2e4d817391
commit ffc0331fa7
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/tests/typed-scheme/succeed/dotted-identity.ss Normal file
View File

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