[plt-scheme] Typed Scheme polymorphic variadic functions

Anthony Cowley wrote:
> On Tue, Mar 17, 2009 at 2:53 PM, David Van Horn <dvanhorn at ccs.neu.edu> wrote:
>> Anthony Cowley wrote:
>>> I am now having problems with the union type constructor:
>>> (U A ... A)
>>> is this also not currently supported?
>> (U A) = A
>> (U A A) = A
>> (U A ... A) = A
> 
> I think you are mistaken on that last example.

Right, sorry.

David