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

[ refactor ] ScopedSnocList: WIP #3368

Draft
wants to merge 25 commits into
base: main
Choose a base branch
from
Draft

[ refactor ] ScopedSnocList: WIP #3368

wants to merge 25 commits into from
+2,923 −2,419

Commits on Nov 8, 2024

  1. ScopedSnocList: WIP

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    1303836 View commit details
    Browse the repository at this point in the history

  2. ScopedSnocList: WIP: replace Stack on StackSnoc for Normalize.Eval

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    09c1716 View commit details
    Browse the repository at this point in the history

  3. ScopedSnocList: WIP: **rollback** replace Stack on StackSnoc for `Nor… 

    …malize.Eval`
    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    4af6903 View commit details
    Browse the repository at this point in the history

  4. ScopedSnocList: WIP: use List stack at TTImp, separate `applyStackW… 

    …ithFC` and `applySpineWithFC`
    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    0150cda View commit details
    Browse the repository at this point in the history

  5. ScopedSnocList: WIP: use Snoc for LocalEnv

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    0f0400d View commit details
    Browse the repository at this point in the history

  6. ScopedSnocList: WIP: introduce SnocList for NMeta

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    a097ded View commit details
    Browse the repository at this point in the history

  7. ScopedSnocList: WIP: fixed findLinear

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    72c0441 View commit details
    Browse the repository at this point in the history

  8. ScopedSnocList: WIP: fixed mkPatClause, added getArgTys

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    5729f26 View commit details
    Browse the repository at this point in the history

  9. ScopedSnocList: WIP: reversed DelayCase

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    14a0aa0 View commit details
    Browse the repository at this point in the history

  10. ScopedSnocList: WIP: fixes for addDelayG

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    ad44638 View commit details
    Browse the repository at this point in the history

  11. ScopedSnocList: WIP: use nextNames from Yaffle

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    2f476aa View commit details
    Browse the repository at this point in the history

  12. ScopedSnocList: WIP: fixes unify

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    ac4879c View commit details
    Browse the repository at this point in the history

  13. ScopedSnocList: WIP: use SnocList at Core.Unify

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    6a5549e View commit details
    Browse the repository at this point in the history

  14. ScopedSnocList: WIP: logs improvements

    @GulinSS
    GulinSS committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    104d35c View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2024

  1. Trivial logging

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    430fa52 View commit details
    Browse the repository at this point in the history

  2. Trivial reversal logging

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    6510a23 View commit details
    Browse the repository at this point in the history

  3. Restore logging sequence

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    f6c67d0 View commit details
    Browse the repository at this point in the history

  4. Temporary fix via believe_me

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    3d5d974 View commit details
    Browse the repository at this point in the history

  5. Reverse tooling for LocalEnv

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    5e08a75 View commit details
    Browse the repository at this point in the history

  6. Reverse tooling for Var

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    b1144b7 View commit details
    Browse the repository at this point in the history

  7. Use implicitsAs with reversed list of variables

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    92320f2 View commit details
    Browse the repository at this point in the history

  8. Fix reversed order of arguments in getArgTys NF substitution

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    0f05ec7 View commit details
    Browse the repository at this point in the history

  9. Use substName from Allais (do not know why)

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    9989c32 View commit details
    Browse the repository at this point in the history

  10. Use weakenNs instead of addLater from Allais (do not know why)

    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    3ab71b7 View commit details
    Browse the repository at this point in the history

  11. Yaffle uses normalizeLHS instead of normalizeHoles here but we le… 

    …ave `normalizeHoles` for easier logging analysis
    @GulinSS
    GulinSS committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    3b5f5d2 View commit details
    Browse the repository at this point in the history