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

Deal with normalization collisions in reimport #532

Merged
merged 13 commits into from
Jul 17, 2024
Merged

Deal with normalization collisions in reimport #532

merged 13 commits into from
Jul 17, 2024

Commits on Jul 16, 2024

  1. improve rimport 

    * detect name collisions and give a nice warning message
* use gensym instead of a default name to avoid collisions of hidden module
* allow custom normalization
    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    74cd0dc View commit details
    Browse the repository at this point in the history

  2. cleanup, tests

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    50c0914 View commit details
    Browse the repository at this point in the history

  3. version bump

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    b75ab94 View commit details
    Browse the repository at this point in the history

  4. fix package installation in testing

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    9c36a7e View commit details
    Browse the repository at this point in the history

  5. allunique

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    2f12b2d View commit details
    Browse the repository at this point in the history

  6. rework temp install logic slightly

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    a615788 View commit details
    Browse the repository at this point in the history

  7. hmmm

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    5eec169 View commit details
    Browse the repository at this point in the history

  8. try wget

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    b7a9388 View commit details
    Browse the repository at this point in the history

  9. d'oh

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    d3c82ac View commit details
    Browse the repository at this point in the history

  10. simplify slightly

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    d060a86 View commit details
    Browse the repository at this point in the history

  11. use default native arch in CI

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    9e7e14d View commit details
    Browse the repository at this point in the history

  12. oh unicode

    @palday
    palday committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    4a3f12f View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2024

  1. use our own countmap, remove unneeded deps

    @palday
    palday committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    52d80f8 View commit details
    Browse the repository at this point in the history