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

Re: [polyml] Poly/ML 5.5.1

2013-09-20 Thread Anthony Fox
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

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

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