Thanks for the update. Like the others, I think git is probably a better system than Subversion. But I don’t expect your choice will have much impact on me (this error is the first I’ve seen when building straight from svn), so I’m sure I will be happy with whatever you choose. :-)
Michael > On 31 Mar 2015, at 22:53, David Matthews <david.matth...@prolingua.co.uk> > wrote: > > This was a problem with the SVN version of Poly/ML. I've fixed it now so it > should build. > > This has raised, though, a question I've been wondering about: whether to > switch from sourceforge SVN to git and github. It's very convenient to be > able to commit works-in-progress at various stages even if they're not > complete. It makes it much easier to track down bugs by bisection if each > commit is not too large. The disadvantage with SVN is that it's not clear to > anyone using the repository whether it is meant to be in a stable state and > meant for beta testing or whether it is unstable and perhaps not even alpha > tested. It's much easier with a multi-stage source management system such as > git or mercurial to have a "private" repository and only push to the "main" > repository when the set of commits are complete. > > Does anyone have any thoughts on this? > > David > > On 31/03/2015 09:56, Michael Norrish wrote: >> My Travis CI builds of HOL using a Subversion checkout of Poly (as >> opposed to the released version, which I also check), are failing to >> build Poly with the error below. (See also >> https://travis-ci.org/HOL-Theorem-Prover/HOL/jobs/56529081). >> >> Is this expected, or some quirk of the Travis setup? >> >> Michael >> >> -- >> >> >> Error- in './basis/FinalPolyML.sml', line 1607. Value or constructor >> (decodeBinary) has not been declared Error- in >> './basis/FinalPolyML.sml', line 1608. Value or constructor >> (encodeBinary) has not been declared Exception trace for exception - >> Fail raised in mlsource/MLCompiler/MAKE_.ML line 423 >> MAKE_().useIntoEnv(2) <top level> CODETREE().genCode(3)(1) >> COMPILER_BODY().baseCompiler(3)executeCode(1) End of trace Exception >> trace for exception - Fail raised in mlsource/MLCompiler/MAKE_.ML >> line 423 MAKE_().useIntoEnv(2) <top level> CODETREE().genCode(3)(1) >> COMPILER_BODY().baseCompiler(3)executeCode(1) End of trace > _______________________________________________ > polyml mailing list > polyml@inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml