Disabling this for now because the ambiguous scopeset error is being triggered in some basic cases where it should not (#693 in particular). Actually fixing the underlying hygiene bug requires a bit more thought and time.
I think the real problem has to do with how the module inside edge scope is being added but it's going to take me a little while to work though how to fix it.
Disabling this for now because the ambiguous scopeset error is being triggered in some basic cases where it should not (#693 in particular). Actually fixing the underlying hygiene bug requires a bit more thought and time.
I think the real problem has to do with how the module inside edge scope is being added but it's going to take me a little while to work though how to fix it.