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

Simplify extracts after running tactics #1351

Merged
merged 16 commits into from Feb 12, 2021
Merged

Simplify extracts after running tactics #1351

merged 16 commits into from Feb 12, 2021

Commits on Feb 11, 2021

  1. More tests of overlapping methods

    @isovector
    isovector committed Feb 11, 2021
    Copy the full SHA
    9038bae View commit details
    Browse the repository at this point in the history

  2. Do a simplification pass of the extract

    @isovector
    isovector committed Feb 11, 2021
    Copy the full SHA
    b9b3aef View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2021

  1. Do less work when simplifiying

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    dbf7b46 View commit details
    Browse the repository at this point in the history

  2. Remove unnecessary parens simplification

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    2ef7975 View commit details
    Browse the repository at this point in the history

  3. Implement simplify as a fold over endos

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    a08773c View commit details
    Browse the repository at this point in the history

  4. Fix tests

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    25171bc View commit details
    Browse the repository at this point in the history

  5. Haddock for the new module

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    b47aced View commit details
    Browse the repository at this point in the history

  6. Minor note on implementation

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    8ba082b View commit details
    Browse the repository at this point in the history

  7. Note a TODO

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    1302c6d View commit details
    Browse the repository at this point in the history

  8. Use PatCompat to unpack patterns

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    4a1650f View commit details
    Browse the repository at this point in the history

  9. Pull out codegen utilities to break a cyclic dependency

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    7ba73ac View commit details
    Browse the repository at this point in the history

  10. Re-export utils

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    0b2cc53 View commit details
    Browse the repository at this point in the history

  11. Try a different strategy for generalizing PatCompat

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    1802bd6 View commit details
    Browse the repository at this point in the history

  12. Try, try again to compat

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    d8d5248 View commit details
    Browse the repository at this point in the history

  13. Could this be the answer we've all been waiting for?

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    e4cb82e View commit details
    Browse the repository at this point in the history

  14. Merge branch 'master' into simplify

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    11f58b1 View commit details
    Browse the repository at this point in the history