sub GetType (-->Type) { ... }
 my ::RunTimeType := GetType;

This is clearly permitted by the prose, that " ::x may be bound to any object 
that does the Abstraction role, such as a typename, package, module, class, 
role, grammar, or any other protoobject with .HOW hooks."

But the syntax might think that is the value type and complain that no variable 
followed.  Can someone make sure the grammar handles this, so we can bug Larry 
if it doesn't?

Also, is this the normal way of making typedefs?

   my ::Newname := OldTypeName;

(or constant instead of my?)
or is there some other syntax specific to the task?

Reply via email to