Hi, I'm wondering if there's an option to stop after type checking? Somehow I thought there was. I know that jhc does all the type checking prior to compiling, but it'd be nice to be able to *just* do the type checking (e.g. for tests to see what modules are available, and what they export). -- David Roundy