Example of nested polydots.
This commit is contained in:
parent
4578b926c0
commit
b90e1505d3
5
collects/tests/typed-scheme/succeed/nested-poly.ss
Normal file
5
collects/tests/typed-scheme/succeed/nested-poly.ss
Normal file
|
@ -0,0 +1,5 @@
|
||||||
|
#lang typed-scheme
|
||||||
|
|
||||||
|
(: f (All (A ...) (All (B ...) (A ... A -> Int))))
|
||||||
|
|
||||||
|
(define (f . xs) 5)
|
Loading…
Reference in New Issue
Block a user