[darcs-users] fromJust error in darcs-2.0.0

[Greg Holtz]

Hello,
That was a fast response!
I tried compiling with both --disable-optimize and --disable-mmap
(hints I got from the darcs.net binaries page under Solaris), but it
doesn't resolve this issue.

Unfortunately, I cannot volunteer the machine as a buildbot since
it's a work machine. However, I'm more than willing to compile things
and report my findings or bugs to help the community.

Is there any way to get more detailed information about the nature
of the error?

Date: Tue, 22 Apr 2008 17:26:58 -0700
From: dagit at codersbase.com
To: gh2377 at hotmail.com
Subject: Re: [darcs-users] fromJust error in darcs-2.0.0
CC: darcs-users at darcs.net



On Tue, Apr 22, 2008 at 4:24 PM, Greg Holtz <gh2377 at hotmail.com> wrote:












Hello,
I have compiled darcs-2.0.0 on opensolaris x86 with ghc 6.8.2.
When I run "darcs whatsnew", or any command that accesses
the darcs database, such as "add" "changes", etc... I get the

following fromJust errors.

$ darcs whatsnew
darcs: bug in darcs!
fromJust
errorsrc/Darcs/SlurpDirectory.lhs:347 compiled Apr 21 2008 10:44:14 at
src/Darcs/SlurpDirectory.lhs:347 compiled Apr 21 2008 10:44:14
I'm unable to check http://darcs.net/maintenance to see if this version is supported.
If it is is supported, please report this to bugs at darcs.net

If possible include the output of 'darcs --exact-version'.
Thanks for trying darcs on OpenSolaris and reporting your findings.

Looking at line 347 in SlurpDirectory, I see that this depends on mmap.  Could it be possible that we need a Workaround for mmap on your platform?


Could you please try building again but this time add --disable-mmap to your configure and then tell us if you get the same results.

Is this a machine which could be used as a buildbot slave?  I think OpenSolaris is somewhat exotic and we don't yet have a slave running it so it could be quite valuable to darcs development and to keeping your machine supported.


See here for more details about buildbots:
http://lists.osuosl.org/pipermail/darcs-devel/2008-April/007942.html
http://buildbot.net/repos/release/README


You can talk to Zooko to for more details about getting setup and any to also answer other questions you might have.



_________________________________________________________________
Back to work after baby–how do you know when you’re ready?
http://lifestyle.msn.com/familyandparenting/articleNW.aspx?cp-documentid=5797498&ocid=T067MSN40A0701A
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.osuosl.org/pipermail/darcs-users/attachments/20080422/5eea76e6/attachment.htm