[opentheory-users] Fwd: cannot build opentheory

Ramana Kumar ramana.kumar at gmail.com
Thu Aug 16 19:20:51 UTC 2012


Rob, the forwarded conversations below from last year may be of
interest for your Poly/ML problem. I thought they were in the list
archive, but apparently not (until now).

---------- Forwarded message ----------
From: Ramana Kumar <ramana.kumar at gmail.com>
Date: Mon, Sep 19, 2011 at 11:47 AM
Subject: Re: cannot build opentheory
To: David Matthews <David.Matthews at prolingua.co.uk>
Cc: Joe Hurd <joe at gilith.com>


On Mon, Sep 19, 2011 at 4:34 PM, David Matthews
<David.Matthews at prolingua.co.uk> wrote:
> An infinite loop could be a problem with the compiler but I have seen this
> with storage allocator.  Is this on 32-bit or 64-bit?  You could try a
> larger value of -H.  This sets the initial heap size and also controls the
> step-size when it needs to increase the heap.  The debug settings are quite
> limited in 5.4.1.  I've extended them quite a bit in SVN HEAD.

I am using SVN r1324 at the moment. I am on 64-bit. I'll happily try
any debug or other options you think would be helpful. In fact I'll
try a larger -H1000 now... it still appears to be stopping at the same
point. (I'll leave it running for another 10 minutes...)


>
> David
>
> On 19/09/2011 16:24, Ramana Kumar wrote:
>>
>> On Mon, Sep 19, 2011 at 3:26 PM, David Matthews
>> <David.Matthews at prolingua.co.uk>  wrote:
>>>
>>> It may be a problem with the garbage-collector especially if you're using
>>> the SVN version.  Try giving an explicit heap size (e.g. -H500) on the
>>> poly
>>> line and see if that makes a difference.
>>
>> Adding -H500 appears not to make any difference. Is that supposed to
>> limit the heap size, or just set its initial size? Are the debug
>> options listed anywhere?
>>
>>>
>>> David
>>>
>>> On 16/09/2011 12:39, Ramana Kumar wrote:
>>>>
>>>> After seeing your timings I wanted to try polyml again, and
>>>> unfortunately it still appears to go into an infinite loop while
>>>> building opentheory.
>>>> This could be a bug in polyml. In fact, I you say it definitely is,
>>>> since you can get it to build with a different version?
>>>> I am using version 5.4.1 (svn r1324).
>>>> It goes into the loop when trying to interpret the code starting at
>>>> line 56548 in bin/polyml/selftest.sml (the definition of ppTerm in the
>>>> Haskell structure).
>>>> Do you have any ideas on how to isolate the problem? Maybe I should
>>>> also leave it running for longer to see if it's really a loop (I've
>>>> only left it for about 15 minutes - how long does it take to build
>>>> with your working version of poly?)
>>>> I am CC'ing Dave Matthews in case he has any questions or ideas..
>>>>
>>>> On Thu, Sep 15, 2011 at 11:09 PM, Ramana Kumar<ramana.kumar at gmail.com>
>>>>  wrote:
>>>>>
>>>>> On Thu, Sep 15, 2011 at 11:01 PM, Joe Hurd<joe at gilith.com>    wrote:
>>>>>>
>>>>>> Hi Ramana,
>>>>>>
>>>>>>>> With polyml, gilith/basic appears to fail one of it selftests and
>>>>>>>> building opentheory appears to go into an infinite loop.
>>>>>>>
>>>>>>> Poly/ML seems to be misbehaving in ways I don't understand right now.
>>>>>>> I'm investigating this, and will let you know what I find out.
>>>>>>
>>>>>> I installed the Hombrew
>>>>>>
>>>>>> http://mxcl.github.com/homebrew/
>>>>>>
>>>>>> version of Poly/ML for my Mac, and basic and opentheory seem to work
>>>>>> fine now. I was seeing the same behaviour as you before I did that, so
>>>>>> perhaps there's a dodgy version of Poly/ML in circulation?
>>>>>
>>>>> Maybe. I usually use a pretty bleeding edge poly too (i.e. svn rather
>>>>> than a release, although I don't svn up that often).
>>>>>
>>>>>>
>>>>>> Is this problem blocking you?
>>>>>
>>>>> I have both mosml and mlton too so it's not a major problem.
>>>>>
>>>>>>
>>>>>> Cheers,
>>>>>>
>>>>>> Joe
>>>>>>
>>>>>
>>>
>



More information about the opentheory-users mailing list