Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

More Better Handling of Errors #630

Merged
merged 3 commits into from
Jun 29, 2019
Merged

More Better Handling of Errors #630

merged 3 commits into from
Jun 29, 2019

Conversation

jeromesimeon
Copy link
Member

  • Full revision to lifting (no more deconstructing Success / Failure by hand)
  • Revised overloaded operators for better error reporting
  • New info expression info(e1); e2 indicates that you would like the result of e1 to be printed to th console

@coveralls
Copy link

coveralls commented Jun 29, 2019

Coverage Status

Coverage remained the same at 99.584% when pulling 5771b26 on js-release-0.8.6 into 350142d on master.

@jeromesimeon jeromesimeon merged commit 2b0a5a6 into master Jun 29, 2019
@jeromesimeon jeromesimeon deleted the js-release-0.8.6 branch June 30, 2019 15:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants