Poly/ML October 2009

polyml@lists.polyml.org

7 participants
11 discussions

[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

Latest SVN version
by rda＠lemma-one.com 03 Nov '09

03 Nov '09

David, RC2 is working fine for ProofPower. I am testing on Snow Leopard using SVN rev 924 of the Poly/ML source. I tried both x86_64 and i386 architectures - to get the latter work you still seem to have to specify CXXFLAGS etc. I see that configure is still using xmkmf to test for X windows and therefore not finding it. However while hamlet compiles and runs OK with poly compiled for the 32 bit architecture, it compiles but fails with a bus error with the 64 bit architecture. I believe I configured the Makefile correctly - I adjusted the settings for POLY_LIBDIR and added the appropriate -arch option to the step where it links the executable. I've appended the output from the dynamic linker and gdb: I am afraid I don't have a cutdown version of the problem, because there isn't really anything to cut down: it appears to be failing before calling the hamlet main function. Regards, Rob. rda]- DYLD_PRINT_LIBRARIES= hamlet dyld: loaded: /Users/rda/bld/hamlet-1.3.1/./hamlet dyld: loaded: /usr/local/poly/x86_64/lib/libpolyml.1.dylib dyld: loaded: /usr/lib/libstdc++.6.dylib dyld: loaded: /usr/lib/libSystem.B.dylib dyld: loaded: /usr/lib/system/libmathCommon.A.dylib Bus error rda]- gdb hamlet GNU gdb 6.3.50-20050815 (Apple version gdb-1344) (Fri Jul 3 01:19:56 UTC 2009) Copyright 2004 Free Software Foundation, Inc. GDB is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. Type "show copying" to see the conditions. There is absolutely no warranty for GDB. Type "show warranty" for details. This GDB was configured as "x86_64-apple-darwin"...Reading symbols for shared libraries .... done (gdb) run Starting program: /Users/rda/bld/hamlet-1.3.1/hamlet Reading symbols for shared libraries +++. done Program received signal EXC_BAD_ACCESS, Could not access memory. Reason: KERN_PROTECTION_FAILURE at address: 0x00000001000060f0 [Switching to process 18897] 0x00000001000060f0 in PolyML.runFunction(1)(1) () (gdb) where #0 0x00000001000060f0 in PolyML.runFunction(1)(1) () #1 0x000000018298a968 in ?? () Previous frame inner to this frame (gdb could not unwind past this frame) (gdb)

2 3

Version 5.3 Release Candidate 2
by David.Matthews＠prolingua.co.uk 27 Oct '09

27 Oct '09

Thank you to everyone who reported bugs (or successes) in RC1. There have been quite a few fixes as a result and now everything that I'm aware of has been fixed. I have upped the version string to RC2 so this is the last chance to check that everything is working before the release. I've made new versions of the pre-built compilers in the imports directory and moved the version 5.3-specific basis library files into their normal locations. This means that it's sufficient to run ./configure make and it isn't necessary to run the "make compiler" step. If I don't hear anything in the next week or so I'll release 5.3. Regards, David

1 0

eqtype analysis bug in r902
by Michael.Norrish＠nicta.com.au 22 Oct '09

22 Oct '09

The attached causes the following error message, after doing a poly < simple.sml Poly/ML 5.3 Release candidate 1 > # # # ... # # Error-Type error in function application. Function: = : ''a * ''a -> bool Argument: (v, w) : ''a * hol_type Reason: Can't unify ''a to hol_type (Requires equality type) Found near exists_tyvar (fn v => v = w) ty Error-Type error in function application. Function: exists_tyvar : (hol_type -> bool) -> hol_type -> bool Argument: (fn v => v = w) : ''a -> bool Reason: Can't unify hol_type to ''a (Requires equality type) Found near exists_tyvar (fn v => v = w) ty Static Errors Poly 5.2 compiles the same code fine. r902 also compiles it fine if the (redundant, in this stripped down example) KTypes signature is removed, and the KTypes structure loses its signature ascription. mlton and Moscow ML also compile the code without complaint. Michael

2 1

Sparc support
by David.Matthews＠prolingua.co.uk 12 Oct '09

12 Oct '09

There's been a problem with the multiprocessor code in Poly/ML on the Sparc and I've traced this to some hand-coded assembly code. The problem is that v9 processors appear to require memory barrier instructions in the atomic increment and decrement instructions but these instructions aren't implemented on earlier processors. That really means that there have to be different versions of the code for v9 and for earlier processors. There are various options for dealing with this requiring more or less effort but I'd first like to have some idea of how much Sparc machines are currently used. If they are used are these v9 processors or are people still using v8/v7 processors? David

1 0

exception SysErr
by phil.clayton＠lineone.net 12 Oct '09

12 Oct '09

David, The basis library documentation for exception SysErr states: ...but if a SysErr exception has the form SysErr (s, SOME e), then we have errorMsg e = s. http://www.standardml.org/Basis/os.html However, it appears that Poly/ML is not always preserving that property because errorMsg e and s are sometimes different strings, for example: val () = ignore (TextIO.openIn "a non-existent file name") handle e as IO.Io {cause, ...} => ( case cause of OS.SysErr (s, SOME e) => ( print "\n"; app print ["s = \"", s, "\"\n"]; app print ["errorMsg e = \"", OS.errorMsg e, "\"\n"] ) | _ => () ); If the Standard is to be followed and one of the messages must be chosen, the string returned by errorMsg e seems to be the useful one as s can be deduced from the structure of the program, at least in this example. Regards, Phil

2 1

bug compiling MLton sources with Poly/ML
by mtf＠cs.rit.edu 08 Oct '09

08 Oct '09

I'm encountering an unexpected (and presumably buggy) type error when compiling the MLton sources with Poly/ML r883. I am able to compile the MLton sources with Poly/ML 5.2.1 (and also MLton and SML/NJ), so I'm fairly certain that the code is type correct. Unfortunately, the set of sharing constraints with the AST related signatures is fairly complex, and I haven't had any luck trimming things down to a simpler example. You can recreate the bug with the following commands. The "polyml-mlton-extra.tgz" includes the set of derived files that aren't in the source distribution; it avoids the need to have MLton installed to reproduce the bug. $ wget http://mlton.org/pages/TemporaryUpload/attachments/polyml-mlton-extra.tgz $ svn co svn://mlton.org/mlton/trunk mlton $ cd mlton $ tar -xzf ../polyml-mlton-extra.tgz $ cd mlton $ ( echo 'use "mlton-polyml.use";' ) | poly Poly/ML 5.3 Release candidate 1 > ... val it = () : unit Error- in 'ast/ast-modules.fun', line 14. Structure does not match signature in sub-structure Longvid. Signature: val toLongcon: Longvid.t -> Longcon.t Structure: val toLongcon: Longvid.t -> Longvid.t Reason: Can't match Longvid.L.node (*Created from applying functor AstAtoms*) to Longcon.L.node (*Created from applying functor AstAtoms*) (Different type constructors) Found near AstCore(AstAtoms(S)) Error- in 'ast/ast-modules.fun', line 14. Structure does not match signature in sub-structure Type. Signature: constructor Con: Longtycon.t * Type.t vector -> Type.node Structure: constructor Con: Longcon.t * Type.t vector -> Type.node Reason: Can't match Longcon.L.node (*Created from applying functor AstAtoms*) to Longtycon.T.node (*Created from applying functor AstAtoms*) (Different type constructors) Found near AstCore(AstAtoms(S)) ... Exception- Fail "Static Errors" raised Exception- Fail "Static Errors" raised I hope that is enough to help make progress.

2 1

bugs with datatype replication
by mtf＠cs.rit.edu 06 Oct '09

06 Oct '09

There appears to be a bug with datatype replication when the to-be-replicated type is brought into scope by an open. [fluet@shadow tmp]$ poly Poly/ML 5.3 Release candidate 1 > structure S1 = struct open Date datatype t = datatype weekday end; Exception- InternalError: codeVal - Formal raised while compiling Exception- InternalError: codeVal - Formal raised while compiling > Also, the Definition allows binding non-datatypes with datatype replication, so the following should be accepted: > [fluet@shadow tmp]$ poly Poly/ML 5.3 Release candidate 1 > structure S2 = struct datatype t = datatype char end; Error-char is not a datatype Found near datatype t = datatype char Static Errors >

3 9

Revision 885 does not build under Snow Leopard
by palantir＠trustworthytools.com 06 Oct '09

06 Oct '09

Upon updating the svn repository for Poly/ML to revision 885, I then ran make distclean ./configure --build=x86_64-darwin LDFLAGS='-segprot POLY rwx rwx' make which generated the following transcript: make all-recursive Making all in libpolyml /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -O3 -MT mpoly.lo -MD -MP -MF .deps/mpoly.Tpo -c -o mpoly.lo mpoly.cpp ../libtool: line 810: X--tag=CXX: command not found ../libtool: line 843: libtool: ignoring unknown tag : command not found ../libtool: line 810: X--mode=compile: command not found ../libtool: line 976: *** Warning: inferring the mode of operation is deprecated.: command not found ../libtool: line 977: *** Future versions of Libtool will require --mode=MODE be specified.: command not found ../libtool: line 1120: Xg++: command not found ../libtool: line 1120: X-DHAVE_CONFIG_H: command not found ../libtool: line 1120: X-I.: command not found ../libtool: line 1120: X-I..: command not found ../libtool: line 1120: X-DMACOSX: command not found ../libtool: line 1120: X-Wall: command not found ../libtool: line 1120: X-O3: command not found ../libtool: line 1120: X-MT: command not found ../libtool: line 1120: Xmpoly.lo: command not found ../libtool: line 1120: X-MD: command not found ../libtool: line 1120: X-MP: command not found ../libtool: line 1120: X-MF: command not found ../libtool: line 1120: X.deps/mpoly.Tpo: No such file or directory ../libtool: line 1120: X-c: command not found ../libtool: line 1171: Xmpoly.lo: command not found ../libtool: line 1176: libtool: compile: cannot determine name of library object from `': command not found make[2]: *** [mpoly.lo] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 This used to work. Peter -- "In Your majesty ride prosperously because of truth, humility, and righteousness; and Your right hand shall teach You awesome things." (Psalm 45:4)

2 3

"make compiler" fails on DarwinPPC
by pahia＠t-online.hu 03 Oct '09

03 Oct '09

Hi, I just checked out revision 879 from SVN. The 'make compiler' target fails with the following messages: ... Making CODE_SEG Created signature CODE_SEG Created signature CodeSeg Created signature PPCCODECONS Making Debug Created signature Debug Error- in 'mlsource/MLCompiler/CodeTree/CodeCons.ppc.ML', line 21. Value (compilerOutputTag) missing in structure. Found near PPCCODECONS( struct structure CODESEG = CodeSeg structure DEBUG = Debug structure MISC = Boot.Misc structure ADDRESS = Address end) mlsource/MLCompiler was not declared Exception- Fail "Static errors (pass2)" raised > > Error-Structure (MLCompiler) has not been declared Found near PolyML.shareCommonData(MLCompiler.shell) Static errors (pass2) ... I am using Mac OS X 10.4 on a PowerPC machine. Regards, Andras Pahi

2 1

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 October 2009