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.

Sign up for GitHub

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

Jump to bottom

Wingman: Don't clobber where clauses #2184

Merged
merged 4 commits into from
Sep 13, 2021
Merged

Wingman: Don't clobber where clauses #2184

merged 4 commits into from
Sep 13, 2021

Commits on Sep 10, 2021

  1. Extend TopLevelRHS pattern to track the where clause

    @isovector
    isovector committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    0abb3b6 View commit details
    Browse the repository at this point in the history

  2. Don't case split if there's a where clause

    @isovector
    isovector committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    2646a0d View commit details
    Browse the repository at this point in the history

  3. Add tests

    @isovector
    isovector committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    dda7db8 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2021

  1. Merge branch 'master' into dont-clobber-where

    @jneira
    jneira committed Sep 13, 2021
    Configuration menu
    Copy the full SHA
    89df316 View commit details
    Browse the repository at this point in the history