• Krzysztof Gogolewski's avatar
    Use "OrCoVar" functions less · 75355fde
    Krzysztof Gogolewski authored
    As described in #17291, we'd like to separate coercions and expressions
    in a more robust fashion.
    This is a small step in this direction.
    - `mkLocalId` now panicks on a covar.
      Calls where this was not the case were changed to `mkLocalIdOrCoVar`.
    - Don't use "OrCoVar" functions in places where we know the type is
      not a coercion.
Code owners : Ben Gamari
SetLevels.hs 70.3 KB