Poly/ML

polyml@lists.polyml.org

2 participants
698 discussions

exit code 89 with r1259
by ramana.kumar＠gmail.com 17 Jan '11

17 Jan '11

When I try to build HOL4 using polyml svn 1259 the builder consistently exits with exit code 89 and I think it is running out of memory. I'm sorry I don't have anything more helpful to add - I'm switching back to svn 1243 (which I happen to have and which works), but I'm happy to follow instructions to retrieve information that might lead to finding the problem. I am on x86_64.

2 1

Release Announcement of PolyChrome 0.3
by ldixon＠inf.ed.ac.uk 13 Jan '11

13 Jan '11

Dear ML enthusiasts, We are pleased to announce the first release of PolyChrome (version 0.3). This is an extension for the Firefox web browser that runs Standard ML programs embedded in HTML documents, and lets those programs manipulate the webpage much like JavaScript does. PolyChrome uses PolyML (http://www.polyml.org/, use svn version on Mac, and that or 5.4-fixes on linux) and provides a cute way to quickly develop interfaces for Standard ML programs using HTML. The extension also provides a simple foreign function interface to JavaScript. As a result, JavaScript libraries and interfaces provided by the browser, such as DOM and Canvas, can be used from Standard ML programs. For more information, documentation, download links, etc see: http://kidkarolis.github.com/PolyChrome/ PolyChrome still has many rougher edges, but we feel it's now ready for a first release into the wild; we'd welcome contributions, bug-reports, and other feedback. Best wishes, Karolis Narkevi?ius and Lucas Dixon -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

Socket.accept on MacOS causes 100% processor usage
by ldixon＠inf.ed.ac.uk 12 Jan '11

12 Jan '11

Hi, Below is a little ML code that prints out everything that gets sent to port 8080. On linux this behaves much as expected, but on MacOS, as soon as the Socket.accept call is made, it uses 100% of processor. The code: (* Reproducable on Mac OS X 10.6.5 PolyML 5.4 Not reproducable on Linux :) After calling main() the CPU usage becomes 100%. After connecting to this server socket by doing telnet localhost 8080 the CPU usage is still 100%. *) fun mkServerSocket () = let val server = INetSock.TCP.socket(); val _ = Socket.bind(server, INetSock.any 8080); val _ = Socket.Ctl.setREUSEADDR(server,true); val saddr = INetSock.fromAddr(Socket.Ctl.getSockName server); val _ = Socket.listen(server,128); in (saddr,server) end; fun readLoop active_socket = let val s = Byte.bytesToString(Socket.recvVec(active_socket,80)); val _ = PolyML.print s; (* print to output *) in (PolyML.print "about to read...\n"; readLoop active_socket) end; fun main() = let val (saddr, server_socket) = mkServerSocket () val (active_socket, active_socket_addr) = Socket.accept server_socket in readLoop active_socket end; -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

2 2

redirecting stdout elsewhere
by ldixon＠inf.ed.ac.uk 20 Nov '10

20 Nov '10

Hi, I was recently wondering if it is possible to redirect std-out to go to a different output stream in ML. Has anyone done anything similar? I was having trouble seeing how to do this with the Standard-ML basis... any suggestions on directions to look at? I can see how to effectively to it by hacking the compiler... but was wondering if there is a better way... (surely!?) ? cheers, lucas -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

4 5

Strange error message on declaration of datatypes
by florian.haftmann＠informatik.tu-muenchen.de 12 Nov '10

12 Nov '10

Hi, the two datatype declarations in sequence datatype 'a T = T of ('a * 'a T) list; datatype 'a S = S of 'a T; give a strange error message haftmann@macbroy15:/home/nfs_data$ /opt/polyml/polyml-5.3.0/x86-linux/polyml Poly/ML 5.3 Release > datatype 'a T = T of ('a * 'a T) list; datatype 'a S = S of 'a T; datatype 'a T = T of ('a * 'a T) list > Exception- InternalError: changeL: Unknown code raised while compiling Exception- InternalError: changeL: Unknown code raised while compiling Apparently I'm using polyml 5.3.0 un x86-linux. Thanks for any hints, Florian -- Home: http://www.in.tum.de/~haftmann PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_info…

1 1

St9bad_alloc with Memory Limits near 2^n GB
by tjark.weber＠gmx.de 25 Oct '10

25 Oct '10

Running Poly/ML 5.4 on a 64-bit Linux machine with 16 GB of physical RAM, I see unexpected St9bad_alloc exceptions when I use ulimit -v with limits near 8 GB/4 GB/2 GB/1 GB. For instance, $ uname -a Linux weber 2.6.34.6-54.fc13.x86_64 #1 SMP Sun Sep 5 17:16:27 UTC 2010 x86_64 x86_64 x86_64 GNU/Linux $ poly -v Poly/ML 5.4 Release RTS version: X86_64-5.4.0 $ ulimit -v 8388608 $ poly terminate called after throwing an instance of 'St9bad_alloc' what(): std::bad_alloc Aborted (core dumped) $ ulimit -v 4321280 $ poly terminate called after throwing an instance of 'St9bad_alloc' what(): std::bad_alloc Aborted (core dumped) $ ulimit -v 2170880 $ poly terminate called after throwing an instance of 'St9bad_alloc' what(): std::bad_alloc Aborted (core dumped) $ ulimit -v 1146880 $ poly terminate called after throwing an instance of 'St9bad_alloc' what(): std::bad_alloc Aborted (core dumped) The same problem is present in Poly/ML 5.3. Any help would be appreciated. Regards, Tjark

2 3

polyml error
by jlcaadawson＠netspeed.com.au 24 Oct '10

24 Oct '10

Trying to run polyml I get the following error: [jeremy@home2006 ~]$ poly poly: error while loading shared libraries: libstdc++.so.5: cannot open shared object file: No such file or directory This is in Fedora 13 running the package [jeremy@home2006 ~]$ rpm -q -i polyml Name : polyml Relocations: (not relocatable) Version : 5.2.1 Vendor: Fedora Project Release : 3.fc12 Build Date: Tue 28 Jul 2009 02:18:46 PM EST But the package allegedly requires libstdc++.so.6 [jeremy@home2006 ~]$ rpm -q -R polyml libc.so.6 libc.so.6(GLIBC_2.0) libdl.so.2 libgcc_s.so.1 libm.so.6 libpolyml.so.1 libpthread.so.0 libstdc++.so.6 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rtld(GNU_HASH) rpmlib(PayloadIsXz) <= 5.2-1 and that file is there [jeremy@home2006 ~]$ ls -l /usr/lib/libstdc++* lrwxrwxrwx. 1 root root 19 May 13 11:19 /usr/lib/libstdc++.so.6 -> libstdc++.so.6.0.13 -rwxr-xr-x. 1 root root 942040 May 4 07:14 /usr/lib/libstdc++.so.6.0.13 Is this a problem with polyml or with Fedora ? (BTW, polyml-4.1.4 works fine) Grateful for any help., Jeremy

3 4

Polyml and binutils Gold (link failure)
by basile＠starynkevitch.net 11 Oct '10

11 Oct '10

Hello All, I just noticed (on Debian/Testing/AMD64) that with both polyml-5.4 & latest SVN trunk (i.e. rev 1215) it is not possible to use binutils gold linker. I configured with ./configure CC='gcc-4.5' CXX='g++-4.5' Where gcc-4.5 is an GCC 4.5.1 from FSF tree: % gcc-4.5 -v Using built-in specs. COLLECT_GCC=/usr/local/bin/gcc-4.5 COLLECT_LTO_WRAPPER=/usr/local/libexec/gcc/x86_64-unknown-linux-gnu/4.5.1/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: /usr/src/Lang/gcc-4.5.1/configure --enable-plugins --program-suffix=-4.5 --enable-languages=c,c++,objc,lto --enable-checking=release Build fails with /bin/bash ./libtool --tag=CC --mode=link gcc-4.5 -Wall -fno-strict-aliasing -O3 -o poly polyexport.o libpolymain/libpolymain.la libpolyml/libpolyml.la -lpthread -lgmp -lm -ldl -lstdc++ -lgcc_s -lgcc libtool: link: gcc-4.5 -Wall -fno-strict-aliasing -O3 -o .libs/poly polyexport.o libpolymain/.libs/libpolymain.a libpolyml/.libs/libpolyml.so -lpthread /usr/lib/libgmp.so -lm -ldl /usr/local/lib/../lib64/libstdc+ +.so -lgcc_s -lgcc -Wl,-rpath -Wl,/usr/local/lib/../lib64 /usr/bin/ld: error: polyexport.o: unsupported REL reloc section /usr/bin/ld: internal error in relocate_section, at ../../gold/x86_64.cc:2444 collect2: ld returned 1 exit status By the way, polyml cannot be build with CC='gcc-4.5 -flto' CXX='g++-4.5 -flto' that is using the new link time optimization feature of GCC (which requires binutils GOLD). Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

2 1

multiple type parameters in a functor
by luzhao＠cs.utah.edu 09 Oct '10

09 Oct '10

Hi, I can write a functor with a single type parameter as follows: functor MyFctr(type t) = struct ... end What is the correct syntax of writing multiple type parameters for a functor? Or this is can't be done in SML, and I have to use structure parameters? Thanks. Lu

2 1

Low-level C FFI: call_sym or call_sym_and_convert?
by phil.clayton＠lineone.net 21 Sep '10

21 Sep '10

Hi David, I'm about to start generating code that makes calls to C via the low-level FFI. I was planning to use a form where parameters that provide return values are temporary vols created by alloc, as shown in the example SML code below (as suggested in the C interface documentation). However, it appears that the high-level FFI implementation doesn't do things this way - it uses call_sym_and_convert. Is that more efficient and should I be looking at that? Using the alloc form works when a parameter is both and input and an output: in the example C code below, the second parameter `pos` is an in-out. I notice that call_sym_and_convert doesn't have an InOut constructor for Union.directedArg. This appears to be a problem for ML types that are not a vol (i.e. not passed by reference in the C FFI) such as int. Is there a way around this? Thanks, Phil /* -- C -- */ #include <string.h> #define TRUE (0 == 0) #define FALSE (0 != 0) /* get_next (s, pos, c) copies the character at offset pos in string s * to c, increments pos and returns TRUE, if pos is a valid index into s. * If pos is not a valid index, the function returns FALSE without * incrementing pos or writing to c. */ int get_next (const char *s, /* in */ int *pos, /* in out */ char *c) /* out */ { int len = strlen (s); if (0 <= *pos && *pos < len) { *c = s[*pos]; (*pos)++; return TRUE; } else { return FALSE; } } (* -- SML -- *) open CInterface val lib = load_lib "testlib.so.1" val (fromCbool, toCbool, Cbool) = breakConversion BOOL val Cstring = Cpointer Cchar val get_next = fn (in1, in2) => let val sym = load_sym lib "get_next" val tmp2 = alloc 1 Cint val tmp3 = alloc 1 Cchar val () = assign Cint tmp2 (toCint in2) val args = [ (Cstring, toCstring in1), (Cpointer Cint, address tmp2), (Cpointer Cchar, address tmp3) ] val res = fromCbool (call_sym sym args Cbool) val out2 = fromCint tmp2 val out3 = fromCchar tmp3 in (res, out2, out3) end; get_next ("hello", 0); get_next ("hello", 1); get_next ("hello", 2); get_next ("hello", 3); get_next ("hello", 4); get_next ("hello", 5); (* Poly/ML output *) ... val it = (true, 1, #"h"): bool * int * char val it = (true, 2, #"e"): bool * int * char val it = (true, 3, #"l"): bool * int * char val it = (true, 4, #"l"): bool * int * char val it = (true, 5, #"o"): bool * int * char val it = (false, 5, #"\^@"): bool * int * char

2 2

← Newer
1
...
40
41
42
43
44
45
46
...
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