Add solveLocalEqualities to tcHsPatSigType

Authored by simonpj on Dec 20 2018, 6:42 AM.

Description

Add solveLocalEqualities to tcHsPatSigType

This call plain missing, and as a result the casts
messed up deep-skolemisation in tcSubType

Fixes Trac Trac #16033

Details

Committed
simonpjDec 20 2018, 8:07 AM
Parents
rGHC557178619aa2: Remove an old OPTIONS_GHC
Branches
Unknown
Tags
Unknown