Skip to content
Snippets Groups Projects

Fix #19044 by tweaking unification in inst lookup

Closed Fix #19044 by tweaking unification in inst lookup
wip/T19044 into master
All threads resolved!
Closed Richard Eisenberg requested to merge wip/T19044 into master
All threads resolved!

Commit message:

Fix #19044 by tweaking unification in inst lookup

See Note [Occurs-check in lookup] in GHC.Core.InstEnv

Test case: typecheck/should_compile/T19044

Close #19044

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Ryan Scott
  • Simon Peyton Jones
  • Simon Peyton Jones
  • Simon Peyton Jones
  • Richard Eisenberg added 1 commit

    added 1 commit

    Compare with previous version

  • sheaf mentioned in issue #19052 (closed)

    mentioned in issue #19052 (closed)

  • Simon Peyton Jones
  • Richard Eisenberg added 1 commit

    added 1 commit

    Compare with previous version

  • Richard Eisenberg resolved all threads

    resolved all threads

  • Richard Eisenberg assigned to @marge-bot

    assigned to @marge-bot

  • Marge Bot
    Marge Bot @marge-bot ·
    Owner

    I will attempt to batch this MR (!4633 (closed))...

  • Marge Bot
    Marge Bot @marge-bot ·
    Owner

    Batch MR !4633 (closed) failed: CI failed! I will retry later...

  • Marge Bot
    Marge Bot @marge-bot ·
    Owner

    I will attempt to batch this MR (!4635 (closed))...

  • Marge Bot
    Marge Bot @marge-bot ·
    Owner

    Merged in 29f77584

  • Marge Bot closed

    closed

  • Ryan Scott mentioned in issue #19044 (closed)

    mentioned in issue #19044 (closed)

    • Please register or sign in to reply