polyml  

Messages by Date

• 2016/01/19 Re: [polyml] Foreign calls not working after loadState in new session David Matthews
• 2016/01/19 [polyml] Foreign calls not working after loadState in new session Phil Clayton
• 2016/01/18 Re: [polyml] Segmentation Fault When Porting David Matthews
• 2016/01/18 Re: [polyml] Segmentation Fault When Porting James Clarke
• 2016/01/18 Re: [polyml] Segmentation Fault When Porting David Matthews
• 2016/01/18 Re: [polyml] Negative offset for getX and setX functions in Foreign.Memory David Matthews
• 2016/01/18 Re: [polyml] Negative offset for getX and setX functions in Foreign.Memory Phil Clayton
• 2016/01/16 Re: [polyml] Segmentation Fault When Porting James Clarke
• 2016/01/16 Re: [polyml] Negative offset for getX and setX functions in Foreign.Memory David Matthews
• 2016/01/15 [polyml] Negative offset for getX and setX functions in Foreign.Memory Phil Clayton
• 2016/01/15 Re: [polyml] Segmentation Fault When Porting James Clarke
• 2016/01/15 Re: [polyml] Segmentation Fault When Porting David Matthews
• 2016/01/13 Re: [polyml] Using a common CIF for callbacks David Matthews
• 2016/01/13 Re: [polyml] Changes to Foreign structure Phil Clayton
• 2016/01/13 Re: [polyml] Using a common CIF for callbacks Phil Clayton
• 2016/01/12 [polyml] Segmentation Fault When Porting James Clarke
• 2016/01/12 [polyml] Type inference issue using signature constraint Phil Clayton
• 2016/01/11 Re: [polyml] addPrettyPrinter type security David Matthews
• 2016/01/11 Re: [polyml] Using a common CIF for callbacks David Matthews
• 2016/01/11 [polyml] Using a common CIF for callbacks Phil Clayton
• 2016/01/09 [polyml] addPrettyPrinter type security Rob Arthan
• 2016/01/09 Re: [polyml] Towards Poly/ML 5.6 Rob Arthan
• 2016/01/08 Re: [polyml] 5.6 failures on OSX Michael Norrish
• 2016/01/08 Re: [polyml] 5.6 failures on OSX David Matthews
• 2016/01/08 [polyml] 5.6 failures on OSX Michael Norrish
• 2016/01/07 Re: [polyml] Towards Poly/ML 5.6 David Matthews
• 2016/01/07 Re: [polyml] Towards Poly/ML 5.6 Rob Arthan
• 2016/01/07 Re: [polyml] Towards Poly/ML 5.6 David Matthews
• 2016/01/06 Re: [polyml] Towards Poly/ML 5.6 David Matthews
• 2016/01/06 Re: [polyml] Towards Poly/ML 5.6 Anthony Fox
• 2016/01/06 Re: [polyml] Towards Poly/ML 5.6 Jerry James
• 2016/01/06 Re: [polyml] Towards Poly/ML 5.6 David Matthews
• 2016/01/06 Re: [polyml] Towards Poly/ML 5.6 Anthony Fox
• 2016/01/06 Re: [polyml] Towards Poly/ML 5.6 Makarius
• 2016/01/06 Re: [polyml] Towards Poly/ML 5.6 James Clarke
• 2016/01/06 Re: [polyml] Towards Poly/ML 5.6 Peter Gammie
• 2016/01/06 Re: [polyml] Towards Poly/ML 5.6 David Matthews
• 2016/01/05 Re: [polyml] Changes to Foreign structure David Matthews
• 2016/01/05 Re: [polyml] Changes to Foreign structure Phil Clayton
• 2016/01/04 Re: [polyml] Towards Poly/ML 5.6 Lucas Dixon
• 2016/01/04 Re: [polyml] Changes to Foreign structure David Matthews
• 2016/01/04 Re: [polyml] Towards Poly/ML 5.6 David Matthews
• 2016/01/04 Re: [polyml] Changes to Foreign structure Phil Clayton
• 2016/01/04 Re: [polyml] Towards Poly/ML 5.6 Rob Arthan
• 2016/01/03 Re: [polyml] Towards Poly/ML 5.6 James Clarke
• 2016/01/03 Re: [polyml] Towards Poly/ML 5.6 Rob Arthan
• 2016/01/02 [polyml] Towards Poly/ML 5.6 David Matthews
• 2015/12/27 [polyml] polyml mailing list not searchable by search engines Artella Coding
• 2015/12/16 Re: [polyml] Changes to Foreign structure David Matthews
• 2015/12/16 Re: [polyml] Changes to Foreign structure Artella Coding
• 2015/12/16 [polyml] Changes to Foreign structure David Matthews
• 2015/11/20 Re: [polyml] Various changes Makarius
• 2015/11/10 [polyml] Various changes David Matthews
• 2015/11/10 [polyml] loadModule David Matthews
• 2015/11/01 Re: [polyml] compressing heap images Japheth Lim
• 2015/10/30 Re: [polyml] type real in polyml David Matthews
• 2015/10/30 Re: [polyml] compressing heap images David Matthews
• 2015/10/30 Re: [polyml] type real in polyml Fabian Immler
• 2015/10/30 Re: [polyml] compressing heap images Japheth Lim
• 2015/10/30 Re: [polyml] compressing heap images David Matthews
• 2015/10/30 Re: [polyml] compressing heap images Japheth Lim
• 2015/10/21 Re: [polyml] Nested use David Matthews
• 2015/10/20 [polyml] compressing heap images Gerwin Klein
• 2015/10/20 Re: [polyml] Nested use Makarius
• 2015/10/20 Re: [polyml] Nested use Tjark Weber
• 2015/10/19 Re: [polyml] Nested use Makarius
• 2015/10/15 [polyml] Profiling David Matthews
• 2015/10/15 [polyml] Nested use David Matthews
• 2015/10/14 Re: [polyml] incorrect canonical paths David Matthews
• 2015/10/14 [polyml] incorrect canonical paths Ramana Kumar
• 2015/10/14 Re: [polyml] incorrect canonical paths Ramana Kumar
• 2015/10/12 Re: [polyml] tracing David Matthews
• 2015/10/12 Re: [polyml] tracing Ramana Kumar
• 2015/10/12 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/10/12 Re: [polyml] tracing David Matthews
• 2015/10/12 Re: [polyml] New Foreign Function Interface David Matthews
• 2015/10/11 [polyml] tracing Ramana Kumar
• 2015/10/10 Re: [polyml] New Foreign Function Interface Artella Coding
• 2015/10/10 Re: [polyml] New Foreign Function Interface David Matthews
• 2015/10/10 Re: [polyml] New Foreign Function Interface Artella Coding
• 2015/10/10 Re: [polyml] New Foreign Function Interface David Matthews
• 2015/10/10 Re: [polyml] New Foreign Function Interface David Matthews
• 2015/10/10 Re: [polyml] New Foreign Function Interface Artella Coding
• 2015/10/10 Re: [polyml] New Foreign Function Interface David Matthews
• 2015/10/10 [polyml] New Foreign Function Interface Artella Coding
• 2015/10/08 Re: [polyml] InternalError: AllocStore found but last allocation not complete David Matthews
• 2015/10/08 Re: [polyml] Weak references David Matthews
• 2015/10/08 Re: [polyml] Weak references Ramana Kumar
• 2015/10/08 Re: [polyml] Weak references David Matthews
• 2015/10/07 Re: [polyml] type real in polyml David Matthews
• 2015/10/06 Re: [polyml] Weak references Ramana Kumar
• 2015/10/06 Re: [polyml] Weak references David Matthews
• 2015/10/04 [polyml] Weak references Ramana Kumar
• 2015/09/27 Re: [polyml] InternalError: AllocStore found but last allocation not complete Phil Clayton
• 2015/09/24 Re: [polyml] InternalError: AllocStore found but last allocation not complete David Matthews
• 2015/09/23 Re: [polyml] polyc with different base executable Michael Norrish
• 2015/09/23 Re: [polyml] polyc with different base executable Phil Clayton
• 2015/09/23 Re: [polyml] polyc with different base executable David Matthews
• 2015/09/22 [polyml] polyc with different base executable Michael Norrish
• 2015/09/22 [polyml] InternalError: AllocStore found but last allocation not complete Phil Clayton
• 2015/09/21 Re: [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/21 Re: [polyml] FFI overhead Artella Coding
• 2015/09/21 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/09/21 Re: [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/21 Re: [polyml] FFI overhead David Matthews
• 2015/09/20 Re: [polyml] FFI overhead Artella Coding
• 2015/09/20 Re: [polyml] FFI overhead Phil Clayton
• 2015/09/19 [polyml] FFI overhead Artella Coding
• 2015/09/19 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/09/19 Re: [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/18 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/09/18 Re: [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/18 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/09/18 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/09/17 Re: [polyml] Using a finalizer with multiple arguments Matthew Fluet
• 2015/09/17 Re: [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/17 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/09/17 Re: [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/17 Re: [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/16 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/09/16 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/09/15 Re: [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/15 Re: [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/15 Re: [polyml] Windows GUI and console Pierpaolo Bernardi
• 2015/09/15 Re: [polyml] Windows GUI and console David Matthews
• 2015/09/15 Re: [polyml] Windows GUI and console Pierpaolo Bernardi
• 2015/09/15 Re: [polyml] Windows GUI and console David Matthews
• 2015/09/15 Re: [polyml] Windows GUI and console Pierpaolo Bernardi
• 2015/09/15 Re: [polyml] Using a finalizer with multiple arguments Artella Coding
• 2015/09/15 Re: [polyml] Fwd: Course programming language David Matthews
• 2015/09/15 [polyml] Windows GUI and console David Matthews
• 2015/09/15 Re: [polyml] Using a finalizer with multiple arguments David Matthews
• 2015/09/14 [polyml] Using a finalizer with multiple arguments Phil Clayton
• 2015/09/14 Re: [polyml] Program seems to run instead of just compiling Rob Arthan
• 2015/09/14 [polyml] Program seems to run instead of just compiling Artella Coding
• 2015/09/12 [polyml] The History of Standard ML: Ideas, Principles, Culture Makarius
• 2015/09/10 Re: [polyml] Windows Unicode Makarius
• 2015/09/10 Re: [polyml] Windows Unicode David Matthews
• 2015/09/08 Re: [polyml] Windows Unicode Makarius
• 2015/09/07 Re: [polyml] Windows Unicode Ramana Kumar
• 2015/09/07 Re: [polyml] Windows Unicode Pierpaolo Bernardi
• 2015/09/07 [polyml] Windows Unicode David Matthews
• 2015/09/04 Re: [polyml] Entrypoint into sml main from C Artella Coding
• 2015/09/04 Re: [polyml] Entrypoint into sml main from C David Matthews
• 2015/09/03 [polyml] Entrypoint into sml main from C Artella Coding
• 2015/08/30 Re: [polyml] Anyone having problems getting through to http://www.polyml.org/ ? Ian Zimmerman
• 2015/08/29 [polyml] Anyone having problems getting through to http://www.polyml.org/ ? Artella Coding
• 2015/08/28 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) David Matthews
• 2015/08/28 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) David Matthews
• 2015/08/27 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) David Matthews
• 2015/08/26 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) Artella Coding
• 2015/08/26 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) Artella Coding
• 2015/08/26 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) Artella Coding
• 2015/08/26 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) David Matthews
• 2015/08/26 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) Makarius
• 2015/08/26 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) Artella Coding
• 2015/08/26 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) Artella Coding
• 2015/08/26 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) David Matthews
• 2015/08/26 Re: [polyml] Building with msys & GNU Make 3.82 (windows 7) Makarius
• 2015/08/26 [polyml] Building with msys & GNU Make 3.82 (windows 7) Artella Coding
• 2015/08/21 [polyml] Fwd: [Sml-basis-discuss] Standard ML Basis Library proposals David Matthews
• 2015/08/20 [polyml] Isabelle/PIDE front-end for Poly/ML debugger Makarius
• 2015/08/11 Re: [polyml] error building from SVN David Matthews
• 2015/08/07 Re: [polyml] error building from SVN Ian Zimmerman
• 2015/08/07 Re: [polyml] error building from SVN Makarius
• 2015/08/07 Re: [polyml] error building from SVN Lucas Dixon
• 2015/08/07 Re: [polyml] error building from SVN Ramana Kumar
• 2015/08/07 Re: [polyml] error building from SVN Walther Neuper
• 2015/08/07 Re: [polyml] error building from SVN David Matthews
• 2015/08/06 Re: [polyml] error building from SVN Ramana Kumar
• 2015/07/30 [polyml] Truth Tables David Topham
• 2015/07/17 Re: [polyml] Interpreter commands? David Matthews
• 2015/07/16 [polyml] Interpreter commands? David Topham
• 2015/07/13 Re: [polyml] PolyML on AArch64 Christian Neukirchen
• 2015/07/13 Re: [polyml] PolyML on AArch64 David Matthews
• 2015/07/10 [polyml] PolyML on AArch64 Christian Neukirchen
• 2015/05/16 Re: [polyml] [isabelle] polyml 64bit Darwin heap size Gerwin Klein
• 2015/05/16 [polyml] polyml 64bit Darwin heap size Gerwin Klein
• 2015/04/16 Re: [polyml] error building from SVN David Matthews
• 2015/04/03 Re: [polyml] error building from SVN David Matthews
• 2015/04/01 Re: [polyml] error building from SVN Makarius
• 2015/03/31 Re: [polyml] error building from SVN Ramana Kumar
• 2015/03/31 Re: [polyml] error building from SVN Lucas Dixon
• 2015/03/31 Re: [polyml] error building from SVN Michael Norrish
• 2015/03/31 Re: [polyml] error building from SVN Joe Leslie-Hurd
• 2015/03/31 Re: [polyml] error building from SVN Ramana Kumar
• 2015/03/31 Re: [polyml] error building from SVN David Matthews
• 2015/03/31 [polyml] error building from SVN Michael Norrish
• 2015/03/24 Re: [polyml] polyc and poly --script Phil Clayton
• 2015/03/24 Re: [polyml] polyc and poly --script David Matthews
• 2015/03/23 Re: [polyml] polyc and poly --script Phil Clayton
• 2015/03/20 Re: [polyml] emacs SML mode Phil Clayton
• 2015/03/15 Re: [polyml] forgetVal(ue) David Matthews
• 2015/03/15 Re: [polyml] emacs SML mode David Matthews
• 2015/03/14 [polyml] forgetVal(ue) Peter Gammie
• 2015/03/14 Re: [polyml] emacs SML mode Peter Gammie
• 2015/03/11 Re: [polyml] Typo in Socket.select David Matthews
• 2015/03/10 [polyml] Typo in Socket.select Hiroya Ebine
• 2015/03/07 Re: [polyml] Debugging the debugger David Matthews
• 2015/03/03 Re: [polyml] extremely bad performance on some mllex generated code Michael Norrish

• Earlier messages
• Later messages