Closed mukul-rathi closed 4 years ago
This shouldn't affect data race typechecker - do this in desugaring stage.
https://www.avabodh.com/cxxin/namemangling.html - this is how c++ does it
This shouldn't affect data race typechecker - do this in desugaring stage.