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

Fix for #357 #358

Merged
merged 6 commits into from
Sep 19, 2024
Merged

Fix for #357 #358

merged 6 commits into from
Sep 19, 2024

Commits on Sep 12, 2024

  1. [ re agda#357 ] Make Erase type play nice with instance search

    @jespercockx
    jespercockx committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    ffae44a View commit details
    Browse the repository at this point in the history

  2. [ re agda#357 ] Wrap result of guard in Erase

    @jespercockx
    jespercockx committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    1f9ade6 View commit details
    Browse the repository at this point in the history

  3. [ re agda#357 ] Check that we do not compile Level or Size

    @jespercockx
    jespercockx committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    7a0550e View commit details
    Browse the repository at this point in the history

  4. [ re agda#357 ] Add utility function noWriteImports

    @jespercockx
    jespercockx committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    f663b88 View commit details
    Browse the repository at this point in the history

  5. [ fix agda#357 ] Check that type arguments are valid Haskell types be… 

    …fore dropping them
    @jespercockx
    jespercockx committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    db7f649 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. [ re agda#357 ] Rewrite \x -> (a -> x) to (->) a and `\x -> ((->)… 

    … x)` to `(->)`
    @jespercockx
    jespercockx committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    2c9ba29 View commit details
    Browse the repository at this point in the history