Hi All, In another thread, Timo wrote me:
The "-->" part of the signature is optional. If there isn't one, it defaults to Mu, which is the type that everything conforms to, i.e. the sub or method that either has "--> Mu" explicitly, or has it by leaving it out, may return absolutely whatever it wants. After all, the "-->" part is a constraint, and it gets validated at compile time every time a sub or method returns. I got to thinking, some routines do not return anything. Without the "-->" constraint, how am I to determine if something is being returned? Yours in confusion, -T