From: Hal Fulton <hal9000@...>
Date: 2003-11-22T10:22:51+09:00
Subject: Re: "stereotyping" (was: Re: Strong Typing (Re: Managing metadata about attribute types) )

Yukihiro Matsumoto wrote:
> |An aside: Unfortunately, the post method doesn't have access to the result
> |returned from the function.  In this case it doesn't matter, but many post
> |conditions assert something interesting about the result.  I guess I would
> |have to use a wrap method for that.
> 
> The only reason the result is _not_ available from post method is we
> don't have neat syntax construct.  Any proposal?
> 
> 							matz.

My first impulse is to say: Just as super is used within "wrap",
let it be used within "post".

The difference would be that in the latter, it would not be a
true method call, only a reference to a captured return value.

Hal