[ooc-compiler] Bug? Record field changes on its own

[Frank H. <hr...@te...>]

I have a problem with this bug (?) report: (1) My program has grown
pretty large meanwhile, and (2) it has a GUI based on GTK and the
record field change mentioned above occurs between 2 mouse clicks. So it
is pretty difficult to isolate the error into a simple example.

The program is a game containing a variable of type

  State*      = POINTER TO StateD;
  StateD*     = RECORD [ABSTRACT]
                  nPl-, movPl-:   SHORTINT;  (* # players, moving pl.*)
		  active-, aiPl-: SET;       (* active, AI players *)
		END;

When I press the start button, state.movPl has the correct value, 0.
Immediately upon the next action, t.i. clicking on the playfield, the
value has changed to 62 without any appearent reason. Now when I change
the sequence of the 2 SHORTINTs to

  StateD*     = RECORD [ABSTRACT]
                  movPl-, nPl-:   SHORTINT;  (* # players, moving pl.*)

then the value changes to 40.

Is it a bug? How can I find that out?
-- 
Frank Hrebabetzky		+55 / 48 / 3235 1106
Florianopolis, Brazil