Mirsad Todorovac wrote:
On Fri, 1 Aug 2003, Frank Heckenbach wrote:
These are for variables. Please add a few (not all combinations) for constants and type intializers.
Err, I tried but I've got something illegal. I think I'll need an example or two on these. (!!!)
I think constants require compile-time constants, so forget about them. Types (`type Foo = Bar value Baz') should be relevant, though. (You might have to declare a variable of the initialized type in order to provoke the range-check error.)
Revisiting type initializers: was this what was meant?
Not exactly. These declarations would be valid. But a subrange type with a (non-constant) out-of-range initializer.
Frank