Poly/ML

polyml@lists.polyml.org

2 participants
698 discussions

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

Approaching release of 5.3
by David.Matthews＠prolingua.co.uk 03 Oct '09

03 Oct '09

We're approaching the stage of releasing 5.3 so I'd like to encourage everyone to test the SVN version especially if you have a large code-base. The changes to the handling of type identifiers and modules could have introduced bugs and several have been fixed during testing. Don't forget to run "make compiler" (previously "make cvs") to rebuild the compiler after the initial configure and make. If you find problems it's probably best to report them here or open a Trac ticket on the sourceforge site. Regards, David

1 0

Poly/ML revision 868 not building under Snow Leopard
by palantir＠trustworthytools.com 23 Sep '09

23 Sep '09

With a completely fresh copy of the developer version, obtained by svn, I try to build Poly/ML in a 32-bit version under the latest version of Snow Leopard (OS X 10.6.1) by cd polyml/polyml ./configure CFLAGS='-arch i386 -O3' CXXFLAGS='-arch i386 -O3' CCASFLAGS='-arch i386' make The make fails with a long list of error messages, which are appended to this message at the end for clarity. Is there a different set of options I should give to configure? Has anyone been able to get Poly/ML working under Snow Leopard? Thanks for your help. Peter . . . <lots of successful compiles> . . . mv -f .deps/locking.Tpo .deps/locking.Plo /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT savestate.lo -MD -MP -MF .deps/savestate.Tpo -c -o savestate.lo savestate.cpp g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT savestate.lo -MD -MP -MF .deps/savestate.Tpo -c savestate.cpp -fno-common -DPIC -o .libs/savestate.o g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT savestate.lo -MD -MP -MF .deps/savestate.Tpo -c savestate.cpp -o savestate.o >/dev/null 2>&1 mv -f .deps/savestate.Tpo .deps/savestate.Plo /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT x86_dep.lo -MD -MP -MF .deps/x86_dep.Tpo -c -o x86_dep.lo x86_dep.cpp g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT x86_dep.lo -MD -MP -MF .deps/x86_dep.Tpo -c x86_dep.cpp -fno-common -DPIC -o .libs/x86_dep.o /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:1254:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:1254:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:1254:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2003:bad register name `%rsp' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2003:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2037:suffix or operands invalid for `xadd' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2250:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2250:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2250:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2258:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2258:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2258:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2366:suffix or operands invalid for `xadd' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2491:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2491:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2491:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5581:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5581:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5581:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5589:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5589:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5589:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5597:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5597:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5597:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5629:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5629:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5629:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5637:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5637:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5637:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5685:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5685:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5685:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5713:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5713:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5713:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5737:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5737:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5737:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5741:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5741:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5741:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5745:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5745:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5745:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5753:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5753:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5753:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5757:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5757:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5757:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5761:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5761:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5761:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5765:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5765:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5765:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5769:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5769:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5769:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5773:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5773:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5773:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5777:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5777:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5777:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5793:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5793:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5793:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5797:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5797:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5797:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5889:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5889:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5889:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5893:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5893:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5893:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5897:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5897:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5897:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5901:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5901:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5901:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5905:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5905:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5905:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5909:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5909:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5909:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5913:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5913:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5913:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5917:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5917:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5917:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5921:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5921:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5921:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5933:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5933:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5933:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5937:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5937:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5937:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5949:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5949:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5949:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5953:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5953:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5953:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6005:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6005:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6005:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6009:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6009:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6009:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6013:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6013:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6013:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6017:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6017:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6017:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6021:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6021:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6021:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6023:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6023:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6023:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6025:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6025:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6025:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6027:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6027:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6027:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6029:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6029:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6029:suffix or operands invalid for `pop' make[2]: *** [x86_dep.lo] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 minastirith:polyml palantir$ -- "In Your majesty ride prosperously because of truth, humility, and righteousness; and Your right hand shall teach You awesome things." (Psalm 45:4)

2 2

Re: Suppressing pretty-printing
by David.Matthews＠prolingua.co.uk 22 Sep '09

22 Sep '09

Rob Arthan pointed out that the new behaviour in 5.3 of printing abstract types isn't always desirable and that it might be useful to explain how to restore the old behaviour. I've added an entry to the FAQ http://www.polyml.org/FAQ.html#defaultpretty which includes instructions on how to install a pretty printer that just prints as "?". David

2 5

InternalError: Equality for function raised
by rda＠lemma-one.com 14 Sep '09

14 Sep '09

David, David, Using recent sources, the following caused an internal error as described in the comment. The problem persists when I update to the very latest (rev. 866). fun present (eq : ('a * 'a) -> bool) (x: 'a) : 'a list -> bool = ( let fun test (h :: t) = eq(x,h) orelse test t | test [] = false in test end ); fun insert (eq:'a * 'a -> bool) (lst : 'a list) (what : 'a) = ( if present eq what lst then lst else (what :: lst) ); (* following cut down extract from a test script fails with: Exception- InternalError: Equality for function raised while compiling *) [ (insert (op =) []), (insert (op =) [1]) ]; Regards, Rob.

2 1

Re: [Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 09 Sep '09

09 Sep '09

David, Yes, it works with --build=i386-apple-darwin. Regards, Rob. On Wednesday 09 Sep 2009 5:55 pm, you wrote: > Rob, > Try with > ./configure --build=i386-apple-darwin CFLAGS='-arch i386 -O3' \ > CXXFLAGS='-arch i386 -O3' CCASFLAGS='-arch i386' > > With the change to config.guess the configure script is now picking up > the default architecture as x86_64 rather than i386 which was what it > was reporting before. Previously you had to override it in 64-bit mode; > now you have to override it in 32-bit mode. > > It would be good to have just a single option to select whether to build > 32-bit or 64-bit on machines that support that. I can't see a good way > to do it at the moment. > > Regards, > David > > Rob Arthan wrote: > > David, > > > > I have update to revision 864 and don't seem to be able to force a 32-bit > > build using the following command any more: > > > > ./configure CFLAGS='-arch i386 -O3' CXXFLAGS='-arch i386 -O3' > > CCASFLAGS='-arch i386' > > > > I have attached the config.log and make output. > > > > Regards, > > > > Rob. > > > > On Wednesday 09 Sep 2009 2:58 pm, David Matthews wrote: > >> Rob, > >> Can I take it that the current SVN builds on Mac OS 10.6 without any > >> extra options, although your Makefiles will have to add the -segprot > >> option? I may need to ask you test it again if the official > >> config.guess is updated to include support for 10.6. > >> > >> Eventually I'd like to remove the need for -segprot but that will > >> require making the code segment at least completely read-only. That in > >> turn requires changes to profiling, data sharing and exporting all of > >> which write to code objects. > >> > >> Regards, > >> David > >> > >> rda(a)lemma-one.com wrote: > >>>> Rob Arthan wrote: > >>>>> I wrote: > >>>>>> I am completely baffled. I thought I hada solved all my problems on > >>>>>> MacOS X > >>>>>> 10.6 and was just tidying up, > >> > >> _______________________________________________ > >> polyml mailing list > >> polyml(a)inf.ed.ac.uk > >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

1 0

[Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 08 Sep '09

08 Sep '09

David, On 7 Sep 2009, at 15:15, David Matthews wrote: Rob, ... >> It may be possible to force 32-bit mode with >> ./configure CFLAGS='-arch i386 -O3' CXXFLAGS='-arch i386 -O3' \ >> CCASFLAGS='-arch i386' > Did you try with the CXXFLAGS option as well? From what I can tell CFLAGS is only used in C > programs not in the C++ parts such as x86_dep.cpp. It does work when I do set all three of CFLAGS CXXFLAGS and CCASFLAGS. Yet again I need to specify -arch i386 in my make files when I link Poly/ML programs. Is there any reason for or against compiling Poly/ML for the 32 bit architecture? [Aside: if I had known about these compiler options 3 days ago, the ProofPower GUI program xpp would probably still be full of code that only works on 32 bit implementations of X/Motif!] One thing that won't hurt me at the moment, but may affect other users is that the configure script is not finding the X Windows installation that comes with MacOS X. As far as I can see this is just because the test it uses needs to specify -L/usr/X11R6/lib. Regards, Rob.

3 3

← Newer
1
...
47
48
49
50
51
52
53
...
70
Older →

Jump to page:

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