JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety

MIT License

85 stars 3 forks source link

Generate constr for match expression and arm conds #397

Closed JSAbrahams closed 1 year ago

JSAbrahams commented 1 year ago

Summary

This is because as we continue in the match arm body, the condition has the same type as the outer expr. Noticed when testing the factorial example in the README.

Added Tests

Happy

Recursive function call within match arm

codecov[bot] commented 1 year ago

Codecov Report

:exclamation: No coverage uploaded for pull request base (v-0-3-5@9f3e670). Click here to learn what that means. The diff coverage is n/a.

@@            Coverage Diff             @@
##             v-0-3-5     #397   +/-   ##
==========================================
  Coverage           ?   87.42%           
==========================================
  Files              ?      109           
  Lines              ?    12034           
  Branches           ?        0           
==========================================
  Hits               ?    10521           
  Misses             ?     1513           
  Partials           ?        0