Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove F.never from Resource initializer #883

Merged
merged 3 commits into from
Apr 21, 2020
Merged

Remove F.never from Resource initializer #883

merged 3 commits into from
Apr 21, 2020

Conversation

cb372
Copy link
Member

@cb372 cb372 commented Apr 21, 2020

Because it had never in the initializer, the initialization step would never finish.

Also rewrite the server function to use serverResource, and add some comments.

What this does?

Changes, features, fixes ...

Checklist

  • Reviewed the diff to look for typos, println and format errors.
  • Updated the docs accordingly.

cb372 added 2 commits April 21, 2020 14:47
Because it had `never` in the initializer, the initialization step would
never finish.

Also rewrite the `server` function to use `serverResource`, and add some
comments.
@codecov
Copy link

codecov bot commented Apr 21, 2020

Codecov Report

Merging #883 into master will not change coverage.
The diff coverage is 0.00%.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #883   +/-   ##
=======================================
  Coverage   86.28%   86.28%           
=======================================
  Files          57       57           
  Lines         824      824           
  Branches        5        5           
=======================================
  Hits          711      711           
  Misses        113      113           
Impacted Files Coverage Δ
...cala/higherkindness/mu/rpc/server/GrpcServer.scala 76.00% <0.00%> (ø)

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 e095da3...a72a98a. Read the comment docs.

Copy link
Member

@juanpedromoreno juanpedromoreno left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@cb372 cb372 merged commit 498c23f into master Apr 21, 2020
@cb372 cb372 deleted the server-resource branch April 21, 2020 15:11
@cb372 cb372 added the enhancement New feature or request label Apr 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants