JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety

MIT License

85 stars 3 forks source link

Cleanup definition constraint generation #340

Closed JSAbrahams closed 2 years ago

JSAbrahams commented 2 years ago

Summary

Started as a fix for #329 , turned into just general code cleanup.

Make TrueName mutable by default, which is the behaviour we expect.

codecov[bot] commented 2 years ago

Codecov Report

Merging #340 (6891300) into develop (6ce73a7) will increase coverage by 0.02%. The diff coverage is 100.00%.

@@             Coverage Diff             @@
##           develop     #340      +/-   ##
===========================================
+ Coverage    86.48%   86.51%   +0.02%     
===========================================
  Files          109      109              
  Lines        11637    11625      -12     
===========================================
- Hits         10064    10057       -7     
+ Misses        1573     1568       -5