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

tripping with a monadic action #374

Open
wants to merge 6 commits into
base: master
Choose a base branch
from

Conversation

ersran9
Copy link

@ersran9 ersran9 commented Feb 22, 2020

adds a function trippingM which can do tripping with a monadic action

@ersran9 ersran9 mentioned this pull request Feb 22, 2020
@ersran9
Copy link
Author

ersran9 commented Feb 22, 2020

I'm not sure why appveyor 8.6.5 and 8.8 is failing... anything we can do to fix it?

@moodmosaic
Copy link
Member

I'm not sure why appveyor 8.6.5 and 8.8 is failing

@ersran9, sometimes it's just some transient error, so I've just manually triggered another build. Let's see how that goes.

@jacobstanley jacobstanley force-pushed the master branch 2 times, most recently from 4139585 to c228279 Compare May 22, 2022 14:42
ChickenProp and others added 4 commits May 23, 2022 09:55
Closes hedgehogqa#448. Suppose we have an Action list

    A 1 -> Var 0
    B (Var 0) -> ...

Then when we shrink A, we would previously get the list

    A 0 -> Var 1
    B (Var 0) -> ...

And then we'd drop B from this list, because `Var 0` no longer exists.
Now shrinking will give

    A 0 -> Var 0
    B (Var 0) -> ...

which is fine.

This means we now generate Vars even for actions whose `Require` fails.
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.

3 participants