Skip to content

rethrow: throw a new, modified version of an exception#22

Closed
matthewleon wants to merge 3 commits intopurescript:masterfrom
matthewleon:rethrow
Closed

rethrow: throw a new, modified version of an exception#22
matthewleon wants to merge 3 commits intopurescript:masterfrom
matthewleon:rethrow

Conversation

@matthewleon
Copy link
Copy Markdown

It seems quite important to have something like this, which I was sadly unable to achieve without cheating the type system a bit.

If someone knows of a way to kill off the coercion, I'd be very happy to do so!

Copy link
Copy Markdown
Contributor

@hdgarrood hdgarrood left a comment

Choose a reason for hiding this comment

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

Looks good to me! I think the doc comment could be clarified a little though - maybe something more like "if an exception is thrown, ..." so that it's clear what happens if the action doesn't throw?

@matthewleon
Copy link
Copy Markdown
Author

I think the doc comment could be clarified a little though

Good catch. I think the new one is clearer.

Copy link
Copy Markdown
Contributor

@hdgarrood hdgarrood left a comment

Choose a reason for hiding this comment

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

Thanks!

@matthewleon
Copy link
Copy Markdown
Author

this is probably superseded by #26

@hdgarrood
Copy link
Copy Markdown
Contributor

Yes, I think you're right. Thanks anyway!

@hdgarrood hdgarrood closed this May 3, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants