polyml  

Messages by Thread

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

• Earlier messages
• Later messages