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

Lift lambdas #44

Merged
merged 40 commits into from
Dec 8, 2021
Merged

Lift lambdas #44

merged 40 commits into from
Dec 8, 2021

Commits on Nov 26, 2021

  1. WIP

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    ecc913e View commit details
    Browse the repository at this point in the history

  2. mvp: detect free vars

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    713b839 View commit details
    Browse the repository at this point in the history

  3. Improve free variable collection

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    eb3720b View commit details
    Browse the repository at this point in the history

  4. wip: Lift lambdas using state monad

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    c5f7211 View commit details
    Browse the repository at this point in the history

  5. wip: Lift let expressions, start testing, but still no callsite adjus… 

    …tments for named lambdas
    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    748d918 View commit details
    Browse the repository at this point in the history

  6. Use a jumping off function for lambda lifting

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    06e6fbd View commit details
    Browse the repository at this point in the history

  7. Don't treat 'named' lambdas specially

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    b0430a2 View commit details
    Browse the repository at this point in the history

  8. Format code

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    7d1ce32 View commit details
    Browse the repository at this point in the history

  9. Lift prims

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    1e24941 View commit details
    Browse the repository at this point in the history

  10. Remove unneeded code

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    ddc46cb View commit details
    Browse the repository at this point in the history

  11. Tweak coding style

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    a5430f6 View commit details
    Browse the repository at this point in the history

  12. Fix free var detection bug

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    8294315 View commit details
    Browse the repository at this point in the history

  13. Exploit very epic laziness to descend into lambda bodies

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    1092761 View commit details
    Browse the repository at this point in the history

  14. Add compiler option for dumping lifted IR

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    79802e4 View commit details
    Browse the repository at this point in the history

  15. Reconstruct lambdas with correct types

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    0da1a0b View commit details
    Browse the repository at this point in the history

  16. Fix lambda free-var application types

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    6db3e97 View commit details
    Browse the repository at this point in the history

  17. Add lifting for match expressions

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    1582b72 View commit details
    Browse the repository at this point in the history

  18. Rebase on main and update match code

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    ce5df9d View commit details
    Browse the repository at this point in the history

  19. Use makeLiftedLambda and insert some trace

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    fda7e73 View commit details
    Browse the repository at this point in the history

  20. Use function type signature for top level lambda collection

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    9c72fdf View commit details
    Browse the repository at this point in the history

  21. Use makeLiftedLambda in liftLambdas' after regression test fix in main

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    f1e8651 View commit details
    Browse the repository at this point in the history

  22. Use extract

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    1cf21e5 View commit details
    Browse the repository at this point in the history

  23. Rewrite applyFreesToLambda as an epic fold

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    c25a20b View commit details
    Browse the repository at this point in the history

  24. Don't use catch-all in liftLambdas

    @hmontero1205
    hmontero1205 committed Nov 26, 2021
    Configuration menu
    Copy the full SHA
    8516e5d View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2021

  1. Rename liftLambdas' to liftLambdasTop

    @hmontero1205
    hmontero1205 committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    c1fdfaa View commit details
    Browse the repository at this point in the history

  2. Use 'arrow' instead of redefining it

    @hmontero1205
    hmontero1205 committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    6031aa1 View commit details
    Browse the repository at this point in the history

  3. Use collectArrow

    @hmontero1205
    hmontero1205 committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    c1d8e4d View commit details
    Browse the repository at this point in the history

  4. Reorder definitions

    @hmontero1205
    hmontero1205 committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    ac9b9fe View commit details
    Browse the repository at this point in the history

  5. Use unzip instead of map fst

    @hmontero1205
    hmontero1205 committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    9f089a0 View commit details
    Browse the repository at this point in the history

  6. Use IR makeChainedLambda export

    @hmontero1205
    hmontero1205 committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    7859446 View commit details
    Browse the repository at this point in the history

  7. Preserve relative top def order after lifting

    @hmontero1205
    hmontero1205 committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    4c8321f View commit details
    Browse the repository at this point in the history

  8. Write some very epic haddock comments for LambdaLift module

    @hmontero1205
    hmontero1205 committed Nov 28, 2021
    Configuration menu
    Copy the full SHA
    d6578b9 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2021

  1. Add lambda lifting tests

    @hmontero1205
    hmontero1205 committed Nov 29, 2021
    Configuration menu
    Copy the full SHA
    efef4e8 View commit details
    Browse the repository at this point in the history

  2. Remove type variables from state monad helpers

    @hmontero1205
    hmontero1205 committed Nov 29, 2021
    Configuration menu
    Copy the full SHA
    30e1cdd View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2021

  1. Tweak comments and lam lift compiler option name

    @hmontero1205
    hmontero1205 committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    36fc1c1 View commit details
    Browse the repository at this point in the history

  2. Use epic foldr in makeLambdaChain

    @hmontero1205
    hmontero1205 committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    d58235c View commit details
    Browse the repository at this point in the history

  3. Add docs for LiftCtx fields

    @hmontero1205
    hmontero1205 committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    8003c49 View commit details
    Browse the repository at this point in the history

  4. Remove redundant base case from makeLambdaChain

    @hmontero1205
    hmontero1205 committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    b1098d6 View commit details
    Browse the repository at this point in the history

  5. Take into account that after descending, we may inherit more free var… 

    …iables
    @hmontero1205
    hmontero1205 committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    bd51557 View commit details
    Browse the repository at this point in the history

  6. Add extra nested lambda test

    @hmontero1205
    hmontero1205 committed Dec 7, 2021
    Configuration menu
    Copy the full SHA
    e609da7 View commit details
    Browse the repository at this point in the history