Announcing Scrod, like Haddock but faster

Yup, that’s exactly right!

For name resolution, Scrod has enough information to guess , but it can’t tell for certain. So it doesn’t even try. But in theory something consuming Scrod’s output could try to do ad hoc name resolution using the list of imported modules.

Another consequence of no type checking is that the module may not even compile! This is actually really useful with the VSCode extension, because you can preview documentation while you’re editing a module (as long as there are no parse errors, of course).