Fix context reduction stack overflow in dimensional

[Bas van Dijk]

On 29 March 2011 14:12, Bjorn Buckwalter <bjorn.buckwalter at gmail.com> wrote:
> On Tue, Mar 29, 2011 at 15:46, Bas van Dijk <v.dijk.bas at gmail.com> wrote:
>>
>> Attached is a patch that fixes a context reduction stack overflow in
>> your dimensional package.
>
> Thanks Bas, was the build failure on GHC 7.0.3? I don't believe this
> problem occurred on 7.0.1 and 7.0.2 although I'm not sure about the
> latter. I'm a little behind on GHC versions myself, waiting for 7.0.3
> to get in the HP.

Yes, I'm using GHC-7.0.3

>> I noticed something weird though (that's why I'm CCing the ghc list).
>> When I cabal build dimensional-0.8.2 I first get the context reduction
>> stack overflow when I then build it again I get the error again (as
>> expected). However when I try to build it for the third time it
>> succeeds! Why is this?
>>
>> I attached the build log.
>
> It looks like the first two times it build all seven modules, failing
> on CGS, while the last time it decides to build only CGS. Strange
> indeed.
>
> Anyway, I'll upload a patched dimensional to Hackage right now. But
> I'll need to figure out how to get my ssh key on code.haskell.org
> before I can push the patch to the repo...

Just mail your public key to support at community.haskell.org.

Thanks,

Bas