🚀 go-pugleaf

the program below is a contrived one.   it cannot  be compiled.
the reason is a type fault. however, it exhibits a very central
characteristic of update.    something should be  done to allow
this kinds of programs.	   			    ---limsoon.



#include <stream.h>
class a { 
  public: 
    a& test() { 
	// do some modification to the state of this object,
	// then ...
	return *this;
};
class b : public a { 
  public:
    int b;
};
main() { 
  b B; 
  B = B.test();
  // type violation despite the fact that 
  // `B' and `B.test()' are the same object.
}