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.
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)
>
Here's the code it's complaining about.
`(,@params -> ,rettype)
And here's the message:
Type Checker: Polymorphic function `qq-append' could not be applied to
arguments:
Types: (Listof a) (Listof b) -> (Listof (U a b))
Arguments: (Listof (List Any ': Any)) (List '-> Ffi-type)
Expected result:
3 matches
Mail list logo
