[racket-users] scribble: module->typed-exports ?

2016-02-01 Thread Benjamin Greenman
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

Re: [racket-users] scribble: module->typed-exports ?

2016-02-01 Thread Sam Tobin-Hochstadt
On Mon, Feb 1, 2016 at 1:49 PM, Benjamin Greenman 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