Skip to content
This repository has been archived by the owner on Jan 8, 2024. It is now read-only.

20230110 modern lambda #109

Open
wants to merge 79 commits into
base: base
Choose a base branch
from
Open

20230110 modern lambda #109

wants to merge 79 commits into from

Commits on Jan 11, 2023

  1. modern lambda

    @prozacchiwawa
    prozacchiwawa committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    b6f44e4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'base' into 20230110-modern-lambda

    @prozacchiwawa
    prozacchiwawa committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    1c92e7d View commit details
    Browse the repository at this point in the history

  3. fmt

    @prozacchiwawa
    prozacchiwawa committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    48c78e0 View commit details
    Browse the repository at this point in the history

  4. Add a test mixing mod and let

    @prozacchiwawa
    prozacchiwawa committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    76e1b1f View commit details
    Browse the repository at this point in the history

  5. Add practical map example

    @prozacchiwawa
    prozacchiwawa committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    9620d5c View commit details
    Browse the repository at this point in the history

  6. fmt

    @prozacchiwawa
    prozacchiwawa committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    1aebc24 View commit details
    Browse the repository at this point in the history

  7. clippy

    @prozacchiwawa
    prozacchiwawa committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    bfad07e View commit details
    Browse the repository at this point in the history

  8. More tests

    @prozacchiwawa
    prozacchiwawa committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    c6a4e60 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2023

  1. Working lambdas with env capture

    @prozacchiwawa
    prozacchiwawa committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    469d250 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2023

  1. Cleanup lambda generation a lot, ensure macros work downstream of mod+

    @prozacchiwawa
    prozacchiwawa committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    2da8ec4 View commit details
    Browse the repository at this point in the history

  2. fmt + clippy

    @prozacchiwawa
    prozacchiwawa committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    72f67b9 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2023

  1. merge up + fmt + clippy

    @prozacchiwawa
    prozacchiwawa committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    c417dbe View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2023

  1. Merge branch 'base' into 20230110-modern-lambda

    @prozacchiwawa
    prozacchiwawa committed Feb 4, 2023
    Configuration menu
    Copy the full SHA
    21bb1da View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2023

  1. Merge remote-tracking branch 'chia/base' into 20230110-modern-lambda

    @prozacchiwawa
    prozacchiwawa committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    88451f4 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2023

  1. Merge remote-tracking branch 'chia/base' into 20230110-modern-lambda

    @prozacchiwawa
    prozacchiwawa committed Feb 7, 2023
    Configuration menu
    Copy the full SHA
    7012777 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2023

  1. Added extra verification

    @prozacchiwawa
    prozacchiwawa committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    383f55f View commit details
    Browse the repository at this point in the history

  2. missing + fmt

    @prozacchiwawa
    prozacchiwawa committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    980cf57 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2023

  1. Refine lambda and add more tests of the evaluator now that we rely on… 

    … it to handle the sugared lambda bodyform
    @prozacchiwawa
    prozacchiwawa committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    f5378f7 View commit details
    Browse the repository at this point in the history

  2. Move lambda desugaring later into codegen so the user will see their … 

    …serialized code as having a lambda rather than a mod+ with desugared forms surrounding it.
    @prozacchiwawa
    prozacchiwawa committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    f771bb7 View commit details
    Browse the repository at this point in the history

  3. fmt

    @prozacchiwawa
    prozacchiwawa committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    62f94a5 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2023

  1. Add another test (trying more methods to think up tests)

    @prozacchiwawa
    prozacchiwawa committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    95d55bd View commit details
    Browse the repository at this point in the history

  2. Add another similar test

    @prozacchiwawa
    prozacchiwawa committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    a5c986b View commit details
    Browse the repository at this point in the history

  3. Remove spam

    @prozacchiwawa
    prozacchiwawa committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    4c5bf29 View commit details
    Browse the repository at this point in the history

  4. Add a tricky test where a lambda is used as a higher order function

    @prozacchiwawa
    prozacchiwawa committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    beb5e67 View commit details
    Browse the repository at this point in the history

  5. Add another test i could think of

    @prozacchiwawa
    prozacchiwawa committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    f850d91 View commit details
    Browse the repository at this point in the history

  6. More tricky lambda tests

    @prozacchiwawa
    prozacchiwawa committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    c996673 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2023

  1. Merge up

    @prozacchiwawa
    prozacchiwawa committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    f90b4fc View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2023

  1. Merge remote-tracking branch 'chia/base' into 20230110-modern-lambda

    @prozacchiwawa
    prozacchiwawa committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    f968531 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2023

  1. merge up, but don't push back yet

    @prozacchiwawa
    prozacchiwawa committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    9dab714 View commit details
    Browse the repository at this point in the history

  2. Pull in the merging of lambdas with desugaring

    @prozacchiwawa
    prozacchiwawa committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    6e7d08c View commit details
    Browse the repository at this point in the history

  3. fmt + clippy

    @prozacchiwawa
    prozacchiwawa committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    304d988 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2023

  1. Merge remote-tracking branch 'chia/base' into 20230110-modern-lambda

    @prozacchiwawa
    prozacchiwawa committed May 1, 2023
    Configuration menu
    Copy the full SHA
    6643df9 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Merge remote-tracking branch 'chia/base' into 20230110-modern-lambda

    @prozacchiwawa
    prozacchiwawa committed May 16, 2023
    Configuration menu
    Copy the full SHA
    46301b2 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2023

  1. A bit shorter stack. we can reverse this eventually when putting a tr… 

    …ampoline in evaluate.rs
    @prozacchiwawa
    prozacchiwawa committed May 20, 2023
    Configuration menu
    Copy the full SHA
    ca89d61 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2023

  1. Make sure we grab the arguments of the lambda we're evaluating so cod… 

    …e generation on behalf of (com ...) can function properly
    @prozacchiwawa
    prozacchiwawa committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    f8b665d View commit details
    Browse the repository at this point in the history

  2. fmt + clippy

    @prozacchiwawa
    prozacchiwawa committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    8b19478 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Merge up

    @prozacchiwawa
    prozacchiwawa committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    ff33b25 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. Add comment

    @prozacchiwawa
    prozacchiwawa committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    81ea522 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2023

  1. Added more comments

    @prozacchiwawa
    prozacchiwawa committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    cdf9d05 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. Merge up base

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    de85ad5 View commit details
    Browse the repository at this point in the history

  2. lambda codegen doesn't (for now) need error so hosting doesn't either

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    cf243f6 View commit details
    Browse the repository at this point in the history

  3. Reverse a change that mattered when lambdas were implemend as a kind … 

    …of mod. This change should probably resurface elsewhere as it's more correct, but may not be breaking anything right now.
    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    2813c4b View commit details
    Browse the repository at this point in the history

  4. Add more comments

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    78477a8 View commit details
    Browse the repository at this point in the history

  5. Reverse a change which i think cleans things up but is not essential

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    d7a62d9 View commit details
    Browse the repository at this point in the history

  6. Add a tail lambda to ensure it gets desugared right

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    d521ecf View commit details
    Browse the repository at this point in the history

  7. Add a lambda from lambda test

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    32deee5 View commit details
    Browse the repository at this point in the history

  8. fmt + clippy

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    8aade0e View commit details
    Browse the repository at this point in the history

  9. Ensure that rest args are destructured so that we can separate argume… 

    …nts. This mirrors other forms of chialisp runtime where a tail argument is necessarily evaluated eariler than positional arguments for destructuring purposes
    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    98a9601 View commit details
    Browse the repository at this point in the history

  10. fmt

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    3c10a50 View commit details
    Browse the repository at this point in the history

  11. Ensure tricky applications of let forms in rest arguments work

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    30671ff View commit details
    Browse the repository at this point in the history

  12. clippy

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    2b38ad8 View commit details
    Browse the repository at this point in the history

  13. Add new repl test

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    0210783 View commit details
    Browse the repository at this point in the history

  14. Add another higher order function test

    @prozacchiwawa
    prozacchiwawa committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    6fb7cd3 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. Merge up base

    @prozacchiwawa
    prozacchiwawa committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    735a2a4 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. Merge up assign forms

    @prozacchiwawa
    prozacchiwawa committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    14b077d View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. Add exhaustive test run and game referee tests from bram's code, now … 

    …that all one branch can contain all needed features
    @prozacchiwawa
    prozacchiwawa committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    31ad2a6 View commit details
    Browse the repository at this point in the history

  2. Feature flag extraction is from nightly (so far) and not needed here … 

    …(yet)
    @prozacchiwawa
    prozacchiwawa committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    a55e7d3 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2023

  1. Ensure test files are properly organized so each version of the game … 

    …chialisp we're testing is separate
    @prozacchiwawa
    prozacchiwawa committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    78e3dc2 View commit details
    Browse the repository at this point in the history

  2. Move compilations to reference so they can be checked

    @prozacchiwawa
    prozacchiwawa committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    4a4667f View commit details
    Browse the repository at this point in the history

  3. Move compilations to reference so they can be checked

    @prozacchiwawa
    prozacchiwawa committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    3f4f0e1 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. WIP fixing renaming in the stack involving a lambda and captures

    @prozacchiwawa
    prozacchiwawa committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    067b8de View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Add test for tricky renaming and support in evaluator for more durabl… 

    …e lambda use
    @prozacchiwawa
    prozacchiwawa committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    981744a View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2023

  1. Route in result in rename and improve map_m a bit

    @prozacchiwawa
    prozacchiwawa committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    044632c View commit details
    Browse the repository at this point in the history

  2. fmt + clippy

    @prozacchiwawa
    prozacchiwawa committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    0cf1ce7 View commit details
    Browse the repository at this point in the history

  3. Merge from upstream result-in-rename pr

    @prozacchiwawa
    prozacchiwawa committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    c01f5ce View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2023

  1. Move in the right direction

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    8ab9e17 View commit details
    Browse the repository at this point in the history

  2. remove spam

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    bacf83c View commit details
    Browse the repository at this point in the history

  3. More renames working too

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    3ed70de View commit details
    Browse the repository at this point in the history

  4. Pull in full renaming for assign

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    041c2d4 View commit details
    Browse the repository at this point in the history

  5. fmt + clippy

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    ae94b0a View commit details
    Browse the repository at this point in the history

  6. Smoothing it out

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    94e8537 View commit details
    Browse the repository at this point in the history

  7. Merge from backing branch

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    88dcfdf View commit details
    Browse the repository at this point in the history

  8. Merge in from rename refactoring

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    bc2fa38 View commit details
    Browse the repository at this point in the history

  9. Fix downstream renaming in let*, which was a bug

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    64bc156 View commit details
    Browse the repository at this point in the history

  10. Add test with let in binding

    @prozacchiwawa
    prozacchiwawa committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    f5c07f9 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2023

  1. despam

    @prozacchiwawa
    prozacchiwawa committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    1d4ba04 View commit details
    Browse the repository at this point in the history

  2. opps

    @prozacchiwawa
    prozacchiwawa committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    d058b23 View commit details
    Browse the repository at this point in the history

  3. Add some more infra to allow testing of renaming. Hadn't thought of g… 

    …ood ways to do it before now
    @prozacchiwawa
    prozacchiwawa committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    6a07de4 View commit details
    Browse the repository at this point in the history

  4. Add more testing for renaming around let lambda and assign

    @prozacchiwawa
    prozacchiwawa committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    40322cf View commit details
    Browse the repository at this point in the history