polyml  

Messages by Thread

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

• Earlier messages
• Later messages