Re: ICFP Programming Contest virtual machine in Ada

["Hyman Rosen" <hyman.rosen@gmail.com>]

Samuel Tardieu wrote:
> As you can see in the code, I used Stream_IO, which only considers raw
> bytes, so this is not an issue.

I don't know Ada, so pardon me if I'm saying something
obviously wrong. Your code has
    when 10 => Put (Character'Val (Regs (C))); Flush;

Is this Stream_IO or regular text IO? The contest has you
download a binary file called codex.umz. When you register,
you receive a "decompression key". When you run the machine
against codex.umz, it eventually asks you for the key, then it
goes into interactive mode. In that mode, you are asked to enter
'p', and when you do, the machine spits out the "decompressed"
form of the codex using these opcode 10 put operands. This output
needs to be captured and slightly edited to remove a header, and
then the machine needs to be rerun on this output. If your Put is
text and not binary, the output will be garbled, assuming that Ada's
text Put does the usual LF => CR LF mapping.