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

Don't insert parentheses for top-level tactics holes #1352

Merged
merged 22 commits into from Feb 14, 2021
Merged

Don't insert parentheses for top-level tactics holes #1352

merged 22 commits into from Feb 14, 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. No top-level parens for tactics

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

  12. Try a different strategy for generalizing PatCompat

    @isovector
    isovector committed Feb 12, 2021
    Copy the full SHA
    89d0cf3 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
    ae2cc58 View commit details
    Browse the repository at this point in the history

  14. Try, try again to compat

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

Commits on Feb 13, 2021

  1. Merge remote-tracking branch 'upstream/master' into no-top-parens

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

  2. Reorganize imports

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

  3. Merge branch 'master' into no-top-parens

    @jneira
    jneira committed Feb 13, 2021
    Copy the full SHA
    e302795 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'upstream/master' into no-top-parens

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

  5. Fix test

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

  6. Merge branch 'no-top-parens' of github.com:isovector/haskell-language… 

    …-server into no-top-parens
    @isovector
    isovector committed Feb 13, 2021
    Copy the full SHA
    b71da6c View commit details
    Browse the repository at this point in the history