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

State-based property test for RxFlow. #2

Merged
merged 3 commits into from Mar 27, 2024

Conversation

fisx
Copy link
Contributor

@fisx fisx commented Mar 22, 2024

This code fell out of our attempts to debug http2, and even though they didn't reveal any bugs, I think they are useful as documentation.

It's also good to have a test suite to encourage people to contribute to it. :-)

Let me know if you want to have this, but need me to change or add anything.

Thanks!

@kazu-yamamoto kazu-yamamoto self-requested a review March 25, 2024 11:40
@kazu-yamamoto
Copy link
Owner

pretty-show unnecessarily depends on filepath which mysteriously installs the newest version resulting a dependency hell, sigh.

@kazu-yamamoto
Copy link
Owner

GHC 9.6.4 is provided with filepath 1.4.200.1 which is deprecated.
That's why filepath 1.5.2.0 is to be installed.

@kazu-yamamoto
Copy link
Owner

Can you use pretty-simple instead?


-- types

deriving instance Eq RxFlow
Copy link
Owner

Choose a reason for hiding this comment

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

I added Eq for RxFlow on main.
So, please remove this line.

@kazu-yamamoto
Copy link
Owner

This looks awesome!
I don't understand this PR completely yet but I'm going to merge this PR.
After merging, I will update the document to fix #1.
If you want to modify this test after the discussion in #1, please open a new PR.

@kazu-yamamoto kazu-yamamoto merged commit 1fae55b into kazu-yamamoto:main Mar 27, 2024
@kazu-yamamoto
Copy link
Owner

Merged.
Thank you for your contribution!

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.

None yet

2 participants