> The final issue is to do with a type system change in GHC 7. By default, > local let bindings are no longer polymorphic, which requires either a bunch > of rather ugly looking type signatures (about 40 of them; see patch524). > Alternatively we can add the NoMonoLocalBinds extension and just add a > single type signature (patch523). The disadvantage of that extension is that > it's considered a bit of a hack by Simon PJ. See this thread on GHC-users > for a bit more detail: > http://www.haskell.org/pipermail/glasgow-haskell-users/2010-November/019444.html > > My inclination is to go with patch523 for 2.5.1 as it's a smaller change > overall, but make a fresh decision for HEAD.
After reading the thread you linked (and especially SPJ's answer), I agree with going with patch523 for 2.5.1 . We should document this choice on http://wiki.darcs.net/Development/Policy#ghc-versions . guillaume _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
