polyml  

Messages by Thread

• [polyml] Assertion failure in scanaddrs Ramana Kumar
  • Re: [polyml] Assertion failure in scanaddrs David Matthews
  • Re: [polyml] Assertion failure in scanaddrs Ramana Kumar
• [polyml] More portable poly compilation Makarius
  • Re: [polyml] More portable poly compilation Florian Weimer
  • Re: [polyml] More portable poly compilation Phil Clayton
• [polyml] FFI conversions that are portable across Poly/ML versions Phil Clayton
  • Re: [polyml] FFI conversions that are portable across Poly/ML versions David Matthews
• [polyml] C++ standard in use Matthew Fernandez
  • Re: [polyml] C++ standard in use Makarius
  • Re: [polyml] C++ standard in use Makarius
  • Re: [polyml] C++ standard in use Matthew Fernandez
  • Re: [polyml] C++ standard in use Makarius
  • Re: [polyml] C++ standard in use Matthew Fernandez
  • Re: [polyml] C++ standard in use Florian Weimer
• [polyml] Build error: Exception- InternalError: Too many passes raised while compiling Kostirya
  • Re: [polyml] Build error: Exception- InternalError: Too many passes raised while compiling David Matthews
• [polyml] Retiring CInterface? David Matthews
  • Re: [polyml] Retiring CInterface? Makarius
  • Re: [polyml] Retiring CInterface? Phil Clayton
  • Re: [polyml] Retiring CInterface? David Matthews
• [polyml] polyc and libraries David Matthews
  • Re: [polyml] polyc and libraries Kostirya
  • Re: [polyml] polyc and libraries David Matthews
  • Re: [polyml] polyc and libraries Makarius
  • Re: [polyml] polyc and libraries David Matthews
  • Re: [polyml] polyc and libraries Makarius
  • Re: [polyml] polyc and libraries David Matthews
  • Re: [polyml] polyc and libraries David Matthews
  • Re: [polyml] polyc and libraries Phil Clayton
  • Re: [polyml] polyc and libraries David Matthews
  • Re: [polyml] polyc and libraries Phil Clayton
  • Re: [polyml] polyc and libraries David Matthews
• Re: [polyml] PolyML sources [InternalError: asGenReg raised while compiling] David Matthews
  • Re: [polyml] PolyML sources [InternalError: asGenReg raised while compiling] Bernard Berthomieu
• [polyml] 5.7.1 release candidate David Matthews
  • Re: [polyml] 5.7.1 release candidate Makarius
  • Re: [polyml] 5.7.1 release candidate Ramana Kumar
  • Re: [polyml] 5.7.1 release candidate Chun Tian
  • Re: [polyml] 5.7.1 release candidate Chun Tian
  • Re: [polyml] 5.7.1 release candidate James Clarke
• [polyml] Poly/ML output in LaTeX Timothy Bourke
  • [polyml] FW: Poly/ML output in LaTeX Michael.Norrish
  • Re: [polyml] FW: Poly/ML output in LaTeX Timothy Bourke
  • Re: [polyml] Poly/ML output in LaTeX David Matthews
  • Re: [polyml] Poly/ML output in LaTeX Timothy Bourke
• [polyml] current git version crashes Michael.Norrish
• [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 Lars Hupel
  • Re: [polyml] Approaching release of 5.7.1 Makarius
  • Re: [polyml] Approaching release of 5.7.1 Lars Hupel
  • Re: [polyml] Approaching release of 5.7.1 Makarius
  • Re: [polyml] Approaching release of 5.7.1 Lars Hupel
  • Re: [polyml] Approaching release of 5.7.1 Makarius
  • Re: [polyml] Approaching release of 5.7.1 Rob Arthan
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 Rob Arthan
  • Re: [polyml] Approaching release of 5.7.1 Phil Clayton
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 Rob Arthan
  • Re: [polyml] Approaching release of 5.7.1 James Clarke
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 Rob Arthan
  • Re: [polyml] Approaching release of 5.7.1 Ramana Kumar
  • Re: [polyml] Approaching release of 5.7.1 Rob Arthan
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 Matthew Fernandez
  • Re: [polyml] Approaching release of 5.7.1 Rob Arthan
  • Re: [polyml] Approaching release of 5.7.1 Matthew Fernandez
  • Re: [polyml] Approaching release of 5.7.1 Phil Clayton
  • Re: [polyml] Approaching release of 5.7.1 Phil Clayton
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 Rob Arthan
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 Makarius
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 Makarius
  • Re: [polyml] Approaching release of 5.7.1 Rob Arthan
  • Re: [polyml] Approaching release of 5.7.1 Makarius
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • Re: [polyml] Approaching release of 5.7.1 Phil Clayton
  • Re: [polyml] Approaching release of 5.7.1 David Matthews
  • [polyml] InternalError: asGenReg raised while compiling Bernard Berthomieu
  • Re: [polyml] InternalError: asGenReg raised while compiling David Matthews
• [polyml] determining link options Michael.Norrish
  • Re: [polyml] determining link options David Matthews
  • Re: [polyml] determining link options Michael.Norrish
• [polyml] brew install polyml Lawrence Paulson
  • Re: [polyml] brew install polyml David Matthews
  • Re: [polyml] brew install polyml Matthew Fernandez
• [polyml] calling PolyML.shell from inside another executable Michael.Norrish
  • Re: [polyml] calling PolyML.shell from inside another executable David Matthews
  • Re: [polyml] calling PolyML.shell from inside another executable Michael.Norrish
  • Re: [polyml] calling PolyML.shell from inside another executable David Matthews
• [polyml] semantics of SaveState.loadState Michael.Norrish
  • Re: [polyml] semantics of SaveState.loadState David Matthews
  • Re: [polyml] semantics of SaveState.loadState Michael.Norrish
  • Re: [polyml] semantics of SaveState.loadState Phil Clayton
  • Re: [polyml] semantics of SaveState.loadState Michael.Norrish
  • Re: [polyml] semantics of SaveState.loadState David Matthews
• [polyml] Exit codes and crowbar timeout Jerry James
• [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Roní Gonçalves
  • Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Roní Gonçalves
  • Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' David Matthews
  • Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Rob Arthan
  • Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Roní Gonçalves
  • Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Makarius
  • Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Phil Clayton
  • Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Roní Gonçalves
  • Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Jerry James
• [polyml] fork/exec woes Michael.Norrish
  • Re: [polyml] fork/exec woes Makarius
  • Re: [polyml] fork/exec woes David Matthews
  • Re: [polyml] fork/exec woes Michael.Norrish
• [polyml] Final CFP: ML Family Workshop 2017 Sam Lindley
• [polyml] What's the difference between "Release" and "IntRelease" ("Debug" and "IntDebug")? Chun Tian (binghe)
  • Re: [polyml] What's the difference between "Release" and "IntRelease" ("Debug" and "IntDebug")? David Matthews
  • Re: [polyml] What's the difference between "Release" and "IntRelease" ("Debug" and "IntDebug")? Chun Tian (binghe)
• [polyml] Second CFP: ML Family Workshop 2017 Sam Lindley
• [polyml] Origins of Poly Yves Cloutier
  • Re: [polyml] Origins of Poly David Matthews
• Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
  • Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Makarius
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
  • Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
  • Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Chun Tian (binghe)
  • Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Chun Tian (binghe)
  • Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
  • Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
• [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Michael.Norrish
  • Re: [polyml] Is there a Windows build that can run at the command prompt? James Clarke
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
  • Re: [polyml] Is there a Windows build that can run at the command prompt? Chun Tian (binghe)
• [polyml] configure fails Lawrence Paulson
  • Re: [polyml] configure fails Недзельский Михаил
  • Re: [polyml] configure fails Lawrence Paulson
• [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release Kostirya
  • Re: [polyml] 5.7 Release James Clarke
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release Kostirya
  • Re: [polyml] 5.7 Release Kostirya
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release James Clarke
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release James Clarke
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release James Clarke
  • Re: [polyml] 5.7 Release James Clarke
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release James Clarke
  • Re: [polyml] 5.7 Release Makarius
  • Re: [polyml] 5.7 Release Makarius
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release Makarius
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release Makarius
  • Re: [polyml] 5.7 Release Rob Arthan
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release Rob Arthan
  • Re: [polyml] 5.7 Release David Matthews
  • [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release Ramana Kumar
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release Jerry James
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release Ramana Kumar
  • Re: [polyml] 5.7 Release David Matthews
  • Re: [polyml] 5.7 Release Ramana Kumar
  • Re: [polyml] 5.7 Release David Matthews
• [polyml] interfacing object oriented libraries Gergely Buday
  • Re: [polyml] interfacing object oriented libraries Phil Clayton
• [polyml] Benchmarks: Poly/ML 5.6.1 vs 5.6.0 Kostirya
  • Re: [polyml] Benchmarks: Poly/ML 5.6.1 vs 5.6.0 David Matthews
• [polyml] Poly/ML 5.6.1 Testing and exception_trace Kostirya
  • Re: [polyml] Poly/ML 5.6.1 Testing and exception_trace David Matthews
• [polyml] Post-RTS and nonblocking socket functions Kostirya
  • Re: [polyml] Post-RTS and nonblocking socket functions David Matthews
• [polyml] QUse.use and exceptions Ramana Kumar
• [polyml] Thank you very much Kostirya
• [polyml] Get errno Kostirya
  • Re: [polyml] Get errno David Matthews
  • Re: [polyml] Get errno Florian Weimer
  • Re: [polyml] Get errno David Matthews
  • Re: [polyml] Get errno Kostirya
  • Re: [polyml] Get errno David Matthews
• [polyml] ConditionVar Kostirya
  • Re: [polyml] ConditionVar David Matthews
• [polyml] sets of sets David Topham
  • Re: [polyml] sets of sets Lawrence Paulson
• [polyml] Can't unify int (*In Basis*) with LargeInt.int ... Kostirya
  • Re: [polyml] Can't unify int (*In Basis*) with LargeInt.int ... David Matthews

• Earlier messages
• Later messages