Make the compiler re-entrant

[jfecher]

Problem

If new code is inserted into the codebase by macros, the compiler will need to partially or fully restart so that the new code still undergoes name resolution and type checking.

Happy Case

Make the compiler re-entrant so that existing code can be re-checked in a new context with possibly additional names defined or new types, impls in scope, etc.

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

[jfecher]

This is no longer planned - we've switched over to using an elaborator and no longer need the compiler to loop