Recursive type definitions generate no errors

[Adrian Pop]

Having a file containing:

uniontype Resources
  record R
    Integer i;
  end R;
end Resources;
type Resources = list<Resources>; // reference itself

will generate no error messages, will just fail directly!