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 -- Frank Heckenbach, frank@g-n-u.de http://fjf.gnu.de/ GnuPG and PGP keys: http://fjf.gnu.de/plan (7977168E)