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.

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

Improvements to type relation errors #4357

Merged

Commits on Sep 5, 2024

  1. Configuration menu
    Copy the full SHA
    a0a3f77 View commit details
    Browse the repository at this point in the history
  2. Cascade error up

    timotheeguerin committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    eaedce5 View commit details
    Browse the repository at this point in the history
  3. better target

    timotheeguerin committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    6ea157c View commit details
    Browse the repository at this point in the history
  4. add tests

    timotheeguerin committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    871b49c View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. Configuration menu
    Copy the full SHA
    19ef27c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e450e80 View commit details
    Browse the repository at this point in the history
  3. cleanup

    timotheeguerin committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    ba750a6 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    b4f05cb View commit details
    Browse the repository at this point in the history
  5. fix test

    timotheeguerin committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    4a9444f View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    fab412d View commit details
    Browse the repository at this point in the history
  7. Keep multi errors

    timotheeguerin committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    a0f2d5c View commit details
    Browse the repository at this point in the history
  8. update

    timotheeguerin committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    0e11b62 View commit details
    Browse the repository at this point in the history
  9. remove test code

    timotheeguerin committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    d27bfc8 View commit details
    Browse the repository at this point in the history