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

Allow input function calls to be wrapped in coercions #248

Merged
merged 10 commits into from
Oct 3, 2024
Merged

Allow input function calls to be wrapped in coercions #248

merged 10 commits into from
Oct 3, 2024

Commits on Oct 1, 2024

  1. Allow input function calls to be wrapped in coercions

    @BillHallahan
    BillHallahan committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    3b1a4fa View commit details
    Browse the repository at this point in the history

  2. Correct LH build errors

    @BillHallahan
    BillHallahan committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    f236dfa View commit details
    Browse the repository at this point in the history

  3. Fixing build error in test

    @BillHallahan
    BillHallahan committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    bf87c6e View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Fixed build error

    @BillHallahan
    BillHallahan committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    b3199fc View commit details
    Browse the repository at this point in the history

  2. Only coerce entry function if a newtype is wrapping a function

    @BillHallahan
    BillHallahan committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    8a7edbb View commit details
    Browse the repository at this point in the history

  3. Added config option

    @BillHallahan
    BillHallahan committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    61dd8fd View commit details
    Browse the repository at this point in the history

  4. Revert "Added config option" 

    This reverts commit 61dd8fd.
    @BillHallahan
    BillHallahan committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    1beadde View commit details
    Browse the repository at this point in the history

  5. Fixing handling of LH assumption arguments

    @BillHallahan
    BillHallahan committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    eca8a69 View commit details
    Browse the repository at this point in the history

  6. Comment

    @BillHallahan
    BillHallahan committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    5899cbf View commit details
    Browse the repository at this point in the history

  7. Fixing handling of newtypes with LH

    @BillHallahan
    BillHallahan committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    b3ce5a4 View commit details
    Browse the repository at this point in the history