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

type-directed compilation #270

Merged
merged 23 commits into from
Feb 20, 2024
Merged

type-directed compilation #270

merged 23 commits into from
Feb 20, 2024

Commits on Feb 20, 2024

  1. simplify special terms

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    1ee66e1 View commit details
    Browse the repository at this point in the history

  2. inconsequential permutation

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    a8fc358 View commit details
    Browse the repository at this point in the history

  3. backup

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    0a882c9 View commit details
    Browse the repository at this point in the history

  4. compile patterns somewhat properly

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    dfc0758 View commit details
    Browse the repository at this point in the history

  5. make tuples work again

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    8d6a613 View commit details
    Browse the repository at this point in the history

  6. merge utils

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    5bed3b1 View commit details
    Browse the repository at this point in the history

  7. implement compileSpined to properly handle projections

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    e3c0aa0 View commit details
    Browse the repository at this point in the history

  8. implement compileSpined

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    43881b4 View commit details
    Browse the repository at this point in the history

  9. reinstate do notation

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    0d8f0c8 View commit details
    Browse the repository at this point in the history

  10. more fixes, identified failing tests

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    db6efde View commit details
    Browse the repository at this point in the history

  11. add some checks again

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    3798123 View commit details
    Browse the repository at this point in the history

  12. fix module imports

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    f80918c View commit details
    Browse the repository at this point in the history

  13. fix inlining

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    a5ce885 View commit details
    Browse the repository at this point in the history

  14. added type-directed test

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    68c5950 View commit details
    Browse the repository at this point in the history

  15. basic changes

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    4b84d88 View commit details
    Browse the repository at this point in the history

  16. fix class instance compilation

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    a35691f View commit details
    Browse the repository at this point in the history

  17. remove leftover unSpine1', call to unSpine1

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    4478fcd View commit details
    Browse the repository at this point in the history

  18. use mustBePi to account for reduction

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    1e9de6a View commit details
    Browse the repository at this point in the history

  19. improve compileDom logic

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    a3daee7 View commit details
    Browse the repository at this point in the history

  20. remove whitespace

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    67ab8ed View commit details
    Browse the repository at this point in the history

  21. fix projection-like compilation

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    d98ee08 View commit details
    Browse the repository at this point in the history

  22. address Orestis' comments

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    da5ffdc View commit details
    Browse the repository at this point in the history

  23. added test for proj-like reduction

    @flupe
    flupe committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    69287a7 View commit details
    Browse the repository at this point in the history