Fix context reduction stack overflow in dimensional

Bas van Dijk v.dijk.bas at
Tue Mar 29 15:01:17 CEST 2011

On 29 March 2011 14:12, Bjorn Buckwalter <bjorn.buckwalter at> wrote:
> On Tue, Mar 29, 2011 at 15:46, Bas van Dijk <v.dijk.bas at> 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
> before I can push the patch to the repo...

Just mail your public key to support at



More information about the Glasgow-haskell-users mailing list