| Well, I'm aware that it's a compromise. I don't know how to do a bang-up
principled
| job of typechecking local polymorphism, so GHC does a best-effort job. In
fact best
| effort is pretty good, and it's not hard to implement, so
| a) I don't expect to remove NoLocalMonoBinds
|
| Make sure you are using RC2 of the compiler, from what I remember RC1
| required signatures it shouldn't have, or enabled MonoLocalBinds more
| than it should - RC2 required less signatures. However, your code
| could well just be heavily using the relevant features.
|
| I was using
On Wed, Nov 03, 2010 at 10:10:53AM +, Simon Peyton-Jones wrote:
Well, I'm aware that it's a compromise. I don't know how to do a bang-up
principled job of typechecking local polymorphism, so GHC does a best-effort
job. In fact best effort is pretty good, and it's not hard to
Hi,
I've just been updating darcs 2.5 for GHC 7.0. I had to add about 40
signatures for MonoLocalBinds in about 140 files/30K LOC. Is that about
normal? darcs does make fairly heavy use of rank 2 polymorphism which
leads to quite a lot of local definitions needing to be polymorphic.
Also,
On 02/11/2010 07:37, Sittampalam, Ganesh wrote:
I've just been updating darcs 2.5 for GHC 7.0. I had to add about 40
signatures for MonoLocalBinds in about 140 files/30K LOC. Is that about
normal? darcs does make fairly heavy use of rank 2 polymorphism which
leads to quite a lot of local
Simon Marlow wrote:
On 02/11/2010 07:37, Sittampalam, Ganesh wrote:
I've just been updating darcs 2.5 for GHC 7.0. I had to add about 40
signatures for MonoLocalBinds in about 140 files/30K LOC. Is that
about normal? darcs does make fairly heavy use of rank 2 polymorphism
which leads to quite
Hi Ganesh,
Make sure you are using RC2 of the compiler, from what I remember RC1
required signatures it shouldn't have, or enabled MonoLocalBinds more
than it should - RC2 required less signatures. However, your code
could well just be heavily using the relevant features.
Thanks, Neil
On Tue,
Hi Neil,
On Tue, 2 Nov 2010, Neil Mitchell wrote:
Make sure you are using RC2 of the compiler, from what I remember RC1
required signatures it shouldn't have, or enabled MonoLocalBinds more
than it should - RC2 required less signatures. However, your code
could well just be heavily using the
