Skip to content

GitLab

Open
Created by Krzysztof Gogolewski@monoidalDeveloper0 of 3 tasks completed0/3 tasks

Coercion variables appearing where they shouldn't

During review of !2268 (closed), we've discovered a few places where a coercion variable can appear where it shouldn't. Those are calls to "OrCoVar" functions in:

  • newLocal in MkId
  • bindIfaceId in TcIface
  • tcPatBndr in TcPat

that happen when running tests T13990 T14285 T15648.

The goal is to fix this, or come up with a convincing reason that a coercion makes sense there.

Edited by Icelandjack
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information