[darcs-users] 2.5.1

[Guillaume Hoffmann]

> 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