Re: [racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

Tobin-Hochstadt wrote: In that case, which side is not typed? If the user side isn't typed, then you can _read_ things of type `Any` from the channel just fine. Sam On Fri, Apr 20, 2018 at 10:14 AM, mailoo <dmichi...@mailoo.org> wrote: Unfortunatly, not. I'm building a framework were th

Re: [racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

on the channel? That will allow Typed Racket to generate a contract that works for your values. Sam On Fri, Apr 20, 2018, 6:14 AM mailoo <dmichi...@mailoo.org <mailto:dmichi...@mailoo.org>> wrote: Hello, I continue my work with Typed/Racket and Racket, and I now have ano

Re: [racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

Hello, I continue my work with Typed/Racket and Racket, and I now have another problem, with the same error. I try to use in untyped racket a typed async-channel of type Any, and I'm not able to use the higher-order value from this channel. Here is an example code that show this problem :

Re: [racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

nteger)])   (g 20)) (require 'c) That is, run the dynamic-require in an untyped module and then import it at the desired type? On Apr 16, 2018, at 5:22 AM, mailoo <dmichi...@mailoo.org <mailto:dmichi...@mailoo.org>> wrote: Hello, I'm new to racket, and even more with typed/rack

[racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

Hello, I'm new to racket, and even more with typed/racket. I play a little with the "Any" type (due to 'dynamic-require' which return Any), and I'm not able to cast them back in a function. I (over) simplify my question with this little program : ``` (: p Any) (define (p i) (displayln i))