Hai,
after porting a few thousand lines I think I spotted the next bug.
take this simple program:
program err;
type pword = ^word; word = boolean;
var pw : pword;
begin new(pw); pw^ := true; end.
This is rejected by gpc with:
err.pas: In main program: err.pas:12: incompatible types in assignment
But if I swap the order of the pword and word type decl's all's swell. Ofcourse using woord (dutch for word) instead of word solves it too.