shumbo / choreography-ts

Choreographic Programming in TypeScript
1 stars 2 forks source link

Colocated in choreographies #32

Open ImpregnableProgrammer opened 1 year ago

ImpregnableProgrammer commented 1 year ago

This pull request makes changes that resolve issue #31 to now allow passing Colocated messages to and returning them from choreographies. This works around the limitation of Colocated message types being contravariant, which caused an issue while passing them as arguments to choreographies.

codecov[bot] commented 1 year ago

Codecov Report

Merging #32 (279812a) into main (da8a029) will decrease coverage by 0.12%. The diff coverage is 80.00%.

@@            Coverage Diff             @@
##             main      #32      +/-   ##
==========================================
- Coverage   88.48%   88.36%   -0.12%     
==========================================
  Files          19       19              
  Lines         660      662       +2     
  Branches       89       89              
==========================================
+ Hits          584      585       +1     
- Misses         75       76       +1     
  Partials        1        1              
Files Changed Coverage Δ
packages/core/src/backend-generic.ts 92.17% <50.00%> (ø)
packages/core/src/core.ts 88.88% <100.00%> (+1.38%) :arrow_up:

... and 1 file with indirect coverage changes

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more