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

Unified operators #7057

Merged
merged 16 commits into from
Nov 6, 2024
Merged

Unified operators #7057

merged 16 commits into from
Nov 6, 2024

Commits on Nov 6, 2024

  1. PoC: generic infix operators

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

  2. try less diff

    @cometkim
    cometkim committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    0005e2f View commit details
    Browse the repository at this point in the history

  3. wip: unified ops

    @cometkim
    cometkim committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    4bc812d View commit details
    Browse the repository at this point in the history

  4. rewrite type translation

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

  5. revert changes on comparison

    @cometkim
    cometkim committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    64d4e15 View commit details
    Browse the repository at this point in the history

  6. done implement unified_ops translation

    @cometkim
    cometkim committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    19e01b7 View commit details
    Browse the repository at this point in the history

  7. migrate other arithmetic operators

    @cometkim
    cometkim committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    2c05e5a View commit details
    Browse the repository at this point in the history

  8. rename test and more cases

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

  9. link comments

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

  10. remove unused clause

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

  11. rename primitive

    @cometkim
    cometkim committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    68fa0dc View commit details
    Browse the repository at this point in the history

  12. sync Pervasives_mini

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

  13. keep arg labels

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

  14. format

    @cometkim
    cometkim committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    15595d2 View commit details
    Browse the repository at this point in the history

  15. note on pervasives_mini

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

  16. add changelog

    @cometkim
    cometkim committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    1ef4469 View commit details
    Browse the repository at this point in the history