search

JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety
MIT License
88 stars 4 forks source link

Add extra test for unify access #240

Closed JSAbrahams closed 2 years ago

JSAbrahams commented 2 years ago

Relevant issues

Resolves https://github.com/JSAbrahams/mamba/issues/228

Summary

Now, the thing the function return type is being compared to must be the super. This makes sense, as a function may return a subset of the type its value is being assigned to, but not the other way around.

Modify desugar stage so that tuples do not have type annotations, which Python does not allow.

Added Tests

codecov[bot] commented 2 years ago

Codecov Report

:exclamation: No coverage uploaded for pull request base (develop@9d3879e). Click here to learn what that means. The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##             develop     #240   +/-   ##
==========================================
  Coverage           ?   79.90%           
==========================================
  Files              ?       99           
  Lines              ?     8728           
  Branches           ?        0           
==========================================
  Hits               ?     6974           
  Misses             ?     1754           
  Partials           ?        0

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 9d3879e...0f30d12. Read the comment docs.