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

[@zero_alloc] in signatures (part 2 of 3) #2470

Merged
merged 17 commits into from
Apr 26, 2024
Merged

[@zero_alloc] in signatures (part 2 of 3) #2470

merged 17 commits into from
Apr 26, 2024

Commits on Apr 26, 2024

  1. Eliminate duplicated translation of attributes to abstract domain 

    Now there is just one definiton (in zero_alloc_utils) so they can't get out of
sync, and it is accessible to the front-end.
    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    03b4e15 View commit details
    Browse the repository at this point in the history

  2. zero_alloc in signatures

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    add2227 View commit details
    Browse the repository at this point in the history

  3. Elminate parens around arity n, adjust hint

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    4d91a57 View commit details
    Browse the repository at this point in the history

  4. Give tests better names

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    1e3396d View commit details
    Browse the repository at this point in the history

  5. Give hint for missing zero_alloc attribute

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    5292349 View commit details
    Browse the repository at this point in the history

  6. add missing test case

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    5601888 View commit details
    Browse the repository at this point in the history

  7. add "module type of" test

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    f69e8de View commit details
    Browse the repository at this point in the history

  8. Fix issue with warning 199, add test

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    332de8b View commit details
    Browse the repository at this point in the history

  9. Fix test script for new format

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    26009d9 View commit details
    Browse the repository at this point in the history

  10. Ban opt in signatures for now, per slack discussion

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    c621c4e View commit details
    Browse the repository at this point in the history

  11. Improve arity errors.

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    8bdf8b8 View commit details
    Browse the repository at this point in the history

  12. Better names, and a comment

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    7038357 View commit details
    Browse the repository at this point in the history

  13. Fix opt's interaction with inferred module types.

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    fb86ee4 View commit details
    Browse the repository at this point in the history

  14. Bootstrap (fixing upstream build)

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    3b198fc View commit details
    Browse the repository at this point in the history

  15. Fix upstream build

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    c546e1f View commit details
    Browse the repository at this point in the history

  16. Clean up let_bound_idents_with_modes_sorts_and_checks

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    6989599 View commit details
    Browse the repository at this point in the history

  17. Refactor zero_alloc payload parsing

    @ccasin
    ccasin committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    9602c4e View commit details
    Browse the repository at this point in the history