polyml

Messages by Date

2020/06/21 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Norrish, Michael (Data61, Acton)
2020/06/20 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Chun Tian (binghe)
2020/06/20 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Phil Clayton
2020/06/19 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Chun Tian (binghe)
2020/06/19 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) David Matthews
2020/06/19 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Chun Tian (binghe)
2020/06/19 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) David Matthews
2020/06/16 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Phil Clayton
2020/06/15 [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Norrish, Michael (Data61, Acton)
2020/06/04 Re: [polyml] Poly/ML software directory David Matthews
2020/05/25 Re: [polyml] Poly/ML software directory David Matthews
2020/05/25 Re: [polyml] Poly/ML software directory Makarius
2020/05/25 [polyml] Poly/ML software directory David Matthews
2020/05/21 Re: [polyml] Char.toString "" Kostirya
2020/05/21 Re: [polyml] Char.toString "" David Matthews
2020/05/21 [polyml] Char.toString "" Kostirya
2020/04/17 Re: [polyml] Random structure in Poly/ML Lawrence Paulson
2020/04/13 Re: [polyml] Random structure in Poly/ML David Matthews
2020/04/12 [polyml] Random structure in Poly/ML Mark Clements
2019/09/02 Re: [polyml] Poly/ML version 5.8 for 32-bit Windows. David Matthews
2019/09/02 Re: [polyml] Poly/ML version 5.8 for 32-bit Windows. Eliot Moss
2019/09/02 [polyml] Poly/ML version 5.8 for 32-bit Windows. Kostirya
2019/08/02 Re: [polyml] chasing an intermittent allocation failure Chris Cannam
2019/08/02 Re: [polyml] chasing an intermittent allocation failure Chris Cannam
2019/08/02 Re: [polyml] chasing an intermittent allocation failure David Matthews
2019/08/02 Re: [polyml] chasing an intermittent allocation failure David Matthews
2019/07/31 [polyml] chasing an intermittent allocation failure Chris Cannam
2019/06/20 Re: [polyml] Non-blocking socket functions called without MSG_DONTWAIT flag Kostirya
2019/06/19 Re: [polyml] Non-blocking socket functions called without MSG_DONTWAIT flag David Matthews
2019/06/19 [polyml] Non-blocking socket functions called without MSG_DONTWAIT flag Kostirya
2019/05/21 Re: [polyml] [RFC] move to C++11 David Matthews
2019/05/21 Re: [polyml] [RFC] move to C++11 David Matthews
2019/05/19 Re: [polyml] [RFC] move to C++11 Makarius
2019/05/19 Re: [polyml] [RFC] move to C++11 Matthew Fernandez
2019/05/19 Re: [polyml] [RFC] move to C++11 Makarius
2019/05/19 Re: [polyml] [RFC] move to C++11 Matthew Fernandez
2019/05/19 Re: [polyml] [RFC] move to C++11 Makarius
2019/05/18 [polyml] [RFC] move to C++11 Matthew Fernandez
2019/05/16 Re: [polyml] `Exception- Overflow raised' during functor application David Matthews
2019/05/15 [polyml] `Exception- Overflow raised' during functor application Jair Wang
2019/05/03 [polyml] Berkeley DB binding for Standard ML Kostirya
2019/04/08 Re: [polyml] Bug report Gergely Buday
2019/04/07 Re: [polyml] fork/exec code in 5.8 Norrish, Michael (Data61, Acton)
2019/04/07 Re: [polyml] Bug report David Matthews
2019/04/07 Re: [polyml] fork/exec code in 5.8 David Matthews
2019/04/05 [polyml] fork/exec code in 5.8 Norrish, Michael (Data61, Acton)
2019/04/05 Re: [polyml] Issues with 5.8 on ARM and s390x David Matthews
2019/04/04 Re: [polyml] Problem with compact32bit David Matthews
2019/04/04 Re: [polyml] Problem with compact32bit Rob Arthan
2019/04/03 Re: [polyml] Problem with compact32bit Rob Arthan
2019/04/02 Re: [polyml] Issues with 5.8 on ARM and s390x David Matthews
2019/04/02 Re: [polyml] Problem with compact32bit David Matthews
2019/03/31 Re: [polyml] Issues with 5.8 on ARM and s390x Jerry James
2019/03/31 Re: [polyml] Problem with compact32bit Rob Arthan
2019/03/30 Re: [polyml] Bug report Eliot Moss
2019/03/30 Re: [polyml] Problem with compact32bit Rob Arthan
2019/03/30 Re: [polyml] Bug report David Matthews
2019/03/30 Re: [polyml] Issues with 5.8 on ARM and s390x David Matthews
2019/03/30 [polyml] Problem with compact32bit Rob Arthan
2019/03/29 Re: [polyml] Issues with 5.8 on ARM and s390x mmoel
2019/03/29 Re: [polyml] Issues with 5.8 on ARM and s390x David Matthews
2019/03/29 Re: [polyml] Bug report David Matthews
2019/03/29 Re: [polyml] Bug report Makarius
2019/03/29 Re: [polyml] Issues with 5.8 on ARM and s390x Florian Weimer
2019/03/28 Re: [polyml] Bug report Eliot Moss
2019/03/28 Re: [polyml] Issues with 5.8 on ARM and s390x David Matthews
2019/03/28 Re: [polyml] Bug report Gergely Buday
2019/03/28 Re: [polyml] Bug report Eliot Moss
2019/03/28 Re: [polyml] Bug report Makarius
2019/03/28 Re: [polyml] Bug report Eliot Moss
2019/03/28 Re: [polyml] Bug report David Matthews
2019/03/27 Re: [polyml] Building an executable that runs the read-eval-print loop Phil Clayton
2019/03/27 [polyml] Building an executable that runs the read-eval-print loop Rob Arthan
2019/03/26 Re: [polyml] Issues with 5.8 on ARM and s390x Jerry James
2019/03/26 [polyml] Bug report Eliot Moss
2019/03/25 Re: [polyml] Issues with 5.8 on ARM and s390x David Matthews
2019/03/24 [polyml] Issues with 5.8 on ARM and s390x Jerry James
2019/03/14 Re: [polyml] Memory leak when FFI callback and ref value. Phil Clayton
2019/03/14 [polyml] Memory leak when FFI callback and ref value. Kostirya
2019/03/12 Re: [polyml] Testing Poly/ML 5.8 Jerry James
2019/03/12 Re: [polyml] ar cru call David Matthews
2019/03/12 Re: [polyml] Testing Poly/ML 5.8 David Matthews
2019/03/11 Re: [polyml] ar cru call mmoel
2019/03/11 Re: [polyml] ar cru call Gergely Buday
2019/03/10 Re: [polyml] Testing Poly/ML 5.8 Makarius
2019/03/10 Re: [polyml] Testing Poly/ML 5.8 Rob Arthan
2019/03/10 Re: [polyml] Testing Poly/ML 5.8 David Matthews
2019/03/10 Re: [polyml] Testing Poly/ML 5.8 David Matthews
2019/03/10 Re: [polyml] Testing Poly/ML 5.8 Phil Clayton
2019/03/09 Re: [polyml] Testing Poly/ML 5.8 Rob Arthan
2019/03/09 Re: [polyml] Testing Poly/ML 5.8 David Matthews
2019/03/09 Re: [polyml] Testing Poly/ML 5.8 Rob Arthan
2019/03/08 Re: [polyml] ar cru call mmoel
2019/03/08 [polyml] ar cru call Gergely Buday
2019/03/06 Re: [polyml] 'make compiler' resulting in slow compilation David Matthews
2019/03/06 Re: [polyml] getting the type of an identifier David Matthews
2019/03/06 [polyml] getting the type of an identifier Gergely Buday
2019/02/22 Re: [polyml] Testing Poly/ML 5.8 David Matthews
2019/02/22 Re: [polyml] Testing Poly/ML 5.8 Chun Tian (binghe)
2019/02/21 [polyml] Testing Poly/ML 5.8 David Matthews
2019/01/24 Re: [polyml] 32bits addresses in 64-bit mode and other updates to master David Matthews
2019/01/24 Re: [polyml] 32bits addresses in 64-bit mode and other updates to master Kostirya
2019/01/23 Re: [polyml] 32bits addresses in 64-bit mode and other updates to master Makarius
2019/01/22 Re: [polyml] 32bits addresses in 64-bit mode and other updates to master Chun Tian (binghe)
2019/01/22 Re: [polyml] 32bits addresses in 64-bit mode and other updates to master David Matthews
2019/01/22 Re: [polyml] 32bits addresses in 64-bit mode and other updates to master David Matthews
2019/01/22 Re: [polyml] 32bits addresses in 64-bit mode and other updates to master Chun Tian (binghe)
2019/01/22 Re: [polyml] 32bits addresses in 64-bit mode and other updates to master Kostirya
2019/01/20 [polyml] 32bits addresses in 64-bit mode and other updates to master David Matthews
2019/01/11 Re: [polyml] ASSERTION FAILURE: 0 at src/x86/ffi64.c:302 when --enable-debug Kostirya
2019/01/11 Re: [polyml] ASSERTION FAILURE: 0 at src/x86/ffi64.c:302 when --enable-debug David Matthews
2019/01/11 [polyml] ASSERTION FAILURE: 0 at src/x86/ffi64.c:302 when --enable-debug Kostirya
2019/01/04 Re: [polyml] Assertion `markCount == bitCount' failed David Matthews
2019/01/04 Re: [polyml] Assertion `markCount == bitCount' failed Gergely Buday
2019/01/04 Re: [polyml] Too many passes raised while compiling David Matthews
2019/01/04 Re: [polyml] Assertion `markCount == bitCount' failed David Matthews
2019/01/04 [polyml] Assertion `markCount == bitCount' failed Gergely Buday
2019/01/04 [polyml] Smackage changes for Poly/ML Mark Clements
2019/01/03 [polyml] Too many passes raised while compiling Gergely Buday
2018/12/31 Re: [polyml] Segmentation fault on get_stream David Matthews
2018/12/31 Re: [polyml] Segmentation fault on get_stream Michael.Norrish
2018/12/27 Re: [polyml] Compilation of dynamically loaded code David Matthews
2018/12/27 [polyml] Compilation of dynamically loaded code Vijay Mathew
2018/12/26 Re: [polyml] Segmentation fault on get_stream Kostirya
2018/12/26 Re: [polyml] Segmentation fault on get_stream Makarius
2018/12/26 Re: [polyml] Segmentation fault on get_stream David Matthews
2018/12/25 Re: [polyml] Segmentation fault on get_stream Kostirya
2018/12/24 [polyml] Segmentation fault on get_stream Kostirya
2018/12/14 Re: [polyml] Handle Interrupt exception Kostirya
2018/12/14 Re: [polyml] Handle Interrupt exception David Matthews
2018/12/14 [polyml] Handle Interrupt exception Kostirya
2018/12/14 Re: [polyml] Strange system calls when one use Socket.select or OS.IO.poll Kostirya
2018/12/13 Re: [polyml] Strange system calls when one use Socket.select or OS.IO.poll David Matthews
2018/12/13 Re: [polyml] Strange system calls when one use Socket.select or OS.IO.poll Kostirya
2018/12/13 Re: [polyml] Strange system calls when one use Socket.select or OS.IO.poll David Matthews
2018/12/13 [polyml] Strange system calls when one use Socket.select or OS.IO.poll Kostirya
2018/12/05 Re: [polyml] Run out of store - interrupting threads David Matthews
2018/12/04 Re: [polyml] Run out of store - interrupting threads James Clarke
2018/12/04 Re: [polyml] Run out of store - interrupting threads buday.gergely
2018/12/04 Re: [polyml] Run out of store - interrupting threads James Clarke
2018/12/04 Re: [polyml] Run out of store - interrupting threads David Matthews
2018/12/04 [polyml] Run out of store - interrupting threads Gergely Buday
2018/11/13 Re: [polyml] MLTEMP files Michael.Norrish
2018/11/13 Re: [polyml] MLTEMP files James Clarke
2018/11/13 [polyml] MLTEMP files Gergely Buday
2018/11/10 Re: [polyml] polyml Digest, Vol 152, Issue 3 David Topham
2018/11/09 Re: [polyml] Debugger David Matthews
2018/11/08 [polyml] Debugger David Topham
2018/11/06 Re: [polyml] make problem David Matthews
2018/11/06 [polyml] make problem Gergely Buday
2018/10/23 Re: [polyml] [RFC]: Modules to support C FFIs -- a proposal and a minor patch Domagoj Stolfa
2018/10/19 Re: [polyml] [RFC]: Modules to support C FFIs -- a proposal and a minor patch David Matthews
2018/10/17 Re: [polyml] LInkage and the Foreign structure David Matthews
2018/10/17 Re: [polyml] LInkage and the Foreign structure David Matthews
2018/10/14 Re: [polyml] LInkage and the Foreign structure Phil Clayton
2018/10/14 Re: [polyml] LInkage and the Foreign structure Phil Clayton
2018/10/13 [polyml] [RFC]: Modules to support C FFIs -- a proposal and a minor patch Domagoj Stolfa
2018/10/07 Re: [polyml] LInkage and the Foreign structure David Matthews
2018/10/05 Re: [polyml] LInkage and the Foreign structure Phil Clayton
2018/09/13 Re: [polyml] "Exception- InternalError: asGenReg raised while compiling" Mark Clements
2018/09/13 Re: [polyml] "Exception- InternalError: asGenReg raised while compiling" David Matthews
2018/09/12 Re: [polyml] LInkage and the Foreign structure David Matthews
2018/09/12 Re: [polyml] "Exception- InternalError: asGenReg raised while compiling" David Matthews
2018/09/12 [polyml] "Exception- InternalError: asGenReg raised while compiling" Mark Clements
2018/09/11 Re: [polyml] LInkage and the Foreign structure Phil Clayton
2018/09/10 Re: [polyml] LInkage and the Foreign structure Kostirya
2018/09/10 Re: [polyml] LInkage and the Foreign structure Mark Clements
2018/09/10 Re: [polyml] LInkage and the Foreign structure Phil Clayton
2018/09/10 Re: [polyml] LInkage and the Foreign structure Phil Clayton
2018/09/09 [polyml] LInkage and the Foreign structure Mark Clements
2018/08/03 Re: [polyml] socket from fd Ramana Kumar
2018/08/03 Re: [polyml] socket from fd Phil Clayton
2018/08/02 Re: [polyml] socket from fd David Matthews
2018/08/01 [polyml] socket from fd Ramana Kumar
2018/07/31 Re: [polyml] Error with poly_smlnj-lib.sml Mark Clements
2018/07/30 Re: [polyml] Error with poly_smlnj-lib.sml Peter Gammie
2018/07/30 [polyml] Error with poly_smlnj-lib.sml Mark Clements
2018/07/05 Re: [polyml] PolyML and paths for load files. Kostirya
2018/07/05 [polyml] PolyML and paths for load files. Kostirya
2018/06/26 [polyml] Pattern matching compilation is very slow Kostirya
2018/06/08 Re: [polyml] RPC in SML David Matthews
2018/06/07 [polyml] RPC in SML Ramana Kumar
2018/03/08 Re: [polyml] Building on Windows in batch mode -- Visual Studio David Matthews
2018/03/08 Re: [polyml] Building on Windows in batch mode -- Visual Studio Chris Cannam
2018/03/08 [polyml] Building on Windows in batch mode -- Visual Studio Makarius
2018/02/27 Re: [polyml] fancy tty tricks (with curses?) Bernard Berthomieu
2018/02/26 [polyml] fancy tty tricks (with curses?) Michael.Norrish
2018/02/20 Re: [polyml] Poly/ML as alternative to ... Daniil Baturin
2018/02/20 [polyml] Poly/ML as alternative to ... Makarius
2018/02/19 Re: [polyml] build failure on recent Cygwin + Windows 10 Michael.Norrish
2018/02/16 Re: [polyml] build failure on recent Cygwin + Windows 10 David Matthews
2018/02/15 [polyml] build failure on recent Cygwin + Windows 10 Michael.Norrish
2018/02/15 Re: [polyml] Poly/ML with libgmp on x86_64-darwin Lawrence Paulson
2018/02/12 Re: [polyml] Poly/ML with libgmp on x86_64-darwin Bernard Berthomieu
2018/02/12 Re: [polyml] Poly/ML with libgmp on x86_64-darwin Lawrence Paulson
2018/02/11 Re: [polyml] Building portable Poly/ML on Linux Makarius
2018/02/10 Re: [polyml] Building portable Poly/ML on Linux Ian Zimmerman
2018/02/10 Re: [polyml] Building portable Poly/ML on Linux Matthew Fernandez
2018/02/10 Re: [polyml] Building portable Poly/ML on Linux Makarius
2018/02/10 Re: [polyml] Building portable Poly/ML on Linux Matthew Fernandez