Poly/ML

polyml@lists.polyml.org

720 discussions

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

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

← Newer
1
...
49
50
51
52
53
54
55
...
72
Older →

Jump to page:

2026

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