Extract implicit equalities from result type of pattern synonym type signature

Authored by cactus.

Description

Extract implicit equalities from result type of pattern synonym type signature

Details

Committed
cactusJan 3 2015, 6:58 AM
Parents
rGHC2e2563376b6f: Add psEqSpec field to PatSyn
Branches
Unknown
Tags
Unknown