<div dir="ltr">Hi,<br><br>In attempting to implement an extensible interface field for Core bindings based<br>on my previous interfaces patch, I've run into problems with deserialising the<br>special type reflection `$trModule` bindings generated by `GHC.Tc.Instance.Typeable.mkTypeableBinds`.<br>These bindings are then stored in the `ModGuts.mg_binds` along with the real exported<br>top-level bindings of the module.<br><br>Specifically, attempting to load the iface right-hand side expressions with<br>`tcIfaceExpr` results in the error "Iface id out of scope" from `GHC.Iface.Env.tcIfaceLclId`.<br>My understanding is that this may be because the binding is attempting to look<br>itself up within the interface loading environment, without being bound yet -<br>though it's unclear to me whether this is the correct behaviour for these special<br>type reflection bindings, or if there's some special treatment that should be<br>instead applied to load these.<br><br>Any advice on how I should proceed would be greatly appreciated.<br><br>Cheers,<br>Josh<br></div>