Re: [racket-users] Is there a trick to know which types to specify when importing untyped racket into typed racket?

[Ben Greenman]

On 10/6/19, Raoul Schorer  wrote:
> Hi,
>
> I would very much like to import the package multimethod
> 
>
> into a typed module. Unfortunately, the symbols exported by this module are
>
> non-trivial macros (at least to me).
> So I would like to know whether there is some kind of technique to know
> which type to specify for imported symbols with require/typed?
> I tried various things to no avail. Will I be forced to check the code
> expansion and try to check types manually if I want to use the package?

I don't know any alternative to typechecking the expanded code to see
if anything's missing

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAFUu9R780%2B4__%2BjsXjf4ZRYTSHw5v%3DOERDu-JssWB371GoK5gA%40mail.gmail.com.

[racket-users] Is there a trick to know which types to specify when importing untyped racket into typed racket?

[Raoul Schorer]

Hi,

I would very much like to import the package multimethod 

 
into a typed module. Unfortunately, the symbols exported by this module are 
non-trivial macros (at least to me).
So I would like to know whether there is some kind of technique to know 
which type to specify for imported symbols with require/typed?
I tried various things to no avail. Will I be forced to check the code 
expansion and try to check types manually if I want to use the package?

So, in practice:
#lang typed/racket


(require/typed multimethod
   [struct ...?]
   [define-generic ...?]
   [define-instance ...?])

Thanks!
Raoul

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/0376044f-673d-4fcd-8526-82d4196d2570%40googlegroups.com.