On 12 Dec 2002 at 16:28, Frank Heckenbach wrote:
Waldek Hebisch wrote:
[...]
I think better syntax would be:
type foo = Integer attribute(Size(n),...);
differences are:
- attribute suggest much more general use (I think it could
work for general extensions) 2) IMHO at the end of type it need to be only contextually reserved so someting like:
type attribute = Integer attribute(Size(5)); foo = attribute attribute(Volatile);
This might be a good idea. Actually, GPC allows `attribute' for variables already (though with a `;' before -- maybe it would be better to drop it if it doesn't cause problems), and it should be possible to also allow it for types.
I must confess that I still cannot understand why any of this is a "better" solution than leaving things the way they are. How does the above advance the situation over a simple "type foo=Integer (n)"?
Best regards, The Chief --------- Prof. Abimbola Olowofoyeku (The African Chief) Web: http://www.bigfoot.com/~african_chief/