On Mon, Feb 1, 2016 at 1:49 PM, Benjamin Greenman <benjaminlgreen...@gmail.com> wrote: > Is there a way to get a list of identifiers exported by a typed module, > along with their type signatures? This is just for scribble, in case that > makes it easier.
No, there isn't something like this currently. There are some challenges to solve relating to phasing to make this work, so it's not trivial to add, but it would be a great feature to have. Sam > > > The story: > > I have an untyped library with a typed compatibility interface, so you can > either (require my-lib) or (require my-lib/typed) depending on whether you > want typed or untyped identifiers. That's all great. > > But I'd like to generate scribble for the typed interface automatically -- > collect a list of identifiers from my-lib/typed, and link to the untyped > definitions in scribble. (This is important because not all untyped > identifiers have typed counterparts.) > Ideally this list should include types: > > f1 : (-> Natural Natural) > > v : Natural > > So far I've only got identifiers (via module->exports). Here's what it looks > like: > https://github.com/bennn/zordoz/pull/93 > > -- > 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. > For more options, visit https://groups.google.com/d/optout. -- 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. For more options, visit https://groups.google.com/d/optout.
