• 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.
    75355fde
Code owners : Ben Gamari
UnariseStg.hs 26.4 KB