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
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 ()
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.
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
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
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
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
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
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
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-
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
_
11 matches
Mail list logo