polyml  

Messages by Date

• 2012/09/06 Re: [polyml] Type inference issue with phantom types Phil Clayton
• 2012/09/06 Re: [polyml] Type inference issue with phantom types Phil Clayton
• 2012/09/06 Re: [polyml] Type inference issue with phantom types David Matthews
• 2012/09/05 Re: [polyml] Type inference issue with phantom types David Matthews
• 2012/09/05 Re: [polyml] Type inference issue with phantom types Phil Clayton
• 2012/09/05 [polyml] End of life for native code Sparc and PPC David Matthews
• 2012/08/30 Re: [polyml] Storage management update Phil Clayton
• 2012/08/30 Re: [polyml] Storage management update David Matthews
• 2012/08/30 Re: [polyml] Storage management update Phil Clayton
• 2012/08/24 Re: [polyml] From SML/NJ to Poly/ML Michael Moeller
• 2012/08/24 Re: [polyml] From SML/NJ to Poly/ML Makarius
• 2012/08/24 Re: [polyml] From SML/NJ to Poly/ML Makarius
• 2012/08/24 Re: [polyml] From SML/NJ to Poly/ML Michael Moeller
• 2012/08/24 Re: [polyml] From SML/NJ to Poly/ML Ramana Kumar
• 2012/08/24 Re: [polyml] From SML/NJ to Poly/ML David Matthews
• 2012/08/24 Re: [polyml] From SML/NJ to Poly/ML Ramana Kumar
• 2012/08/24 Re: [polyml] From SML/NJ to Poly/ML Lawrence Paulson
• 2012/08/23 Re: [polyml] From SML/NJ to Poly/ML Makarius
• 2012/08/23 RE: [polyml] From SML/NJ to Poly/ML Gael Mulat
• 2012/08/23 Re: [polyml] From SML/NJ to Poly/ML Tjark Weber
• 2012/08/23 Re: [polyml] Word31 from SMLNJ Phil Clayton
• 2012/08/23 Re: [polyml] From SML/NJ to Poly/ML Ramana Kumar
• 2012/08/23 Re: [polyml] Word31 from SMLNJ David Matthews
• 2012/08/23 Re: [polyml] From SML/NJ to Poly/ML Lawrence Paulson
• 2012/08/23 Re: [polyml] From SML/NJ to Poly/ML David Matthews
• 2012/08/23 Re: [polyml] CInterface and CType union David Matthews
• 2012/08/22 [polyml] or-patterns [Was: From SML/NJ to Poly/ML] Ian Zimmerman
• 2012/08/22 Re: [polyml] Word31 from SMLNJ Phil Clayton
• 2012/08/22 RE: [polyml] From SML/NJ to Poly/ML Gael Mulat
• 2012/08/21 Re: [polyml] Word31 from SMLNJ Matthew Fluet
• 2012/08/21 Re: [polyml] Word31 from SMLNJ David Matthews
• 2012/08/20 Re: [polyml] CInterface and CType union Pierre-Alain Bourdil
• 2012/08/20 Re: [polyml] Word31 from SMLNJ Phil Clayton
• 2012/08/20 [polyml] Word31 from SMLNJ Gael Mulat
• 2012/08/20 Re: [polyml] CInterface and CType union David Matthews
• 2012/08/20 Re: [polyml] CInterface and CType union Gabriel Dos Reis
• 2012/08/20 Re: [polyml] CInterface and CType union David Matthews
• 2012/08/20 Re: [polyml] CInterface and CType union Pierre-Alain Bourdil
• 2012/08/20 Re: [polyml] CInterface and CType union David Matthews
• 2012/08/19 [polyml] CInterface and CType union Pierre-Alain Bourdil
• 2012/08/17 Re: [polyml] Emacs mode Ian Zimmerman
• 2012/08/17 [polyml] Emacs mode Gael Mulat
• 2012/08/16 Re: [polyml] From SML/NJ to Poly/ML Makarius
• 2012/08/16 Re: [polyml] From SML/NJ to Poly/ML Phil Clayton
• 2012/08/16 Re: [polyml] Finalizers not called on termination Phil Clayton
• 2012/08/16 Re: [polyml] FFI conversions for larger C types Phil Clayton
• 2012/08/16 Re: [polyml] Finalizers not called on termination Phil Clayton
• 2012/08/16 RE: [polyml] From SML/NJ to Poly/ML Gael Mulat
• 2012/08/15 Re: [polyml] From SML/NJ to Poly/ML Ian Zimmerman
• 2012/08/15 [polyml] From SML/NJ to Poly/ML Gael Mulat
• 2012/08/15 Re: [polyml] Finalizers not called on termination David Matthews
• 2012/08/14 Re: [polyml] Finalizers not called on termination Matthew Fluet
• 2012/08/13 [polyml] Finalizers not called on termination Phil Clayton
• 2012/08/13 Re: [polyml] Lifespan of pointers to callback functions passed via C FFI Phil Clayton
• 2012/08/10 Re: [polyml] FFI conversions for larger C types Phil Clayton
• 2012/08/10 Re: [polyml] FFI conversions for larger C types David Matthews
• 2012/08/08 [polyml] FFI conversions for larger C types Phil Clayton
• 2012/08/08 [polyml] FFI conversion for unsigned long int Phil Clayton
• 2012/08/05 Re: [polyml] Type inference issue with phantom types Phil Clayton
• 2012/07/23 Re: [polyml] Type inference issue with phantom types David Matthews
• 2012/07/21 Re: [polyml] Type inference issue with phantom types Matthew Fluet
• 2012/07/21 Re: [polyml] Type inference issue with phantom types Phil Clayton
• 2012/07/21 Re: [polyml] Type inference issue with phantom types Rob Arthan
• 2012/07/21 Re: [polyml] Type inference issue with phantom types Phil Clayton
• 2012/07/20 [polyml] Type inference issue with phantom types Phil Clayton
• 2012/07/12 [polyml] userGCRatio default value Jeremy Singer
• 2012/07/06 [polyml] Re: BasicXXXFun vs XXXToolsFun Aleks Kissinger
• 2012/07/05 Re: [polyml] Storage management update David Matthews
• 2012/07/05 [polyml] Storage management update David Matthews
• 2012/07/03 Re: [polyml] Re: CInterface causing poly to crash Aleks Kissinger
• 2012/07/02 Re: [polyml] Re: CInterface causing poly to crash David Matthews
• 2012/07/02 Re: [polyml] Re: CInterface causing poly to crash Aleks Kissinger
• 2012/07/02 Re: [polyml] Re: CInterface causing poly to crash David Matthews
• 2012/07/02 [polyml] Re: CInterface causing poly to crash Aleks Kissinger
• 2012/07/02 [polyml] Re: CInterface causing poly to crash Aleks Kissinger
• 2012/06/25 Re: [polyml] CInterface causing poly to crash Phil Clayton
• 2012/06/25 Re: [polyml] CInterface causing poly to crash Aleks Kissinger
• 2012/06/25 Re: [polyml] CInterface causing poly to crash Phil Clayton
• 2012/06/23 [polyml] CInterface causing poly to crash Aleks Kissinger
• 2012/06/01 [polyml] rlwrap filter for Poly/ML Aleks Kissinger
• 2012/06/01 Re: [polyml] Poly/ML SVN: assertion failure when attempting to dump heap David Matthews
• 2012/05/31 [polyml] Poly/ML SVN: assertion failure when attempting to dump heap Aleks Kissinger
• 2012/05/20 Re: [polyml] Accessing a representation of types David Matthews
• 2012/05/20 [polyml] Accessing a representation of types Nicolai Schaffroth
• 2012/05/07 Re: [polyml] assertion failed in r1520 David Matthews
• 2012/05/07 [polyml] assertion failed in r1520 Ramana Kumar
• 2012/05/06 Re: [polyml] gcbench in SML Ian Zimmerman
• 2012/04/26 Re: [polyml] gcbench in SML Makarius
• 2012/04/26 Re: [polyml] gcbench in SML David Matthews
• 2012/04/26 Re: [polyml] gcbench in SML Phil Clayton
• 2012/04/26 [polyml] gcbench in SML Jeremy Singer
• 2012/04/04 Re: [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor David Matthews
• 2012/04/04 Re: [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor Rob Arthan
• 2012/04/04 Re: [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor Makarius
• 2012/04/04 Re: [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor Rob Arthan
• 2012/04/04 Re: [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor David Matthews
• 2012/04/03 Re: [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor Rob Arthan
• 2012/04/02 Re: [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor Phil Clayton
• 2012/03/30 Re: [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor David Matthews
• 2012/03/29 Re: [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor Rob Arthan
• 2012/03/27 [polyml] Poly/ML and SML/NJ warn inconsistently about using op for an infix constructor Phil Clayton
• 2012/02/15 [polyml] Calling C functions Phil Clayton
• 2012/02/06 Re: [polyml] Overloaded operators for Time.time David Matthews
• 2012/02/05 Re: [polyml] Overloaded operators for Time.time Phil Clayton
• 2012/02/05 Re: [polyml] Overloaded operators for Time.time Phil Clayton
• 2012/02/05 Re: [polyml] Overloaded operators for Time.time Ian Zimmerman
• 2012/02/05 Re: [polyml] Overloaded operators for Time.time Rob Arthan
• 2012/02/05 Re: [polyml] Overloaded operators for Time.time Lars-Henrik Eriksson
• 2012/02/05 Re: [polyml] Overloaded operators for Time.time Rob Arthan
• 2012/02/05 Re: [polyml] Overloaded operators for Time.time David Matthews
• 2012/02/03 [polyml] Overloaded operators for Time.time Phil Clayton
• 2012/02/02 Re: [polyml] Add --error-exit option Ian Zimmerman
• 2012/02/02 Re: [polyml] Add --error-exit option David Matthews
• 2012/02/01 Re: [polyml] Lifespan of pointers to callback functions passed via C FFI Phil Clayton
• 2012/01/29 [polyml] Add --error-exit option Florian Weimer
• 2012/01/29 Re: [polyml] Lifespan of pointers to callback functions passed via C FFI David Matthews
• 2012/01/29 Re: [polyml] Exception- Empty unexpectedly raised while compiling Ian Zimmerman
• 2012/01/29 Re: [polyml] Exception- Empty unexpectedly raised while compiling David Matthews
• 2012/01/28 Re: [polyml] Exception- Empty unexpectedly raised while compiling Ian Zimmerman
• 2012/01/27 Re: [polyml] Lifespan of pointers to callback functions passed via C FFI Phil Clayton
• 2012/01/27 Re: [polyml] Lifespan of pointers to callback functions passed via C FFI David Matthews
• 2012/01/27 [polyml] Lifespan of pointers to callback functions passed via C FFI Phil Clayton
• 2012/01/27 Re: [polyml] Exception- Empty unexpectedly raised while compiling David Matthews
• 2012/01/16 [polyml] Exception- Empty unexpectedly raised while compiling Ian Zimmerman
• 2012/01/06 Re: [polyml] Exceptions and standalone executables David Matthews
• 2012/01/06 Re: [polyml] Exceptions and standalone executables Makarius
• 2012/01/05 Re: [polyml] Exceptions and standalone executables Michael Norrish
• 2012/01/05 Re: [polyml] Exceptions and standalone executables Phil Clayton
• 2012/01/05 [polyml] Exceptions and standalone executables Ian Zimmerman
• 2011/12/13 Re: [polyml] Sourceforge tracker David Matthews
• 2011/12/13 [polyml] Sourceforge tracker Phil Clayton
• 2011/12/02 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/12/01 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/12/01 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/30 Re: [polyml] Null pointer and comparing CInterface.vol values Makarius
• 2011/11/29 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/26 Re: [polyml] Y combinator crashes Poly/ML Lars-Henrik Eriksson
• 2011/11/26 Re: [polyml] Y combinator crashes Poly/ML Rob Arthan
• 2011/11/24 Re: [polyml] Y combinator crashes Poly/ML David Matthews
• 2011/11/24 Re: [polyml] Re: scanaddrs.cpp:107: Assertion Failed Makarius
• 2011/11/24 [polyml] Re: scanaddrs.cpp:107: Assertion Failed Tjark Weber
• 2011/11/24 Re: [polyml] Null pointer and comparing CInterface.vol values Ian Zimmerman
• 2011/11/24 [polyml] Y combinator crashes Poly/ML Lars-Henrik Eriksson
• 2011/11/24 [polyml] scanaddrs.cpp:107: Assertion Failed Tjark Weber
• 2011/11/23 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/23 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/22 Re: [polyml] Null pointer and comparing CInterface.vol values Ian Zimmerman
• 2011/11/22 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/21 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/21 Re: [polyml] Null pointer and comparing CInterface.vol values Ian Zimmerman
• 2011/11/21 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/21 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/21 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/18 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/18 Re: [polyml] CInterface.setFinal pointer mismatch Phil Clayton
• 2011/11/18 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/18 [polyml] setFinal important detail Phil Clayton
• 2011/11/18 Re: [polyml] CInterface.setFinal pointer mismatch David Matthews
• 2011/11/17 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/17 Re: [polyml] Resource consumption of the SVN version vs. 5.4.1 David Matthews
• 2011/11/17 Re: [polyml] Resource consumption of the SVN version vs. 5.4.1 Andreas Lochbihler
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/16 Re: [polyml] Printing arbitrary objects Phil Clayton
• 2011/11/16 Re: [polyml] Printing arbitrary objects David Matthews
• 2011/11/16 Re: [polyml] Printing arbitrary objects Phil Clayton
• 2011/11/16 Re: [polyml] Printing arbitrary objects Phil Clayton
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/16 [polyml] Printing arbitrary objects Dave Thayer
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values Makarius
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values Rob Arthan
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/16 Re: [polyml] Resource consumption of the SVN version vs. 5.4.1 David Matthews
• 2011/11/16 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/16 [polyml] Resource consumption of the SVN version vs. 5.4.1 Andreas Lochbihler
• 2011/11/15 Re: [polyml] Null pointer and comparing CInterface.vol values Ian Zimmerman
• 2011/11/15 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/15 Re: [polyml] Null pointer and comparing CInterface.vol values David Matthews
• 2011/11/15 Re: [polyml] Fortify detects buffer overflow Andreas Lochbihler
• 2011/11/14 Re: [polyml] Fortify detects buffer overflow Andreas Lochbihler
• 2011/11/14 Re: [polyml] Fortify detects buffer overflow David Matthews
• 2011/11/13 Re: [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/13 [polyml] CInterface.setFinal pointer mismatch Phil Clayton
• 2011/11/11 [polyml] Null pointer and comparing CInterface.vol values Phil Clayton
• 2011/11/11 [polyml] Fortify detects buffer overflow Andreas Lochbihler
• 2011/10/13 Re: [polyml] Re: [quantomatic] Poly/ML Package for Sublime Text 2 Karolis Narkevičius
• 2011/10/13 [polyml] Re: [quantomatic] Poly/ML Package for Sublime Text 2 Aleks Kissinger
• 2011/10/12 [polyml] Poly/ML Package for Sublime Text 2 Aleks Kissinger
• 2011/10/08 [polyml] Re: remove the very first > prompt Hong Feng
• 2011/10/06 [polyml] Re: remove the very first > prompt Lucas Dixon
• 2011/10/06 [polyml] remove the very first > prompt Hong Feng
• 2011/10/05 Re: [polyml] readline library available? Lucas Dixon
• 2011/10/05 Re: [polyml] readline library available? Makarius
• 2011/10/05 [polyml] readline library available? Hong Feng
• 2011/10/04 Re: [polyml] any way to turn off the Poly/ML system prompt? Hong Feng
• 2011/10/03 Re: [polyml] any way to turn off the Poly/ML system prompt? Michael Norrish
• 2011/10/03 Re: [polyml] any way to turn off the Poly/ML system prompt? Rob Arthan

• Earlier messages
• Later messages