On 10/6/19, Raoul Schorer <raoul.scho...@gmail.com> wrote: > Hi, > > I would very much like to import the package multimethod > <https://github.com/lexi-lambda/racket-multimethod/blob/master/multimethod-lib/multimethod/multimethod.rkt> > > 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.
