Thanks. That enabled me to see what was going wrong. I've committed a
fix to SVN and the file compiles, at least as far as complaining about
some missing declarations, on X86-32 and X86-64. You will need to run
make compiler
if you want to use the SVN version.
Regards,
David
On 21/02/2011 06:55, Andreas Lochbihler wrote:
Dear David,
please find attached the ML file that reproduces the error. I ran
Poly/ML on x86, Ubuntu GNU/LInux, both 32-bit and 64-bit.
Andreas
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
