darcs

Issue 2087 Building a recent darcs on a Mac OS X 10.5: src/Darcs/Test/Patch.hs:175:1: Context reduction stack overflow

Title Building a recent darcs on a Mac OS X 10.5: src/Darcs/Test/Patch.hs:175:1: Context reduction stack overflow
Priority Status resolved
Milestone Resolved in
Superseder Nosy List thorkilnaur
Assigned To
Topics

Created on 2011-07-10.20:02:18 by thorkilnaur, last changed 2011-10-18.10:05:13 by thorkilnaur.

Messages
msg14580 (view) Author: thorkilnaur Date: 2011-07-10.20:02:17
On

> $ uname -a
> Darwin thorkil-naurs-intel-mac-mini.local 9.8.0 Darwin Kernel Version
9.8.0: Wed Jul 15 16:55:01 PDT 2009; root:xnu-1228.15.4~1/RELEASE_I386 i386
> $ ghc --version
> The Glorious Glasgow Haskell Compilation System, version 7.0.1
> $

building a recent darcs from http://darcs.net/screened configured with
-ftest gets me this error message:

> src/Darcs/Test/Patch.hs:175:1:
>     Context reduction stack overflow; size = 21
>     Use -fcontext-stack=N to increase stack size to N
>       $dPatchy :: Patchy
>                     (PrimOf
>                        (PrimOf
>                           (PrimOf
>                              (PrimOf
>                                 (PrimOf (PrimOf (PrimOf (PrimOf
(PrimOf (PrimOf prim))))))))))
> ...   
>       co :: PrimOf prim ~ PrimOf (PrimOf prim)
>       co :: PrimOf (PrimOf prim) ~ PrimOf prim
>       co :: prim ~ PrimOf prim
>       co :: PrimOf prim ~ prim
> $

Increasing the stack size to 50 increases the size of the error message.

Best regards
Thorkil
msg14779 (view) Author: thorkilnaur Date: 2011-10-18.10:05:12
Using

> $ ghc --version
> The Glorious Glasgow Haskell Compilation System, version 7.0.4
> $

this does not happen, so I have closed this issue.

Best regards
Thorkil
History
Date User Action Args
2011-07-10 20:02:18thorkilnaurcreate
2011-10-18 10:05:13thorkilnaursetstatus: unknown -> resolved
messages: + msg14779