Poly/ML

polyml@lists.polyml.org

1 participants
698 discussions

Patch(es) to Poly/ML's Basis library (REAL, TEXT_IO, CHAR, STRING)
by vesa.a.j.k＠gmail.com 06 Nov '07

06 Nov '07

V2hpbGUgdXBkYXRpbmcgbXkgRXh0ZW5kZWQgQmFzaXMgbGlicmFyeQooaHR0cDovL21sdG9uLm9y Zy9jZ2ktYmluL3ZpZXdzdm4uY2dpL21sdG9ubGliL3RydW5rL2NvbS9zc2gvZXh0ZW5kZWQtYmFz aXMvdW5zdGFibGUvKQp0byBjb21waWxlIHdpdGggUG9seS9NTCwgSSBmaXhlZCBzb21lIGlzc3Vl cyBpbiBQb2x5L01MJ3MgQmFzaXMKbGlicmFyeSBpbXBsZW1lbnRhdGlvbjoKCi0gSSBmaXhlZCB0 aGUgUkVBTCBzaWduYXR1cmUsIHdoaWNoIGRpZCBub3QgY29ycmVzcG9uZCB0byB0aGUgUmVhbApz dHJ1Y3R1cmUuICBJIGFsc28gc2VhbGVkIHRoZSBSZWFsIHN0cnVjdHVyZSB3aXRoIHRoZSBSRUFM IHNpZ25hdHVyZQp0byBhdm9pZCBwcm9ibGVtcyBsaWtlIHRoYXQgaW4gdGhlIGZ1dHVyZS4KCi0g SSBhZGRlZCB0aGUgbWlzc2luZyBURVhUX0lPIHNpZ25hdHVyZS4gIEkgaGF2ZW4ndCBjaGVja2Vk IHdoZXRoZXIgaXQKY29uZm9ybXMgdG8gdGhlIEJhc2lzIGxpYnJhcnkgc3BlYywgYnV0IGF0IGxl YXN0IHRoZXJlIG5vdyBpcyBhClRFWFRfSU8gc2lnbmF0dXJlICh3aGljaCBpcyBuZWVkZWQgYnkg bXkgbGlicmFyeSkuCgotIEkgZml4ZWQgc29tZSBzcGVjaWZpY2F0aW9ucyBpbiB0aGUgQ0hBUiBh bmQgU1RSSU5HIHNpZ25hdHVyZXMgdG8KY29uZm9ybSB0byB0aGUgQmFzaXMgc3BlYywgd2l0aCB0 aGUgZXhjZXB0aW9uIG9mIHRoZSBTVFJJTkcuc2Nhbgp2YWx1ZSwgd2hpY2ggc2VlbXMgdG8gYmUg c3BlY2lmaWVkIGluY29ycmVjdGx5IGluIHRoZSBCYXNpcyBzcGVjIChzZWUKaHR0cDovL21sdG9u Lm9yZy9waXBlcm1haWwvbWx0b24vMjAwNy1NYXJjaC8wMjk3MDAuaHRtbCkuCgpBdHRhY2hlZCBp cyBhIHBhdGNoIG9mIHRoZXNlIGNoYW5nZXMuCgotVmVzYSBLYXJ2b25lbgotLS0tLS0tLS0tLS0t LSBuZXh0IHBhcnQgLS0tLS0tLS0tLS0tLS0KQSBub24tdGV4dCBhdHRhY2htZW50IHdhcyBzY3J1 YmJlZC4uLgpOYW1lOiBiYXNpcy1maXhlcy5wYXRjaApUeXBlOiB0ZXh0L3gtZGlmZgpTaXplOiAx MDgyNCBieXRlcwpEZXNjOiBub3QgYXZhaWxhYmxlClVybCA6IGh0dHA6Ly9saXN0cy5pbmYuZWQu YWMudWsvbWFpbG1hbi9wcml2YXRlL3BvbHltbC9hdHRhY2htZW50cy8yMDA3MTEwNi9kMTY2MjRk Yy9iYXNpcy1maXhlcy5iaW4K

2 1

Wrong type for Real.fromDecimal
by vesa.a.j.k＠gmail.com 06 Nov '07

06 Nov '07

Hi, The type of Real.fromDecimal Poly/ML 5.1 Testing > Real.fromDecimal ; val it = fn : IEEEReal.decimal_approx -> Real.real SML# 0.30 (2007-07-03 16:16:12 JST) # Real.fromDecimal ; val it = fn : IEEEReal.decimal_approx -> Real.Math.real Standard ML of New Jersey v110.66 [built: Thu Oct 25 11:43:30 2007] - Real.fromDecimal ; [autoloading] [library $SMLNJ-BASIS/basis.cm is stable] [autoloading done] val it = fn : IEEEReal.decimal_approx -> real disagrees with the Basis Library specification (http://www.standardml.org/Basis/real.html#SIG:REAL.toDecimal:VAL) val fromDecimal : IEEEReal.decimal_approx -> real option in all of the three compiler's implementation of the Basis Library. Also note that the description in the Basis Library spec includes the equation fromDecimal (toDecimal r) = r which is incorrect, of course. -Vesa Karvonen

2 1

polyml on macbook intel
by cusquinho＠gmail.com 31 Oct '07

31 Oct '07

Hi All, I'm sorry if this is not the proper place to ask, but I'll try to be "short". I've been trying to get Isabelle in my macbook and I've joined their discussion list for support. They told me intel macbooks wont work with the modified polyml_ppc_darwin, and sent me a patch to get it working with Polyml 5.0. I tried both Polyml 5.0 and the one from the top SVN tree, and when I try to compile I get the same error: /bin/sh ../libtool --tag=3DCXX --mode=3Dcompile g++ -DHAVE_CONFIG_H -I. -= I.. -DMACOSX -Wall -I/usr/X11/include -O3 -I/usr/X11/include -MT machoexport.lo -MD -MP -MF .deps/machoexport.Tpo -c -o machoexport.lo machoexport.cpp g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -I/usr/X11/include -O3 -I/usr/X11/include -MT machoexport.lo -MD -MP -MF .deps/machoexport.Tpo -c machoexport.cpp -fno-common -DPIC -o .libs/machoexport.o machoexport.h:49: error: 'uint' has not been declared machoexport.h:49: error: 'uint' has not been declared machoexport.h:49: error: 'uint' has not been declared machoexport.cpp:241: error: 'uint' has not been declared machoexport.cpp:241: error: 'uint' has not been declared machoexport.cpp:241: error: 'uint' has not been declared make[2]: *** [machoexport.lo] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 sh-3.2# Any idea? thanks, Fernando

4 10

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

← 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