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

Intorduce generalized versions of Assertion and assertFailure #19

Closed
wants to merge 1 commit into from
Closed

Intorduce generalized versions of Assertion and assertFailure #19

wants to merge 1 commit into from

Conversation

osa1
Copy link

@osa1 osa1 commented Mar 9, 2017

Closes #17.

HasCallStack =>
String -- ^ A message that is displayed with the assertion failure
-> Assertion' a
assertFailure' msg = msg `deepseq` E.throwIO (HUnitFailure location $ Reason msg)
Copy link
Member

Choose a reason for hiding this comment

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

I would prefer to change the type of assertFailure instead of introducing a new primitive.

Copy link
Author

Choose a reason for hiding this comment

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

Do you want me to change the type Assertion too or do you want to keep the the old Assertion and make assertFailure Assertion' a ?

Copy link
Member

@sol sol Mar 16, 2017

Choose a reason for hiding this comment

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

Keep Assertion, remove Assertion' and just use IO a for assertFailure.

@sol
Copy link
Member

sol commented Mar 16, 2017

@osa1 sorry for the late reply, btw.

@sol
Copy link
Member

sol commented Mar 20, 2017

Tests were failing. I fixed that and pushed to master.

@sol sol closed this Mar 20, 2017
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