Peter N Lewis wrote:
At 5:32 PM +0100 1/3/03, Frank Heckenbach wrote:
Peter N Lewis wrote:
univ (doesn't conflict as long as it is overridden by any user defined variable/type/etc)
Overridden? I thought the syntax was `univ TypeName'. This would be a syntax extension (which I generally take with some scepticism) and couldn't be overridden. At best, `univ' could become a conditional keyword (as I suggested recently), so a user-defined identifier `Univ' would make the syntax extension unavailable.
Yes, that's what I mean - ie, a user could have code to use the identifier univ and this extension would not harm them, and a user could have code from the mac world which uses univ and it would work for them. To me, this fits well with your desire to support all the features of all the languages in so much as they don't conflict.
The only use of 'univ' of which I am aware is in Per Brinch Hansens Concurrent Pascal and the associated Sequential Pascal. Here it was used to modify the parameter type in function/procedure headers, so that other things occupying the identical parameter space could be passed. The treatment was then up to the receiver. IIRC.