search

goplus / gop

The Go+ programming language is designed for engineering, STEM education, and data science. Our vision is to enable everyone to become a builder of the digital world.
https://goplus.org
Apache License 2.0
8.98k stars 548 forks source link

mini spec: Type unification rules #2013

Closed xushiwei closed 2 weeks ago

codecov[bot] commented 2 weeks ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 93.34%. Comparing base (af962c5) to head (cf230ca). Report is 5 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #2013 +/- ## ========================================== - Coverage 93.34% 93.34% -0.01% ========================================== Files 42 41 -1 Lines 11734 11732 -2 ========================================== - Hits 10953 10951 -2 Misses 624 624 Partials 157 157 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.