Seems I forgot to include the mailing list; adding it back in. James
> On 21 Feb 2017, at 19:14, James Clarke <[email protected]> wrote: > > Hi David, > I just uploaded the latest version to Debian's experimental suite[1], and it > seems all the interpreted versions are failing when running "make compiler". > The error itself is: > >> ./polyimport polytemp.txt -I . < ./exportPoly.sml >> Use: basis/build.sml >> Use: basis/RuntimeCalls.ML >> Use: basis/InitialBasis.ML >> Exception- Match unexpectedly raised while compiling > > Further up in the build logs there is: > >> Making INTGCODE >> mlsource/MLCompiler/CodeTree/ByteCode/INTGCODE.ML:167: warning: Matches are >> not exhaustive. >> Found near >> case pt of >> BICEval evl => genEval (evl, tailKind) | >> BICExtract ext => if whereto = NoResult then () else locaddr ext | >> BICField {...} => (... ...; ...) | >> ... ... => ... ... | >> ... => ... | >> ... > > > Looking at the source, BICArbitrary is not handled (though there may be > others). > > Regards, > James > > [1] Logs at > https://buildd.debian.org/status/package.php?p=polyml&suite=experimental > >> On 21 Feb 2017, at 12:48, David Matthews <[email protected]> >> wrote: >> >> The latest version, provisionally called 5.6.1, has had very little change >> for several months. I'm not aware of any show-stoppers so I think it would >> be a good time to make a release. Because there have been some major >> changes I was planning to call it 5.7. This is the last chance to do any >> last tests before the release. >> >> David >> _______________________________________________ >> polyml mailing list >> [email protected] >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
