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