You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Part of #99: We must mangle the full module name into the name of a term as well as normalize Arbitrary Unicode Garbage in symbol names. The GIRWriter can then be updated to account for this.
The text was updated successfully, but these errors were encountered:
We can mangle the fact that we specialized parameters, but I think specializations will be internal to the calling module so we can come up with any old naming scheme.
Part of #99: We must mangle the full module name into the name of a term as well as normalize Arbitrary Unicode Garbage in symbol names. The GIRWriter can then be updated to account for this.
The text was updated successfully, but these errors were encountered: