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?
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.
