Seems I forgot to include the mailing list; adding it back in.
James
On 21 Feb 2017, at 19:14, James Clarke <jrtc27 at jrtc27.com> 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 <David.Matthews at prolingua.co.uk> 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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Thanks. I've added BICArbitrary to the case and it seems to be fine now.
David
On 21/02/2017 19:19, James Clarke wrote:
Seems I forgot to include the mailing list; adding it back in.
James
On 21 Feb 2017, at 19:14, James Clarke <jrtc27 at jrtc27.com> 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 <David.Matthews at prolingua.co.uk> 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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-
David.Matthews＠prolingua.co.uk -
jrtc27＠jrtc27.com