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] pkg-config for Poly/ML

2013-09-20 Thread David Matthews
Overall, my feeling is that it would be a good idea to create the PC file as part of the build process but it's not going to be a substitute for "polyc". "polyc" was originally intended as a convenient way to compile and link programs written in ML for users who are more familiar with the comp

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] pkg-config for Poly/ML

2013-09-20 Thread Phil Clayton
19/09/13 16:05, Ramūnas Gutkovas wrote: On 9/19/13 4:47 PM, Alex Merry wrote: On 19/09/13 15:14, David Matthews wrote: I don't know how useful it will be in general, though. I've done a quick look and pkg-config doesn't seem to be installed on several set-ups I looked at including Mac OS X and