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