polyml
Thread
Date
Earlier messages
Later messages
Messages by Date
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
2018/02/10
Re: [polyml] Poly/ML with libgmp on x86_64-darwin
Makarius
2018/02/09
Re: [polyml] Poly/ML with libgmp on x86_64-darwin
Matthew Fernandez
2018/02/09
Re: [polyml] Poly/ML with libgmp on x86_64-darwin
Bernard Berthomieu
2018/02/09
Re: [polyml] Poly/ML with libgmp on x86_64-darwin
Kostirya
2018/02/09
[polyml] Poly/ML with libgmp on x86_64-darwin
Makarius
2018/02/09
[polyml] Building portable Poly/ML on Linux
Makarius
2018/01/15
Re: [polyml] polyc and libraries
David Matthews
2018/01/15
Re: [polyml] Assertion failure in scanaddrs
Ramana Kumar
2018/01/15
Re: [polyml] Assertion failure in scanaddrs
David Matthews
2018/01/14
[polyml] Assertion failure in scanaddrs
Ramana Kumar
2017/12/24
Re: [polyml] More portable poly compilation
Phil Clayton
2017/12/23
Re: [polyml] More portable poly compilation
Florian Weimer
2017/12/23
[polyml] More portable poly compilation
Makarius
2017/12/23
Re: [polyml] C++ standard in use
Florian Weimer
2017/12/22
Re: [polyml] FFI conversions that are portable across Poly/ML versions
David Matthews
2017/12/21
Re: [polyml] C++ standard in use
Matthew Fernandez
2017/12/21
[polyml] FFI conversions that are portable across Poly/ML versions
Phil Clayton
2017/12/21
Re: [polyml] C++ standard in use
Makarius
2017/12/19
Re: [polyml] polyc and libraries
Phil Clayton
2017/12/18
Re: [polyml] polyc and libraries
David Matthews
2017/12/18
Re: [polyml] Retiring CInterface?
David Matthews
2017/12/18
Re: [polyml] polyc and libraries
David Matthews
2017/12/17
Re: [polyml] C++ standard in use
Matthew Fernandez
2017/12/17
Re: [polyml] Retiring CInterface?
Phil Clayton
2017/12/17
Re: [polyml] polyc and libraries
Phil Clayton
2017/12/16
Re: [polyml] C++ standard in use
Makarius
2017/12/16
Re: [polyml] C++ standard in use
Makarius
2017/12/15
[polyml] C++ standard in use
Matthew Fernandez
2017/12/15
Re: [polyml] polyc and libraries
David Matthews
2017/12/15
Re: [polyml] polyc and libraries
Makarius
2017/12/15
Re: [polyml] polyc and libraries
David Matthews
Earlier messages
Later messages