From ramana at member.fsf.org Fri Dec 28 13:17:11 2012 From: ramana at member.fsf.org (Ramana Kumar) Date: Fri, 28 Dec 2012 21:17:11 +0800 Subject: [opentheory-users] Problems with Poly/ML In-Reply-To: References: <3D41048E-A961-4EEC-9F6F-B05EBF1DD918@lemma-one.com> Message-ID: Hi Rob, Did you have any success with fixing this problem (opentheory failing to build with polyml)? Cheers, Ramana On Thu, Aug 16, 2012 at 5:37 AM, Rob Arthan wrote: > 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 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/mailman/listinfo/opentheory-users > > > > _______________________________________________ > > opentheory-users mailing list > > opentheory-users at gilith.com > > http://www.gilith.com/mailman/listinfo/opentheory-users > > > _______________________________________________ > opentheory-users mailing list > opentheory-users at gilith.com > http://www.gilith.com/mailman/listinfo/opentheory-users > -------------- next part -------------- An HTML attachment was scrubbed... URL: From rda at lemma-one.com Fri Dec 28 16:29:42 2012 From: rda at lemma-one.com (Rob Arthan) Date: Fri, 28 Dec 2012 16:29:42 +0000 Subject: [opentheory-users] Problems with Poly/ML In-Reply-To: References: <3D41048E-A961-4EEC-9F6F-B05EBF1DD918@lemma-one.com> Message-ID: Raman, David Matthews offered a workaround. See http://www.gilith.com/pipermail/opentheory-users/2012-August/000260.html Regards, Rob. On Dec 28, 2012, at 1:17 PM, Ramana Kumar wrote: > Hi Rob, > > Did you have any success with fixing this problem (opentheory failing to build with polyml)? > > Cheers, > Ramana > > > On Thu, Aug 16, 2012 at 5:37 AM, Rob Arthan wrote: > 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 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/mailman/listinfo/opentheory-users > > > > _______________________________________________ > > opentheory-users mailing list > > opentheory-users at gilith.com > > http://www.gilith.com/mailman/listinfo/opentheory-users > > > _______________________________________________ > opentheory-users mailing list > opentheory-users at gilith.com > http://www.gilith.com/mailman/listinfo/opentheory-users > > _______________________________________________ > opentheory-users mailing list > opentheory-users at gilith.com > http://www.gilith.com/mailman/listinfo/opentheory-users -------------- next part -------------- An HTML attachment was scrubbed... URL: From ramana at member.fsf.org Sat Dec 29 02:40:58 2012 From: ramana at member.fsf.org (Ramana Kumar) Date: Sat, 29 Dec 2012 10:40:58 +0800 Subject: [opentheory-users] invalid theory file syntax should be detected earlier In-Reply-To: References: Message-ID: On Wed, Dec 7, 2011 at 6:30 AM, Joe Hurd wrote: > > As an aside, is there an issue tracker for the opentheory tool? > > Not right now: is there one that you would recommend? > Unfortunately I don't have much experience with them. I've only used the github issue tracker, which is adequate (no complaints), and bugzilla (likewise), but I would recommend exploring the other options, e.g. https://en.wikipedia.org/wiki/Comparison_of_issue-tracking_systems. > Cheers, > > Joe > > _______________________________________________ > opentheory-users mailing list > opentheory-users at gilith.com > http://www.gilith.com/mailman/listinfo/opentheory-users > -------------- next part -------------- An HTML attachment was scrubbed... URL: