compiler question

[Michael Wohlwend <micha-1@fantasymail.de>]

Hi,

I executed the following code,  the array a0 was allocated to match the 
filesize and get32 reads 4 bytes via input_byte:

  let idx = ref 0 in
  try
    while true do
      a0.(!idx) <-get32 file;
      incr idx;
    done
  with
    End_of_file -> close_in file;


this code works as bytecode but gives an array exception when compiled to 
native code. Is the execution order different on the two compilers? The a0.
(!idx) get evaluted before the get32 in native-code, but with bytecode the 
get32 is computed first (it seems).
The code works if I add a temporary variable like:
let t = get32 file in
a0.(!idx) <- t;

is this a feature ? :-)
cheers,
 Michael