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

[Merged by Bors] - feat: make norm_num erasable (and scoped) #1364

Closed
wants to merge 30 commits into from
Closed

[Merged by Bors] - feat: make norm_num erasable (and scoped) #1364

wants to merge 30 commits into from

Commits on Jan 10, 2023

  1. make norm_num state a structure (NormNums)

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    8f2de29 View commit details
    Browse the repository at this point in the history

  2. scaffolding

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    fcdc09e View commit details
    Browse the repository at this point in the history

  3. .

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    0798f8a View commit details
    Browse the repository at this point in the history

  4. field docs (basic)

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    4c793b8 View commit details
    Browse the repository at this point in the history

  5. .

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    2fe40b9 View commit details
    Browse the repository at this point in the history

  6. make NormNumExts know their name

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    a1deaad View commit details
    Browse the repository at this point in the history

  7. avoid erased names

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    ec4c592 View commit details
    Browse the repository at this point in the history

  8. erase and eraseCore

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    12e6216 View commit details
    Browse the repository at this point in the history

  9. add Entrys for imported functions

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    c75484f View commit details
    Browse the repository at this point in the history

  10. remove Entry's for imported functions

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    da2eb75 View commit details
    Browse the repository at this point in the history

  11. try basic type + not-erased check for erasability

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    1c505a8 View commit details
    Browse the repository at this point in the history

  12. switched to searching discrTree nodes for check

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    ae4256a View commit details
    Browse the repository at this point in the history

  13. docs

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    8a2255f View commit details
    Browse the repository at this point in the history

  14. basic tests

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    10166f3 View commit details
    Browse the repository at this point in the history

  15. std4 inline cleanup

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    df3e280 View commit details
    Browse the repository at this point in the history

  16. .

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    d3f0d9c View commit details
    Browse the repository at this point in the history

  17. guard_target version of test (tentative)

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    6be927f View commit details
    Browse the repository at this point in the history

  18. guard_target version of test ending in rfl

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    e9e46f6 View commit details
    Browse the repository at this point in the history

  19. clarified lines

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    d380d67 View commit details
    Browse the repository at this point in the history

  20. import Aesop.Util.Basicand don't inline std4#56

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    34b143f View commit details
    Browse the repository at this point in the history

  21. added TODO

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    1914b86 View commit details
    Browse the repository at this point in the history

  22. .

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    9964416 View commit details
    Browse the repository at this point in the history

  23. doc updates

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    5e3f3bd View commit details
    Browse the repository at this point in the history

  24. change to ScopedEnvExtension

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    3be3b4a View commit details
    Browse the repository at this point in the history

  25. .

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    cf5b0d8 View commit details
    Browse the repository at this point in the history

  26. allow norm_num to be local

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    c8eb607 View commit details
    Browse the repository at this point in the history

  27. update tests

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    94bfd5f View commit details
    Browse the repository at this point in the history

  28. update import

    @thorimur
    thorimur committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    e8b8ccc View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2023

  1. Merge master for new norm_num functionality

    @thorimur
    thorimur committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    ffbd732 View commit details
    Browse the repository at this point in the history

  2. merge master

    @thorimur
    thorimur committed Jan 14, 2023
    Configuration menu
    Copy the full SHA
    798ef09 View commit details
    Browse the repository at this point in the history