Re: [polyml] Poly/ML 5.5.1

2013-10-16 Thread Makarius
On Fri, 11 Oct 2013, David Matthews wrote: I've fixed this and another bug that appeared when I disabled the optimisation that was causing the problem. I've ported the fixes to the fixes branch. I'm a bit concerned about this because it's clearly generating incorrect code. Should there perh

Re: [polyml] Poly/ML 5.5.1

2013-10-11 Thread Anthony Fox
On 11 Oct 2013, at 13:51, David Matthews wrote: > A follow-up on this. > > On 20/09/2013 16:33, David Matthews wrote: >> On 20/09/2013 08:59, Anthony Fox wrote: >>> >>> 1. I’ve noticed a change in evaluation behaviour between PolyML 5.5.0 >>> and 5.5.1. Given the functions: >>> >>> fun foo ()

Re: [polyml] Poly/ML 5.5.1

2013-10-11 Thread David Matthews
A follow-up on this. On 20/09/2013 16:33, David Matthews wrote: On 20/09/2013 08:59, Anthony Fox wrote: 1. I’ve noticed a change in evaluation behaviour between PolyML 5.5.0 and 5.5.1. Given the functions: fun foo () = let val () = print "x\n" in SOME end fun bar f = List.mapPartial (Option.

Re: [polyml] Poly/ML 5.5.1

2013-09-20 Thread David Matthews
On 20/09/2013 08:59, Anthony Fox wrote: 1. I’ve noticed a change in evaluation behaviour between PolyML 5.5.0 and 5.5.1. Given the functions: fun foo () = let val () = print "x\n" in SOME end fun bar f = List.mapPartial (Option.compose (Int.~, f ())) [1, 2, 3] then under 5.5.0 “bar foo” gives

Re: [polyml] Poly/ML 5.5.1

2013-09-20 Thread Anthony Fox
On 17 Sep 2013, at 17:57, David Matthews wrote: > I have uploaded the source for Poly/ML 5.5.1 to the SourceForge site so it is > now officially released. I still need to create installers for Windows. The > release notes at http://www.polyml.org/docs/ReleaseNotes.html give a general > overv

Re: [polyml] Poly/ML 5.5.1

2013-09-18 Thread David Matthews
On 18/09/2013 18:21, Ramana Kumar wrote: Do you happen to know whether and how polyc could be used to build HOL4 when poly was built with --disabled-shared? I think I tried using polyc < tools/smart-configure.sml to start the HOL4 build process (i.e. using polyc instead of poly), but it didn't wo

Re: [polyml] Poly/ML 5.5.1

2013-09-18 Thread Ramana Kumar
On Wed, Sep 18, 2013 at 12:51 PM, David Matthews < david.matth...@prolingua.co.uk> wrote: > On 17/09/2013 19:43, Ramana Kumar wrote: > >> I would like to report that the new default to not build a shared library >> means Poly/ML 5.5.1 does not build HOL4 unless you use the --enable-shared >> optio

Re: [polyml] Poly/ML 5.5.1

2013-09-18 Thread David Matthews
On 17/09/2013 19:43, Ramana Kumar wrote: I would like to report that the new default to not build a shared library means Poly/ML 5.5.1 does not build HOL4 unless you use the --enable-shared option at configure time. Is this as expected, or is there some other possible solution? This issue with

Re: [polyml] Poly/ML 5.5.1

2013-09-17 Thread Ramana Kumar
That's great :) Has the -fixes branch also been updated - or will it be? On Tue, Sep 17, 2013 at 5:57 PM, David Matthews < david.matth...@prolingua.co.uk> wrote: > I have uploaded the source for Poly/ML 5.5.1 to the SourceForge site so it > is now officially released. I still need to create ins

Re: [polyml] Poly/ML 5.5.1

2013-09-17 Thread Ramana Kumar
Thanks for the pointer. I would like to report that the new default to not build a shared library means Poly/ML 5.5.1 does not build HOL4 unless you use the --enable-shared option at configure time. Is this as expected, or is there some other possible solution? Interestingly, even when --enable-

Re: [polyml] Poly/ML 5.5.1

2013-09-17 Thread David Matthews
On 17/09/2013 18:35, Ramana Kumar wrote: That's great :) Has the -fixes branch also been updated - or will it be? I've created a 5.5.1-fixes branch in the root. See http://sourceforge.net/p/polyml/code/HEAD/tree/ At the moment it is just a branch of the current SVN. David _