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 <[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
