<div dir="ltr"><div>Hello,</div><div><br></div><div>The mg_binds field of the ModGuts seem to only contain the bindings that are exported from the module being compiled.<br></div><div><br></div><div>I guess GHC must be running user-plugins after it drops the bindings that are not exported, which makes perfect sense for most use cases. However, I'm working on a plugin where the end-programmer embeds "properties" in the form of functions inside his/her code, which are not necessarily exported from the module under consideration.</div><div><br></div><div>Is there a way to access all top-level bindings in a module from a plugin, even if those bindings are not exported?</div><div><br></div><div>Thanks,</div><div><br></div><div>-Levent.</div><div><br></div><div><br></div></div>