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

Example of nested polydots.

Browse Source 
original commit: b90e1505d35e695f13cd81417ced00fae709223b
This commit is contained in:
Stevie Strickland 2008-07-01 14:43:44 -04:00
parent f84545ceef
commit 19b45b32c4
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/typed-scheme/succeed/nested-poly.ss Normal file
View File

@ -0,0 +1,5 @@
#lang typed-scheme
(: f (All (A ...) (All (B ...) (A ... A -> Int))))
(define (f . xs) 5)