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 72 commits into
base: main
Choose a base branch
from
Draft

[ refactor ] ScopedSnocList: WIP #3368

wants to merge 72 commits into from
+2,998 −2,422

Commits on Nov 28, 2024

  1. ScopedSnocList: WIP

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

  2. ScopedSnocList: WIP replaced SLNil with [<].

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

  3. ScopedSnocList: special operators for snoc simulation

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

  4. ScopedSnocList: WIP removed ScopedList and replace it on SnocList at … 

    …Scoped
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    b5a716a View commit details
    Browse the repository at this point in the history

  5. ScopedSnocList: WIP: b +%+ c ... => c ++ b ...

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

  6. ScopedSnocList: WIP: a ((b +%+ c) +%+ d) => a (c ++ (d <>< b))

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

  7. ScopedSnocList: WIP: `a (b +%+ c :%: d) => a (d :< c <>< b) | a (d :<… 

    … c ++ b)`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    92238f7 View commit details
    Browse the repository at this point in the history

  8. ScopedSnocList: WIP: `a (b :%: c +%+ d) => a (d <>< c :< b) | a (d ++… 

    … c :< b)`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    caea2c8 View commit details
    Browse the repository at this point in the history

  9. ScopedSnocList: WIP: `a (b +%+ (c +%+ d :%: e)) => a ((e :< d <>< c) … 

    …++ b)`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    573ac16 View commit details
    Browse the repository at this point in the history

  10. ScopedSnocList: WIP: `a (b +%+ (c :%: d +%+ e)) => a ((e <>< d :< c) … 

    …++ b))`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    a097777 View commit details
    Browse the repository at this point in the history

  11. ScopedSnocList: WIP: `a (b +%+ c :%: (d +%+ e)) => a ((e <>< d :< c) … 

    …++ b))`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    42ddb2e View commit details
    Browse the repository at this point in the history

  12. ScopedSnocList: WIP: a (b +%+ c :%: d :%: e) => a (e :< d :< c ++ b)

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

  13. ScopedSnocList: WIP: `a (b +%+ (c +%+ (d :%: e))) => a ((e :< d <>< c… 

    …) ++ b)`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    8f5a43b View commit details
    Browse the repository at this point in the history

  14. ScopedSnocList: WIP: Move Thin into Scoped

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

  15. ScopedSnocList: WIP: `(a +%+ fromList b => a <>< b) + (toList a ++ b … 

    …=> a <>> b)`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    67076a6 View commit details
    Browse the repository at this point in the history

  16. ScopedSnocList: WIP: a :%: b ... => b :< a ...

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

  17. ScopedSnocList: WIP: ($AA :%: ($AA | [<])) => [<$AA, ...]

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

  18. ScopedSnocList: WIP: move CompatibleVars on SnocList

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

  19. ScopedSnocList: WIP: add zero and suc ops to Data.SnocList.SizeOf

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

  20. ScopedSnocList: WIP: update SnocList imports for Core.Name.Scoped

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

  21. ScopedSnocList: WIP: add CompatibleVars to Var

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

  22. ScopedSnocList: WIP: (a :%: b ** c) => (b :< a ** c)

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

  23. ScopedSnocList: WIP: $AA <>> $BB :%: $CC => $AA <>> $CC :< $BB

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

  24. ScopedSnocList: WIP: Remove logical dupe Reify (SnocList a) 

    ScopedSnocList: WIP: Remove logical dupe `Reflect (SnocList a)`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    183dd7c View commit details
    Browse the repository at this point in the history

  25. ScopedSnocList: WIP: a <>> b :%: (c +%+ d) => a <>> (d ++ c) :< b

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

  26. ScopedSnocList: WIP: `(a +%+ b) +%+ (c :%: d +%+ e) => (e ++ d :< c) … 

    …++ (b ++ a)`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    94cfb33 View commit details
    Browse the repository at this point in the history

  27. ScopedSnocList: WIP: getRewriteTerms : remove reverse and use `:<… 

    …` instead of `:%:`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    afd84b4 View commit details
    Browse the repository at this point in the history

  28. ScopedSnocList: WIP: $AA <>> $BB +%+ $CC => $AA <>> $CC ++ $BB

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

  29. ScopedSnocList: WIP: `$AA +%+ ($BB <>> ($CC +%+ $DD)) => ($BB <>> ($D… 

    …D ++ $CC)) ++ $AA`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    07774ba View commit details
    Browse the repository at this point in the history

  30. ScopedSnocList: WIP: a (b +%+ c) => a (c ++ b) but actually a speci… 

    …al case for `elemInsertedMiddle`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    f302afd View commit details
    Browse the repository at this point in the history

  31. ScopedSnocList: WIP: add import Libraries.Data.SnocList.SizeOf and … 

    …`import Core.Name.CompatibleVars`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    ff9efbb View commit details
    Browse the repository at this point in the history

  32. ScopedSnocList: WIP: aligned with Yaffle the following: `GenWeakena… 

    …ble`, `embed(N|Is)Var`, `locate(|N|Is)Var`, `weaken(|N)Var`, `insert(|N)Var`, `insertNVarNames`, `removeNVar`, `strengthen(*|N*|Is*)Var`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    b1027c0 View commit details
    Browse the repository at this point in the history

  33. ScopedSnocList: WIP: aligned with Yaffle the following: `GenWeakena… 

    …ble`, `insertNVarNames` and `genWeaken` (fixed a mistake). Also snoc applied to `CompileExpr`, `Env`, `TT`, `CaseTree`, `Subst`
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    5b96def View commit details
    Browse the repository at this point in the history

  34. ScopedSnocList: WIP: aligned with Yaffle the following: Context.

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

  35. ScopedSnocList: WIP: rewrites to Snock ANF and LambdaLift

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

  36. ScopedSnocList: WIP: casts to SnocList from List at Eval

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

  37. ScopedSnocList: WIP: replace <>< with ++ at CaseOpts

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

  38. ScopedSnocList: WIP: correct list functions with snoc ones for `Compi… 

    …leExpr`, `ConstantFold`, `Identity`, `Normalize`, `Convert`.
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    9845b96 View commit details
    Browse the repository at this point in the history

  39. ScopedSnocList: WIP: correct list functions with snoc ones for `Inlin… 

    …e`, `Name`, `TTC`, `UnifyState`.
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    d27627f View commit details
    Browse the repository at this point in the history

  40. ScopedSnocList: WIP: trivial constructor substitutions

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

  41. ScopedSnocList: WIP: remove **unused** code from Var.

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

  42. ScopedSnocList: WIP: remove **unused** (unBinds) code from `Travers… 

    …als`.
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    982133b View commit details
    Browse the repository at this point in the history

  43. ScopedSnocList: WIP: use List at Meta and NMeta, risky changes … 

    …at `Unify`, replace `apply` on `applySpine` where applicable
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    83e778d View commit details
    Browse the repository at this point in the history

  44. ScopedSnocList: WIP: rewrites

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

  45. ScopedSnocList: WIP

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

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

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

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

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

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

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

  49. ScopedSnocList: WIP: use Snoc for LocalEnv

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

  50. ScopedSnocList: WIP: introduce SnocList for NMeta

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

  51. ScopedSnocList: WIP: fixed findLinear

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

  52. ScopedSnocList: WIP: fixed mkPatClause, added getArgTys

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

  53. ScopedSnocList: WIP: reversed DelayCase

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

  54. ScopedSnocList: WIP: fixes for addDelayG

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

  55. ScopedSnocList: WIP: use nextNames from Yaffle

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

  56. ScopedSnocList: WIP: fixes unify

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

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

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

  58. ScopedSnocList: WIP: logs improvements

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

  59. Trivial logging

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

  60. Trivial reversal logging

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

  61. Restore logging sequence

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

  62. Temporary fix via believe_me

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

  63. Reverse tooling for LocalEnv

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

  64. Reverse tooling for Var

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

  65. Use implicitsAs with reversed list of variables

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

  66. Fix reversed order of arguments in getArgTys NF substitution

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

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

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

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

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

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

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

  70. Correct order of vars for patCompile and mkPatClause

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

  71. Make XX, YY at {arg:XX} and {e:YY} follow origin order due of… 

    … comparing with idx at `quoteHead` (`findName`)
    @GulinSS
    GulinSS committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    583157c View commit details
    Browse the repository at this point in the history

  72. WIP: fix rebase with full history unhidding

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