Do not combine dictionaries in the EvVarCache when simplEqsOnly is on
This fixes Trac #5776; the background is in Note [Simplifying RULE lhs constraints] in TcSimplify
Loading
Please register or sign in to comment
This fixes Trac #5776; the background is in Note [Simplifying RULE lhs constraints] in TcSimplify