Re: [racket-users] `apply`ing polymorphic functions in typed/racket

On Thu, Jan 5, 2017 at 3:28 PM, Matthew Eric Bassett wrote: > > the type signatures of this functions are: > (-> (Setof e) (Setof e) * (Setof e)) > > > (define list0 > (list (set 2) (set 3 2))) > (apply set-union list0) > > > (define list2 : (Listof (Setof

[racket-users] `apply`ing polymorphic functions in typed/racket

Hi everyone, I have a strange example for you. The following code throws an error in typed/racket 6.7: > (define (list1) : (Listof (Setof Positive-Byte)) (list (set 2) (set 3 2))) (apply set-union (list1)) Type Checker: Bad arguments to function in `apply': Domain: (Setof e) (Setof e) *