-
Simon Peyton Jones authored
**** MERGE WITH 5.00 BRANCH ******** -------------------------------- Monomorphism restriction for implicit parameters -------------------------------- This commit tidies up the way in which monomorphic bindings are dealt with, incidentally fixing a bug to do with implicit parameters. The tradeoffs concerning monomorphism and implicit paramters are now documented in TcSimplify.lhs, and all the strategic choices are made there (rather than in TcBinds where they were before). I've continued with choice (B) -- which Jeff first implemented -- because that's what Hugs does, lacking any other consensus.
bbc670f4