I would recommend git/github over svn. Much easier to manage contributions: branches give food flexibility, and git has better merging than svn also. On Mar 31, 2015 3:28 PM, "Michael Norrish" <Michael.Norrish at nicta.com.au> wrote:
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.Matthews at 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 at 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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml