Skip to content
  • Ben Gamari's avatar
    Use (&&) instead of `if` in Ix derivation · 5cce0954
    Ben Gamari authored and Ben Gamari's avatar Ben Gamari committed
    We were previously using `if` in the derivation of `Ix` instances. This
    interacts badly with RebindableSyntax as the typechecker doesn't infer
    the type of the argument we give to `tagToEnum#`.
    Previously we produced, `if (ch >= ah) then (ch <= bh) else False`.
    We now produce `(ch >= ah) && (ch <= bh)`
    Fixes #11396.
    Test Plan: Validate
    Reviewers: austin, simonpj
    Reviewed By: simonpj
    Subscribers: thomie
    Differential Revision:
    GHC Trac Issues: #11396