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
On 11 Oct 2013, at 13:51, David Matthews david.matth...@prolingua.co.uk 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:
On 17 Sep 2013, at 17:57, 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 installers for Windows. The
release notes at
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/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
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
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