Poly/ML

polyml@lists.polyml.org

698 discussions

Char.toString ""
by kostirya＠gmail.com 21 May '20

21 May '20

Hello. Is it bug? Poly/ML 5.8 Release > val c = Char.toString #"\""; val c = "\\\"": string > explode c; val it = [#"\\", #"\""]: char list

2 2

Random structure in Poly/ML
by mark.clements＠ki.se 17 Apr '20

17 Apr '20

Dear all, Is there a licensing issue with using the Random structure from SML/NJ (files smlnj/smlnj-lib/Util/random-sig.sml and smlnj/smlnj-lib/Util/random.sml) in Poly/ML? The signature compiles and structure could be adapted to Poly/ML by: @@ -41,7 +41,7 @@ structure Random : RANDOM = val lag = 8 val offset = N-lag - fun error (f,msg) = LibBase.failure {module="Random",func=f, msg=msg} + fun error (f,msg) = raise (Fail(concat["Random.", f, ": ", msg])) val two2neg30 = 1.0/((real 0x8000)*(real 0x8000)) (* 2^~30 *) Sincerely, Mark Clements. N?r du skickar e-post till Karolinska Institutet (KI) inneb?r detta att KI kommer att behandla dina personuppgifter. H?r finns information om hur KI behandlar personuppgifter<https://ki.se/medarbetare/integritetsskyddspolicy>. Sending email to Karolinska Institutet (KI) will result in KI processing your personal data. You can read more about KI?s processing of personal data here<https://ki.se/en/staff/data-protection-policy>.

3 2

Poly/ML version 5.8 for 32-bit Windows.
by kostirya＠gmail.com 02 Sep '19

02 Sep '19

Hello. Is Poly/ML version 5.8 worked on 32-bit Windows?

3 2

chasing an intermittent allocation failure
by cannam＠all-day-breakfast.com 02 Aug '19

02 Aug '19

I have an SML program which sometimes fails while trying to allocate an array of 3 million ints, with the message Run out of store - interrupting threads and an exception. This happens on one of the first substantial allocations in the program, near the start of its run, so there should be space available - and it only happens on occasional runs, and if it doesn't fail, then the rest of the program (which does a lot more work) runs fine. The exact size of the array being allocated doesn't seem to matter so long as it's reasonably large, but despite this and the fact that it's so early in the program, I haven't yet managed to make a simple test program with a similar allocation pattern that fails. The situation seems to be the same regardless of whether I use Poly/ML 5.7, 5.8, or current git. I compared a successful run with an unsuccessful one based on logging in the runtime. In both cases this allocation gets sent for a "quick GC", which returns failure, followed by a full GC, which runs and then either succeeds or fails to establish that there is enough memory available afterwards (via CheckForAllocation). In the "good" case, when this check comes to AllocHeapSpace, the test "if (space->allocationSpace)" never succeeds and we fall out of the first loop with currentAllocSpace == 0, defaultSpaceSize == 131072, spaceBeforeMinorGC == 120608, and our request for minWords == 3000001 is successfully fielded in the following conditional block. In the "bad" case, when this check comes to AllocHeapSpace, the "if (space->allocationSpace)" test succeeds once (available == 131070), then we fall out of the first loop with currentAllocSpace == 131072, defaultSpaceSize == 131072, spaceBeforeMinorGC == 120608, the following conditional is not entered, and we return failure from the line at the end of the function, causing the GC to return failure as well. If I comment out the check if (currentAllocSpace/* + minWords */ < spaceBeforeMinorGC) then it apparently always succeeds, but I can see that this is no solution because no GC is happening at all without it... Any suggestions for what I might look at next? Chris

2 4

Non-blocking socket functions called without MSG_DONTWAIT flag
by kostirya＠gmail.com 20 Jun '19

20 Jun '19

Hello. I have question. Why Non-blocking socket functions called without MSG_DONTWAIT flag? Nick.

2 2

[RFC] move to C++11
by matthew.fernandez＠gmail.com 21 May '19

21 May '19

Hello PolyMLers, Some time ago I proposed PolyML switch to building with the C++11 standard [0]. The main blocking issue that surfaced was Isabelle supporting Ubuntu 12.04 which ships without a C++11-enlightened compiler. In January 2019, Makarius bumped the supported Linux release to Ubuntu 14.04 [1] which has a C++11 compiler. Are there any remaining issues preventing a migration to C++11? Do people feel strongly for or against this? The immediate benefits are similar to what I listed in my original posting: - PLock, PLocker, PCondVar implementations could all be deleted and dropped with std::mutex, std::lock_guard, std::condition_variable respectively - NORETURNFN could be replaced with [[noreturn]] - Bitmap could be dropped and replaced with std::vector<bool> The general motivation here is reducing the maintenance overhead and allowing performance to evolve with libstdc++/libc++. I expect we could get a lot of mileage out of code clarity wins too (e.g. range-based for loops). I haven?t CCed isabelle-dev because I think they would have no opinion on this topic, but Makarius if you think it?s relevant please loop them into this thread as well. Thanks, Matt [0]: http://lists.inf.ed.ac.uk/pipermail/polyml/2017-December/002125.html [1]: http://isabelle.in.tum.de/repos/isabelle/rev/88b8bc6a6e5f

3 7

`Exception- Overflow raised' during functor application
by ldbeth＠sdf.org 16 May '19

16 May '19

Hi Poly/ML members: I???m porting MLPolyR from SML/NJ to Poly/ML, and after getting smlnj-lib, ml-yacc and ml-lex loaded with Poly/ML I try to load the parser but the following error occurs: ``` Exception- Overflow raised Exception- Overflow raised ``` and `poly` quits. Here's a minimal setup that can reproduce the issue: https://github.com/owo-lang/MLPolyR/tree/polyml_debug Clone the tree and checkout `polyml_debug` branch, ``` poly --use load.sml ``` It already contains smlnj-lib, ml-yacc and ml-lex from MLton 20180207 releases. My platform is macOS Mojave 10.14.4, Poly/ML version is 5.8 Release. With the same setup MLton can compile the source without such an issue. (via `mlton mlpolyr.mlb`) Hints on what could be the cause? Thank you for any help you can offer. LdBeth.

2 1

Berkeley DB binding for Standard ML
by kostirya＠gmail.com 03 May '19

03 May '19

Hello. Let me introduce you the Berkeley DB binding for Standard ML (MLton and Poly/ML): https://github.com/kni/sml-bdb Nick. -- Also there are: https://github.com/kni/sml-net-server - Standard ML server engine https://github.com/kni/sml-net-server-ev - asynchronous Standard ML server engine https://github.com/kni/sml-http-server - Standard ML http server https://github.com/kni/sml-http-server-ev - asynchronous Standard ML http server https://github.com/kni/sml-gumbo-parser - bindings for Google's Gumbo HTML5 parser library https://github.com/kni/sml-uri - URI with IDN and IRI support.

1 0

Bug report
by David.Matthews＠prolingua.co.uk 08 Apr '19

08 Apr '19

On 30/03/2019 01:07, Eliot Moss wrote: > > The failure I get with -j4 is a SIGSEGV and ti comes pretty early. > I wonder if it has something to do with page mapping or GC?? It > only happens when multiple polyml instances are requested at the > same time, I believe.? Michael Norrish suspects fork/exec, but > I suspect page mapping -- but I don't know enough about how the > system is constructed ... The problem with Cygwin is that it adds an extra layer between the application and the operating system that makes it very difficult to be sure what exactly is happening. It's not at all clear what Windows calls are being made as a result of calling a "Unix" library function. Some calls, and mmap is among them, have fairly clear Windows equivalents. It's unlikely to be a problem there. fork is notorious because there is no direct equivalent in Windows. The nearest is CreateProcess which combines both fork and exec. Poly/ML uses CreateProcess in native Windows but Unix.execute is implemented using fork and exec. It seems odd that there is a problem with multiple Poly/ML processes since I would expect them to be independent. Are the processes created in a poly executable or is there a top level Makefile? Have you tried building with --disable-shared ? Shared libraries complicate fork in Cygwin so it may be worth trying building with a static library. Regards, David

3 3

fork/exec code in 5.8
by Michael.Norrish＠data61.csiro.au 07 Apr '19

07 Apr '19

HOL4's Holmake tool uses a fork/exec idiom to run scripts in parallel (and to monitor their output file descriptors). Under 5.8 this code is causing signal 11 failures (segmentation faults), as reported by a few users, and apparent also on runs on Travis such as https://travis-ci.org/HOL-Theorem-Prover/HOL/jobs/515996149 (It is apparent from the related Travis pages that the same sources are running to completion perfectly with 5.7.1.) The code for doing the fork/exec stuff is visible at https://github.com/HOL-Theorem-Prover/HOL/blob/8990db3c7743feb190d98f4bce66… This code also works under mlton (although eventually does cause "out of filedescriptor" syscall failures because mlton won't garbage collect my fds after they stop getting used), so I do feel as if the code should work.? The failures all happen when Holmake is first run in this mode. When forced to run single-threaded with its -j1 option, which makes it use OS.Process.system underneath, Holmake can work. Michael

2 2

← Newer
1
...
4
5
6
7
8
9
10
...
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