polyml  

Messages by Thread

• [polyml] Dud exception traces Aleks Kissinger
  • Re: [polyml] Dud exception traces David Matthews
  • Re: [polyml] Dud exception traces Aleks Kissinger
  • Re: [polyml] Dud exception traces David Matthews
• [polyml] Memory consumption profiling in PolyML Thomas Sewell
  • Re: [polyml] Memory consumption profiling in PolyML Thomas Sewell
  • Re: [polyml] Memory consumption profiling in PolyML David Matthews
  • RE: [polyml] Memory consumption profiling in PolyML Thomas Sewell
• [polyml] Pretty printing of functor arguments Phil Clayton
• [polyml] Order of evaluation of arguments to a function Ivan Tomac
  • Re: [polyml] Order of evaluation of arguments to a function Alex Merry
  • Re: [polyml] Order of evaluation of arguments to a function Ramana Kumar
  • Re: [polyml] Order of evaluation of arguments to a function Alex Merry
  • Re: [polyml] Order of evaluation of arguments to a function David Matthews
  • Re: [polyml] Order of evaluation of arguments to a function Rob Arthan
  • [polyml] Re: [MLton-user] Order of evaluation of arguments to a function Ivan Tomac
  • Re: [polyml] Order of evaluation of arguments to a function Jeremy Dawson
• [polyml] PolyML with OS X 10.7 Lion? Peter Vincent Homeier
• [polyml] Experiences with Lion Aleks Kissinger
• [polyml] Bug fixes and 5.4.1 David Matthews
  • Re: [polyml] Bug fixes and 5.4.1 Gio
• [polyml] measuring/profiling memory consumption Gerwin Klein
  • Re: [polyml] measuring/profiling memory consumption David Matthews
• [polyml] Assertion `val.IsDataPtr()' failed Alex Merry
  • Re: [polyml] Assertion `val.IsDataPtr()' failed David Matthews
  • Re: [polyml] Assertion `val.IsDataPtr()' failed Alex Merry
  • Re: [polyml] Assertion `val.IsDataPtr()' failed David Matthews
  • Re: [polyml] Assertion `val.IsDataPtr()' failed Alex Merry
• [polyml] Repeated ascriptions Aleks Kissinger
  • Re: [polyml] Repeated ascriptions David Matthews
• [polyml] Nice parallelisation examples in poly/ML Aleks Kissinger
  • Re: [polyml] Nice parallelisation examples in poly/ML Makarius
  • Re: [polyml] Nice parallelisation examples in poly/ML Aleks Kissinger
  • Re: [polyml] Nice parallelisation examples in poly/ML Makarius
  • Re: [polyml] Nice parallelisation examples in poly/ML Makarius
• [polyml] IEEE reals David Matthews
  • Re: [polyml] IEEE reals Matthew Fluet
• [polyml] Thread Status Flags Dave Thayer
  • Re: [polyml] Thread Status Flags David Matthews
• [polyml] Memory leak? Poly/ML SVN 1307 Aleks Kissinger
  • Re: [polyml] Memory leak? Poly/ML SVN 1307 David Matthews
• [polyml] Semantics of Threading Intrrupt Flags and proper interpretation in .Net simulation Dave Thayer
  • Re: [polyml] Semantics of Threading Intrrupt Flags and proper interpretation in .Net simulation David Matthews
  • Re: [polyml] Semantics of Threading Intrrupt Flags and proper interpretation in .Net simulation Dave Thayer
• [polyml] bug to do with as-binding masking datatype constructor name Michael Norrish
  • [polyml] Re: [MLton] bug to do with as-binding masking datatype constructor name Matthew Fluet
  • [polyml] Re: [MLton] bug to do with as-binding masking datatype constructor name Matthew Fluet
• [polyml] Re: creating heterogeneous array in the Poly/ML codetree David Matthews
• [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree Yue Li
  • Re: [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree Lucas Dixon
  • Re: [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree David Matthews
  • Re: [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree Makarius
  • Re: [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree Yue Li
• [polyml] Infinite loop when forcing GC after creating a weak pointer Ivan Tomac
  • Re: [polyml] Infinite loop when forcing GC after creating a weak pointer David Matthews
• [polyml] Poly/ML codetree generation Yue Li
  • [polyml] Re: Poly/ML codetree generation David Matthews
  • [polyml] Re: Poly/ML codetree generation Yue Li
  • [polyml] Re: Poly/ML codetree generation David Matthews
  • [polyml] Re: Poly/ML codetree generation Yue Li
• [polyml] Type abbreviations and pretty-printing of function types Rob Arthan
• [polyml] InternalError: jump too large raised while compiling Andreas Lochbihler
  • Re: [polyml] InternalError: jump too large raised while compiling David Matthews
  • Re: [polyml] InternalError: jump too large raised while compiling David Matthews
• [polyml] HTTP protocol socket code Lucas Dixon
  • Re: [polyml] HTTP protocol socket code Makarius
  • Re: [polyml] HTTP protocol socket code David Matthews
• [polyml] Building MS Windows applications Rob Arthan
  • Re: [polyml] Building MS Windows applications David Matthews
  • [polyml] Problem with Poly/ML on Cygwin on Vista Rob Arthan
  • Re: [polyml] Problem with Poly/ML on Cygwin on Vista David Matthews
  • Re: [polyml] Building MS Windows applications Rob Arthan
• [polyml] Isabelle/ML IDE based on jEdit Makarius
• [polyml] Re: On understanding Poly/ML function definition IR David Matthews
  • [polyml] Re: On understanding Poly/ML function definition IR Yue Li
• [polyml] CInterface problem on SPARC/Solaris mmoel
  • Re: [polyml] CInterface problem on SPARC/Solaris David Matthews
  • Re: [polyml] CInterface problem on SPARC/Solaris mmoel
  • Re: [polyml] CInterface problem on SPARC/Solaris David Matthews
• [polyml] Poly/ML 32-bit and memory usage Lars Noschinski
• [polyml] exit code 89 with r1259 Ramana Kumar
  • Re: [polyml] exit code 89 with r1259 David Matthews
• [polyml] Release Announcement of PolyChrome 0.3 Lucas Dixon
• [polyml] Socket.accept on MacOS causes 100% processor usage Lucas Dixon
  • Re: [polyml] Socket.accept on MacOS causes 100% processor usage David Matthews
  • Re: [polyml] Socket.accept on MacOS causes 100% processor usage Lucas Dixon
• [polyml] redirecting stdout elsewhere Lucas Dixon
  • Re: [polyml] redirecting stdout elsewhere Matthew Fluet
  • Re: [polyml] redirecting stdout elsewhere Lucas Dixon
  • Re: [polyml] redirecting stdout elsewhere Rob Arthan
  • Re: [polyml] redirecting stdout elsewhere Makarius
  • Re: [polyml] redirecting stdout elsewhere Rob Arthan
• [polyml] Strange error message on declaration of datatypes Florian Haftmann
  • Re: [polyml] Strange error message on declaration of datatypes Florian Haftmann
• [polyml] polyml error Jeremy Dawson
  • Re: [polyml] polyml error Florian Weimer
  • Re: [polyml] polyml error Jeremy Dawson
  • Re: [polyml] polyml error Petter Urkedal
  • Re: [polyml] polyml error Jeremy Dawson
• [polyml] Polyml and binutils Gold (link failure) Basile Starynkevitch
  • Re: [polyml] Polyml and binutils Gold (link failure) David Matthews
• [polyml] multiple type parameters in a functor Lu Zhao
  • Re: [polyml] multiple type parameters in a functor Florian Weimer
• [polyml] Low-level C FFI: call_sym or call_sym_and_convert? Phil Clayton
  • Re: [polyml] Low-level C FFI: call_sym or call_sym_and_convert? Phil Clayton
  • Re: [polyml] Low-level C FFI: call_sym or call_sym_and_convert? David Matthews
• [polyml] St9bad_alloc with Memory Limits near 2^n GB Tjark Weber
  • Re: [polyml] St9bad_alloc with Memory Limits near 2^n GB David Matthews
  • Re: [polyml] St9bad_alloc with Memory Limits near 2^n GB Tjark Weber
  • Re: [polyml] St9bad_alloc with Memory Limits near 2^n GB David Matthews
• [polyml] Questions on the code trees of functors Yue Li
  • [polyml] Re: Questions on the code trees of functors David Matthews
• [polyml] Names in initial top-level environment Phil Clayton
  • Re: [polyml] Names in initial top-level environment David Matthews
• [polyml] Pretty-printing of infix constructors Rob Arthan
  • Re: [polyml] Pretty-printing of infix constructors David Matthews
  • Re: [polyml] Pretty-printing of infix constructors Makarius
  • Re: [polyml] Pretty-printing of infix constructors Rob Arthan
• [polyml] Poly/ML 5.4 Released David Matthews
  • Re: [polyml] Poly/ML 5.4 Released David Matthews
• [polyml] function for input from stdin Johan
  • [polyml] function for input from stdin Johan
  • Re: [polyml] function for input from stdin David Matthews
• [polyml] PolyML memory parameters Lucas Dixon
  • Re: [polyml] PolyML memory parameters David Matthews
• [polyml] Source code overview David Matthews
• [polyml] Interfaces for printing IR and generated code Yue Li
  • Re: [polyml] Interfaces for printing IR and generated code David Matthews
  • Re: [polyml] Interfaces for printing IR and generated code Yue Li
  • Re: [polyml] Interfaces for printing IR and generated code Yue Li
  • Re: [polyml] Interfaces for printing IR and generated code David Matthews
  • Re: [polyml] Interfaces for printing IR and generated code Yue Li
  • Re: [polyml] Interfaces for printing IR and generated code David Matthews
  • Re: [polyml] Interfaces for printing IR and generated code Yue Li
• [polyml] ULTRA type error slicer for SML: version 0.6 and TECHNICAL REPORT rahli vincent
• [polyml] Poly/ML 5.4 David Matthews
  • Re: [polyml] Poly/ML 5.4 Rob Arthan
  • Re: [polyml] Poly/ML 5.4 David Matthews
  • Re: [polyml] Poly/ML 5.4 David Matthews
  • Re: [polyml] Poly/ML 5.4 Matthew Fluet
  • Re: [polyml] Poly/ML 5.4 David Matthews
  • Re: [polyml] Poly/ML 5.4 Matthew Fluet
  • Re: [polyml] Poly/ML 5.4 Matthew Fluet
  • Re: [polyml] Poly/ML 5.4 David Matthews
  • Re: [polyml] Poly/ML 5.4 Rob Arthan
  • Re: [polyml] Poly/ML 5.4 David Matthews
  • Re: [polyml] Poly/ML 5.4 Rob Arthan
  • Re: [polyml] Poly/ML 5.4 David Matthews
  • Re: [polyml] Poly/ML 5.4 Makarius
  • Re: [polyml] Poly/ML 5.4 Makarius
  • Re: [polyml] Poly/ML 5.4 David Matthews
  • Re: [polyml] Poly/ML 5.4 Matthew Fluet
• [polyml] Workshop on ML 2010 - Call for Participation Matthew Fluet
• [polyml] Fwd: [isabelle] insufficient memory exception in polyml Gerwin Klein
  • Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml David Matthews
  • Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml Gerwin Klein
  • Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml David Matthews
  • [polyml] SVN vs. Poly/ML 5.4 Makarius
  • Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml Gerwin Klein
  • Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml Phil Clayton
  • Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml David Matthews
  • Re: [polyml] insufficient memory exception in polyml Makarius
• [polyml] PASCO 2010: Programming Challenge Daniel de Angelis Cordeiro
• [polyml] Workshop on ML 2010 - Extended Submission Deadline Matthew Fluet
• [polyml] Pretty printing singleton tuples Phil Clayton
  • Re: [polyml] Pretty printing singleton tuples David Matthews
• [polyml] SML systems disagreeing on Date.localOffset Michael Norrish
  • [polyml] Re: [MLton] SML systems disagreeing on Date.localOffset Matthew Fluet
• [polyml] Date.fromTimeLocal off by a day Michael Norrish
  • Re: [polyml] Date.fromTimeLocal off by a day David Matthews
• [polyml] PASCO 2010: Call for Participation Daniel de Angelis Cordeiro
• [polyml] Release of version 0.5 of the ULTRA type error slicer for SML rahli vincent
• [polyml] configure script problem on OS X Philip Weaver
  • Re: [polyml] configure script problem on OS X David Matthews
  • Re: [polyml] configure script problem on OS X Philip Weaver
  • Re: [polyml] configure script problem on OS X Philip Weaver
• [polyml] Poly/ML build fails on Fedora 12 Rob Arthan
  • Re: [polyml] Poly/ML build fails on Fedora 12 David Matthews
• [polyml] Poly/ML interpreter's opcodes Yue Li
  • Re: [polyml] Poly/ML interpreter's opcodes David Matthews
  • Re: [polyml] Poly/ML interpreter's opcodes Yue Li
• [polyml] Poly/ML exit codes Michael Norrish
  • Re: [polyml] Poly/ML exit codes Michael Norrish
  • Re: [polyml] Poly/ML exit codes David Matthews
• [polyml] 5.3 variability in Posix.Process.exec Michael Norrish
  • Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
  • Re: [polyml] 5.3 variability in Posix.Process.exec Michael Norrish
  • Re: [polyml] 5.3 variability in Posix.Process.exec Michael Norrish
  • Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
  • Re: [polyml] 5.3 variability in Posix.Process.exec Michael Norrish
  • Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
  • Re: [polyml] 5.3 variability in Posix.Process.exec Michael Norrish
  • Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
  • Re: [polyml] 5.3 variability in Posix.Process.exec Makarius
  • Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
  • Re: [polyml] 5.3 variability in Posix.Process.exec Makarius
  • Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
  • Re: [polyml] 5.3 variability in Posix.Process.exec Makarius
• [polyml] Documentation of Poly/ML opcode Yue Li
  • Re: [polyml] Documentation of Poly/ML opcode David Matthews

• Earlier messages
• Later messages