Poly/ML

polyml@lists.polyml.org

695 discussions

Question about possible compiler optimization
by David.Matthews＠prolingua.co.uk 19 Oct '07

19 Oct '07

Lukas Bulwahn wrote: > I was mistaken that this function is tail recursive. > But I was expecting that the function can be translated to the following > C code (using no stack allocations): > > while (p is not Nil) do > if (value of p == l) then p := p->next; > else break; > od > if (p is Nil) then raise Error... > > So, this program should not allocate any stack. That is a different function. It doesn't return the modified list but merely checks that the item is or is not present. The equivalent, tail-recursive function in ML is: fun test l [] = raise Fail "Not present" | test l (x::xs) = if l = x then () else test l xs; Poly/ML detects this as tail-recursive and turns it into a loop. David

4 11

Question about possible compiler optimization
by bulwahn＠in.tum.de 16 Oct '07

16 Oct '07

Hi all, I use the code export of Isabelle and this will generate (poly)ML source code of the following form: ... fun mem l (x :: xs) = (if ((x : IntInf.int) = l) then xs else let val v = mem l xs; in (x :: v) end) | mem l [] = raise (Fail "Cannot find literal"); ... The function (as many others of that form) can easily be transformed into a tail recursive function. Does PolyML figure out that it is possible to make this function tail-recursive (automatically) by "unfolding the let"? Thanks in advance. Lukas Bulwahn

2 1

RE: mlEdit crashes on Windows
by pahia＠t-online.hu 16 Sep '07

16 Sep '07

>It certainly doesn't crash when I do that although it doesn't run >properly. The problem seems to be that the Poly icon is not available >in a stand-alone executable and trying to load it results in a exception >that stops the program. I've fixed this in the CVS version. >Which compiler did you use to build PolyML 5.0 on Windows? >Regards, >David. Thanks for your quick response. I used VC6 and VC7.1 to build PolyML on Windows. I can build it with VC8 also, but it seems to me, that I do something wrong: I wrote a simple rc file which included poly.ico, so certainly the LoadIcon is not a problem for me. I have used the following commands to produce mlEdit.exe. In PolyML: > PolyML.make "mlsource/extra/Win"; > PolyML.use "mlsource/extra/Win/Examples/mlEdit"; > PolyML.export ("mlEdit", mlEdit); At the Windows prompt: > rc mlEdit.rc > cl /FemlEdit.exe mlEdit.obj mlEdit.res PolyMainLib.lib PolyLib.lib libcmt.lib /link /subsystem:windows What I am doing wrong ? Thanks, Andr?s P?hi

2 1

mlEdit crashes on Windows
by pahia＠t-online.hu 12 Sep '07

12 Sep '07

Dear all, I have compiled the mlEdit.sml example, exported to the native object file linked with PolyMainLib and PolyLib and with poly.ico and the resulting exe crashes inside PolyLib.dll somewhere. I am using PolyML 5.0 on Windows 2000. Could you give me any advice, how to get it to work ? Thanks, Andras Pahi

2 1

segmentation fault with polyml 4.2.0 on startup
by walch.martin＠web.de 23 Aug '07

23 Aug '07

Hi, when trying to run polyml 4.2.0 on Linux, I get a segmentation fault. I am trying to run this old version, because I want to use Isabelle (http://isabelle.in.tum.de/ seems to be down currently). On that website, a precompiled binary is available. However, it's crashing on startup with a SIGSEGV. So I downloaded the source code of polyml 4.2.0, extracted driver.420.tar.gz, ran configure and make and tried to run poly. But also in this version I get a segmentation fault. my kernel: uname -rm 2.6.22-gentoo-r2 i686 gdb shows this backtrace: #0 0xa7f21410 in __kernel_vsyscall () #1 0x410d4038 in mmap () from /lib/libc.so.6 #2 0x08059b34 in ReserveAddressSpace (addr=0x98000000 "", len=268435456) at mmap.c:363 #3 0x08059a41 in ReserveMLSpace (bottom=0x98000000 "", top=0xa8000000 <Address 0xa8000000 out of bounds>) at mmap.c:376 #4 0x08059b82 in ReserveMLSpaces () at mmap.c:403 #5 0x08052741 in main (argc=1, argv=0xafc18304) at mpoly.c:726 The mmap call in line 362/363 is caddr_t pa = mmap((caddr_t)addr, len, PROT_NONE, MAP_PRIVATE | MAP_FIXED | MAP_NORESERVE | MAP_ANONYMOUS, -1, 0L); when removing MAP_PRIVATE from the flags, it seems to work. I am not really in the code. Maybe you can tell me: will I run into trouble, when using this as a fix? Has anybody an idea why this call to mmap results in a segmentation fault and how to fix this properly? I played a bit with the len argument. When setting it to 267500000, sometimes it's crashing and sometimes not. len=260000000 seems to be stable. Thank you in advance Martin Walch

2 1

PolyML.cd
by itz＠madbat.mine.nu 13 Jun '07

13 Jun '07

Hi, it seems this function has suffered extinction in 5.0 - even before the onslaught of massive global warming? This would seem to quite significantly limit the flexibility of the make system, as now a multi-directory source has to strictly mirror the module and functor application structure. Worse, it makes it very hard if not impossible to use external (non-basis) sources without physically copying them to my source tree. Well, I guess there is still a way, first run make in the remote directory, dump an image, then re-run in my own directory loading that image - but it is laborious. Is there a reason why it had to go? -- This line is completely ham.

3 3

Problems compiling polyml 5 on sparc/solaris
by peter.lammich＠uni-muenster.de 05 Apr '07

05 Apr '07

with gcc 4.0.2, I get the same segfault as already reported on this list. When using gcc 3.4.3, I get the following error: ... g++ -shared -nostdlib /usr/o0/gcc-3.4.3/sparc-sun-solaris2/usr/sfw/bin/../lib/gcc/sparc-sun-solaris2.10/3.4.3/crti.o /usr/ccs/lib/values-Xa.o /usr/o0/gcc-3.4.3/sparc-sun-solaris2/usr/sfw/bin/../lib/gcc/sparc-sun-solaris2.10/3.4.3/crtbegin.o .libs/mpoly.o .libs/gc.o .libs/diagnostics.o .libs/arb.o .libs/reals.o .libs/timing.o .libs/processes.o .libs/profiling.o .libs/realconv.o .libs/objsize.o .libs/proper_io.o .libs/foreign.o .libs/process_env.o .libs/basicio.o .libs/network.o .libs/unix_specific.o .libs/sighandler.o .libs/xwindows.o .libs/check_objects.o .libs/scanaddrs.o .libs/polystring.o .libs/run_time.o .libs/osmem.o .libs/save_vec.o .libs/rts_module.o .libs/bitmap.o .libs/poly_specific.o .libs/exporter.o .libs/sharedata.o .libs/memmgr.o .libs/pexport.o .libs/sparc_dep.o .libs/sparc_assembly.o .libs/elfexport.o -Wl,-R -Wl,/usr/sfw/lib -Wl,-R -Wl,/usr/sfw/lib -lsocket -lnsl -ldl -lgcc -L/usr/o0/gcc-3.4.3/sparc-sun-solaris2/usr/sfw/bin/../lib/gcc/sparc-sun-solaris2.10/3.4.3 -L/usr/o0/gcc-3.4.3/sparc-sun-solaris2/usr/sfw/bin/../lib/gcc -L/usr/sfw/lib/gcc/sparc-sun-solaris2.10/3.4.3 -L/usr/sfw/lib/gcc/sparc-sun-solaris2.10/3.4.3/../../../../sparc-sun-solaris2.10/lib -L/usr/ccs/lib -L/usr/o0/gcc-3.4.3/sparc-sun-solaris2/usr/sfw/bin/../lib/gcc/sparc-sun-solaris2.10/3.4.3/../../.. -L/usr/sfw/lib/gcc/sparc-sun-solaris2.10/3.4.3/../../.. /usr/sfw/lib/libstdc++.so -L/usr/sfw/lib -lm -lgcc_s /usr/o0/gcc-3.4.3/sparc-sun-solaris2/usr/sfw/bin/../lib/gcc/sparc-sun-solaris2.10/3.4.3/crtend.o /usr/o0/gcc-3.4.3/sparc-sun-solaris2/usr/sfw/bin/../lib/gcc/sparc-sun-solaris2.10/3.4.3/crtn.o -Wl,-h -Wl,libpolyml.so.0 -o .libs/libpolyml.so.0.0.0 ld: fatal: relocation error: R_SPARC_32: file .libs/sparc_assembly.o: symbol <unknown>: offset 0xfe34b57b is non-aligned ld: fatal: relocation error: R_SPARC_32: file .libs/sparc_assembly.o: symbol <unknown>: offset 0xfe34b581 is non-aligned ld: fatal: relocation error: R_SPARC_32: file .libs/sparc_assembly.o: symbol <unknown>: offset 0xfe34b585 is non-aligned ld: fatal: relocation error: R_SPARC_32: file .libs/sparc_assembly.o: symbol <unknown>: offset 0xfe34b589 is non-aligned ld: fatal: relocation error: R_SPARC_32: file .libs/sparc_assembly.o: symbol <unknown>: offset 0xfe3886f6 is non-aligned collect2: ld returned 1 exit status *** Error code 1 My system is [pergolesi] ~/opt/src/polyml.5.0 $ uname -a SunOS pergolesi 5.10 Generic_118833-33 sun4u sparc SUNW,Sun-Fire-V240 [pergolesi] ~/opt/src/polyml.5.0 $ gcc --version gcc (GCC) 3.4.3 (csl-sol210-3_4-branch+sol_rpath) Thanks in advance for any hints/help and greetings Peter Lammich

4 8

Error building Poly/ML 5
by preen＠informatik.uni-freiburg.de 26 Jan '07

26 Jan '07

Hi, I have problems building Poly/ML 5 on Solaris 10. It works fine on Linux 2.6.15. In both cases I use gcc 4.1.1. ... creating polyimport ./polyimport -H 10 imports/polymlsparc.txt < exportPoly.sml > /dev/null /bin/bash: line 1: 13236 Segmentation Fault (core dumped) ./polyimport -H 10 imports/polymlsparc.txt <exportPoly.sml >/dev/null make[2]: *** [polyexport.o] Error 139 make[2]: Leaving directory `/scratch/polyml.5.0' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/scratch/polyml.5.0' make: *** [all] Error 2 Any ideas ? Regards, Martin --------------------------------------------------------------- Martin Preen, Universit?t Freiburg, Institut f?r Informatik Georges-Koehler-Allee 52, Raum 00-006, 79110 Freiburg, Germany phone: ++49 761 203-8250 preen(a)informatik.uni-freiburg.de fax: ++49 761 203-8242 www.informatik.uni-freiburg.de

2 2

Poly/ML version 5
by David.Matthews＠prolingua.co.uk 09 Jan '07

09 Jan '07

I have updated the web site to release version 5 officially. There is a source package available at http://sourceforge.net/project/showfiles.php?group_id=148318 . Thank you everyone who provided feedback during the beta test phase. If anyone wants to make binary distributions that would be very welcome. I am hoping that will be easier now that it uses autoconf, and of course now it is licensed under LGPL. Please post a message to this list if you make a distribution so that I and other people know about it. I'm hoping to produce a Windows binary shortly. Bug fixes and other updates will continue to be made to the CVS version and will be incorporated into the next release when it happens. David.

1 0

polyml 5 heap option
by obua＠in.tum.de 14 Dec '06

14 Dec '06

Hi, I am using poly ml 5 together with Isabelle. When I start poly with the "-H 500" option, my process will terminate with a "run out of store" message after these 500MB have been used up (I used "top" to monitor the heap usage). If I give "-H 8000", it will succeed. Is this behaviour to be expected? Best, Steven -- Steven Obua Technische Universit?t M?nchen Institut f?r Informatik Boltzmannstr. 3 D-85748 Garching Tel: ++49 (0)89 / 289-17328 EMail: obua(a)in.tum.de Raum: 01.11.059

2 1

← Newer
1
...
57
58
59
60
61
62
63
...
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