(forwarding to the list) <div class="gmail_quote">---------- Forwarded message ---------- From: "Rob Arthan" <<a href="mailto:rda@lemma-one.com">rda@lemma-one.com</a>> Date: Aug 17, 2012 8:25 AM Subject: Re: cannot build opentheory To: "Ramana Kumar" <<a href="mailto:ramana.kumar@gmail.com">ramana.kumar@gmail.com</a>> Ramana, Thanks. I think this is the same problem but I think it might not have been explained properly to David Matthews. The problem is clearly an unintended loop at compile time and if you make minor adjustments to the source it compiles. I have pinpointed the exact function binding that causes the problem and have sent a slightly cut-down version of the source to David. Regards, Rob. <div class="elided-text"> On 16 Aug 2012, at 15:20, Ramana Kumar wrote: > 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 <<a href="mailto:ramana.kumar@gmail.com">ramana.kumar@gmail.com</a>> > Date: Mon, Sep 19, 2011 at 11:47 AM > Subject: Re: cannot build opentheory > To: David Matthews <<a href="mailto:David.Matthews@prolingua.co.uk">David.Matthews@prolingua.co.uk</a>> > Cc: Joe Hurd <<a href="mailto:joe@gilith.com">joe@gilith.com</a>> > > > On Mon, Sep 19, 2011 at 4:34 PM, David Matthews > <<a href="mailto:David.Matthews@prolingua.co.uk">David.Matthews@prolingua.co.uk</a>> 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 >>> <<a href="mailto:David.Matthews@prolingua.co.uk">David.Matthews@prolingua.co.uk</a>> 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<<a href="mailto:ramana.kumar@gmail.com">ramana.kumar@gmail.com</a>> >>>>> wrote: >>>>>> >>>>>> On Thu, Sep 15, 2011 at 11:01 PM, Joe Hurd<<a href="mailto:joe@gilith.com">joe@gilith.com</a>> 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 >>>>>>> >>>>>>> <a href="http://mxcl.github.com/homebrew/" target="_blank">http://mxcl.github.com/homebrew/</a> >>>>>>> >>>>>>> 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 >>>>>>> >>>>>> >>>> >> </div></div>