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

Agda-style case splitting for tactics #1379

Merged
merged 32 commits into from
Feb 17, 2021
Merged

Agda-style case splitting for tactics #1379

merged 32 commits into from
Feb 17, 2021

Commits on Feb 12, 2021

  1. Agda splitting machinery

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

  2. Expand decls!

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

  3. Only very top-level lambda to args

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

  4. Preserve top-level args (but it doesnt work very well)

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

Commits on Feb 14, 2021

  1. Preserve existing patterns and matches when agdasplitting

    @isovector
    isovector committed Feb 14, 2021
    Configuration menu
    Copy the full SHA
    cf75b1e View commit details
    Browse the repository at this point in the history

  2. Add traceFX debug function

    @isovector
    isovector committed Feb 14, 2021
    Configuration menu
    Copy the full SHA
    14fa9f6 View commit details
    Browse the repository at this point in the history

  3. Force a few iterations of splitAgda

    @isovector
    isovector committed Feb 14, 2021
    Configuration menu
    Copy the full SHA
    f3ea83f View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into agda-case-split

    @isovector
    isovector committed Feb 14, 2021
    Configuration menu
    Copy the full SHA
    0e120de View commit details
    Browse the repository at this point in the history

  5. Cleanup imports

    @isovector
    isovector committed Feb 14, 2021
    Configuration menu
    Copy the full SHA
    d573e7a View commit details
    Browse the repository at this point in the history

  6. Put wildcard patterns in for unused variables

    @isovector
    isovector committed Feb 14, 2021
    Configuration menu
    Copy the full SHA
    de541c2 View commit details
    Browse the repository at this point in the history

  7. Update tests

    @isovector
    isovector committed Feb 14, 2021
    Configuration menu
    Copy the full SHA
    af02f05 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2021

  1. Agda-unfold on instance deps

    @isovector
    isovector committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    6a5f2e4 View commit details
    Browse the repository at this point in the history

  2. wildify at the very end of simplifying

    @isovector
    isovector committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    5a38557 View commit details
    Browse the repository at this point in the history

  3. Haddock for top-level functions

    @isovector
    isovector committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    e78549c View commit details
    Browse the repository at this point in the history

  4. Move case splitting stuff into its own module

    @isovector
    isovector committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    cca1f34 View commit details
    Browse the repository at this point in the history

  5. Exactprint comments

    @isovector
    isovector committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    8fcb936 View commit details
    Browse the repository at this point in the history

  6. Haddock for casesplit

    @isovector
    isovector committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    41c7461 View commit details
    Browse the repository at this point in the history

  7. Use PatCompat

    @isovector
    isovector committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    c6112c4 View commit details
    Browse the repository at this point in the history

  8. Remove HsDumpAst

    @isovector
    isovector committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    57c2da2 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2021

  1. Use Pat, not LPat

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    0d698aa View commit details
    Browse the repository at this point in the history

  2. More massaging Pats

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    5c1f3e0 View commit details
    Browse the repository at this point in the history

  3. Only unXPat on 8.0.8

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    96f566b View commit details
    Browse the repository at this point in the history

  4. Haddock and cleanup -Wall

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    57e906f View commit details
    Browse the repository at this point in the history

  5. Cleanup sus errors

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    b857ca7 View commit details
    Browse the repository at this point in the history

  6. Fix parse errors in GHC > 8.8

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    3ea09c3 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into agda-case-split

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    5348c61 View commit details
    Browse the repository at this point in the history

  8. Update comment around unXPat

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    b2236b8 View commit details
    Browse the repository at this point in the history

  9. Cleanup ExactPrint to split FunBind matches

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    1261489 View commit details
    Browse the repository at this point in the history

  10. Minor haddock tweak

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    d8a8198 View commit details
    Browse the repository at this point in the history

  11. Bad suggest, hlint

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    529e4dd View commit details
    Browse the repository at this point in the history

  12. I hate hlint with so much passion

    @isovector
    isovector committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    cffba27 View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2021

  1. Merge branch 'master' into agda-case-split

    @pepeiborra
    pepeiborra committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    054e59d View commit details
    Browse the repository at this point in the history