Re: [racket-users] inconvenience in typed Racket

2020-05-22 Thread Hendrik Boom
On Fri, May 22, 2020 at 05:35:04PM -0400, Sam Tobin-Hochstadt wrote: > The problem is almost certainly that `Any` is not allowed in > `Ffi-type`. What's the definition of `Ffi-type`, Casting rettype to Any did not help; adding Any in as one of the options in ffi-type did let it go through.

Re: [racket-users] inconvenience in typed Racket

2020-05-22 Thread Sam Tobin-Hochstadt
The problem is almost certainly that `Any` is not allowed in `Ffi-type`. What's the definition of `Ffi-type`, and why does `params` have a type that involves `Any`? Sam On Fri, May 22, 2020 at 5:21 PM Hendrik Boom wrote: > > Here's the code it's complaining about. > > `(,@params -> ,rettype) >