Poly/ML August 2011

polyml@lists.polyml.org

7 participants
5 discussions

Inspecting structures
by ramana.kumar＠gmail.com 27 Jan '16

27 Jan '16

Is there a way to look at the contents (i.e. signature) of a structure without opening it? (I suppose you could just open it then call a lot of PolyML.Compiler.forgetXXX, but that's quite tedious) Also, is it possible to retrieve the long path of an identifier in scope? Something that will, for example, take the rev in scope and say that it came from List. Finally, what about searching for an identifier that would come into scope if you opened some structures?

3 5

[Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 29 Dec '14

29 Dec '14

I wrote: > I am completely baffled. I thought I hada solved all my problems on > MacOS X > 10.6 and was just tidying up, when I had to recompile a 32 bit > version of > Poly/ML to test a tidied up make file. This failed because > PolyML.Compiler.printTypesWithStructureName no longer exists. The same > problem happened when i rebuild a 64 bit version. What has happened? but it was a false alarm: my make file was wrong for other reasons and the absence of PolyML.Compiler.printTypesWithStructureName was not relevant. No doubt there are good reasons why this variable has been withdrawn. Regards, Rob.

3 6

Order of evaluation of arguments to a function
by ivan.tomac＠gmail.com 20 Aug '11

20 Aug '11

Is the following code supposed to print 1 followed by 2 or 2 followed by 1? val _ = (fn () => (print "1\n"; fn x => x)) () (print "2\n"; ()) In SML/NJ, MLton and PolyML it does the former, while in Moscow ML it does the latter. Is this specified somewhere in the standard? I noticed equivalent code in OCaml behaves the way Moscow ML does which is not very surprising seeing how Moscow ML was based on Caml Light. Could this be a bug in Moscow ML? The following code works the same in all 4 SML compilers (but different in OCaml): val _ = (print "1\n"; 1) + (print "2\n"; 2) It seems to me like SML/NJ, MLton and PolyML evaluate all function arguments left to right, OCaml evaluates them right to left, and Moscow ML seems inconsistent.

6 6

Re: [MLton-user] Order of evaluation of arguments to a function
by ivan.tomac＠gmail.com 19 Aug '11

19 Aug '11

On Fri, Aug 19, 2011 at 1:32 AM, <rossberg(a)mpi-sws.org> wrote: >> Is the following code supposed to print 1 followed by 2 or 2 followed by 1? >> >> val _ = (fn () => (print "1\n"; fn x => x)) () (print "2\n"; ()) >> >> In SML/NJ, MLton and PolyML it does the former, while in Moscow ML it >> does the latter. Is this specified somewhere in the standard? I >> noticed equivalent code in OCaml behaves the way Moscow ML does which >> is not very surprising seeing how Moscow ML was based on Caml Light. >> Could this be a bug in Moscow ML? > > It is specified, and the deviation a (known) bug/limitation of Moscow ML. > It's due to its implementation being based on the Caml VM, which chose this > semantics in order to be able to implement curried functions more > efficiently. > Interesting and very useful to know. > (Note that in OCaml, evaluation order actually depends on whether you are > using byte code or native code compilation.) > That sounds bad.

1 0

PolyML with OS X 10.7 Lion?
by palantir＠trustworthytools.com 13 Aug '11

13 Aug '11

I have just recently updated my MacBook Pro from Snow Leopard to Lion (Mac OS X 10.7), and now I am regretting it. Poly/ML has stopped working for building the HOL theorem prover. When I try to run the configuration script for HOL using my current version of Poly/ML, I see . . . Making tools/mllex/mllex.exe. Poly/ML 5.3 Release > # ld: library not found for -lcrt1.10.6.o collect2: ld returned 1 exit status Failed to build mllex. In fact this library was present in prior versions of Mac OS X, like 10.6, but is not present in 10.7. So I tried downloading and building the current version of Poly/ML, 5.4.1. I have the current version of the Developer tools, Xcode version 4.1 for Lion. When trying ./configure I see -bash-3.2$ ./configure checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... ./install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking build system type... x86_64-apple-darwin11.0.0 checking host system type... x86_64-apple-darwin11.0.0 checking for style of include used by make... GNU checking for gcc... gcc checking whether the C compiler works... no configure: error: in `/Users/palantir/sml/polyml/polyml.5.4.1': configure: error: C compiler cannot create executables See `config.log' for more details When I look at the end of the config.log file, I see ## ----------- ## ## confdefs.h. ## ## ----------- ## /* confdefs.h */ #define PACKAGE_NAME "Poly/ML" #define PACKAGE_TARNAME "polyml" #define PACKAGE_VERSION "5.4" #define PACKAGE_STRING "Poly/ML 5.4" #define PACKAGE_BUGREPORT "polyml AT polyml DOT org" #define PACKAGE_URL "" #define PACKAGE "polyml" #define VERSION "5.4" configure: exit 77 Are there any suggestions on how to get Poly/ML working under Lion? Thanks. Peter V. Homeier -- "In Your majesty ride prosperously because of truth, humility, and righteousness; and Your right hand shall teach You awesome things." (Psalm 45:4)

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML August 2011