-
Simon Peyton Jones authored
This fixes Trac #12597: in RnNames.warnMissingSignatures, use pprSigmaType not pprType (cherry picked from commit 796f0f2a)
906ea044
This fixes Trac #12597: in RnNames.warnMissingSignatures, use pprSigmaType not pprType (cherry picked from commit 796f0f2a)