search

escalier-lang / escalier-next

Improved type safety with tight TypeScript interop
https://escalier-lang.github.io/escalier-next/
MIT License
14 stars 0 forks source link

Implement property assignability and spread semantics for exact/inexact object types #329

Closed kevinbarabash closed 3 months ago

kevinbarabash commented 3 months ago

This also fixes #328.

codecov-commenter commented 3 months ago

Codecov Report

Attention: Patch coverage is 85.71429% with 8 lines in your changes missing coverage. Please review.

Project coverage is 83.94%. Comparing base (b035563) to head (bf63b6a).

Files Patch % Lines
src/Escalier.TypeChecker/Infer.fs 57.14% 6 Missing :warning:
src/Escalier.TypeChecker/Unify.fs 95.23% 2 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #329 +/- ## ======================================= Coverage 83.94% 83.94% ======================================= Files 23 23 Lines 11819 11869 +50 Branches 1656 1664 +8 ======================================= + Hits 9922 9964 +42 - Misses 1897 1905 +8 ```

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