loadInterfaceForModule

[Edward Z. Yang]

Hello Gergely,

I was cleaning up LoadIface and I noticed in 

    commit 69fa2e558d56178d33950df815c3233606b0d44e
    Author: Austin Seipp <austin at well-typed.com>
    Date:   Fri Nov 1 22:15:53 2013 -0500

        Add support for module reification (#1480)

        Authored-by: Gergely Risko <gergely at risko.hu>
        Signed-off-by: Austin Seipp <austin at well-typed.com>

You added a function loadInterfaceForModule which has the exact same
type as loadModuleInterface, except when debugging is on it has an extra
check to ensure you don't try to load the the current module (this seems
like a general invariant that would be good to enforce).

Was there any particular reason you created an extra function for this,
or can we just use the existing function?

Edward