[opentheory-users] Problems with Poly/ML

[Rob Arthan]

Joe,

Thanks. I have a vested interest in keeping Poly/ML on the road, so I will delve around and see if I can isolate the problem.

Regards,

Rob.

On 15 Aug 2012, at 16:26, Joe Hurd wrote:

> Hi Rob,
> 
> I experienced the same problem myself a while back when I started
> using a new MacBook Air, which I solved in the simplest possible way
> by switching in a version of Poly/ML (5.3) that I know builds
> opentheory with no problems.
> 
> Poly/ML compiler issues are outside my area of expertise, so I'm not
> sure what the procedure is for fixing the problem. Any advice would be
> welcome!
> 
> Cheers,
> 
> Joe
> 
> On Wed, Aug 15, 2012 at 4:12 AM, Rob Arthan <rda at lemma-one.com> wrote:
>> 
>> I tried to build opentheory using Poly/ML, When I do make, I see this:
>> 
>> rda]- make polyml
>> 
>> ***************************************
>> * Build and test the Poly/ML programs *
>> ***************************************
>> 
>> cd bin/polyml ; echo "use \"selftest.sml\";" | poly  > selftest.log
>> 
>> And then there is a process running poly that consumes 600Mb or more of memory and grows slowly but never seems to terminate. selftest.log ends with the following line:
>> 
>> structure Thms : Thms
>> 
>> Am I just being impatient or what?
>> 
>> This is on a Mac running Snow Lion (10.6.8) and poly -v reports:
>> 
>> Poly/ML 5.4.1 Release    RTS version: X86_64-5.4.1
>> 
>> Regards,
>> 
>> Rob.
>> _______________________________________________
>> opentheory-users mailing list
>> opentheory-users at gilith.com
>> http://www.gilith.com/opentheory/mailing-list
> 
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list