ThomasM wrote:

Perhabs it is possible to "output" qualified messages during compilation like "Type of ... is ..." or "Size of ... is ..." ?

It probably possible -- it's just a matter of effort ...

But the size shouldn't actually matter -- the type must match exactly. E.g., this is not valid (but also not in BP):

unit Baz;

interface

type Foo = String[10];

procedure a (b: Foo);

implementation

type Bar = String[10];

procedure a (b: Bar); begin end;

end.

Frank