G'day,
Bancroft Scott wrote:
>
> On Tue, 24 Apr 2001, Geoff Elgey wrote:
>
> > > Tata ::= INTEGER {one(1),two(2)} (-10..0)
> > > tata Tata ::= two
> > > Toto ::= BIT STRING {zerotrue(0),
> > > onetrue(1),
> > > twotrue(tata)} (SIZE(1..tata))
> > >
> > > Where/when should a compiler begin to disagree?
> >
> > Again, there is no problem with the above.
>
> You overlooked "tata", which is invalid because the value 2 lies
> outside the range -10..0.
Oops. My mistake :-)
--
Geoffrey Elgey ph: +61-7-38641487 Distributed Systems Technology
Centre
Security Unit fax:+61-7-38641282 QUT, Brisbane, Australia
http://www.dstc.edu.au
DSTC is the Australian W3C Office email: [EMAIL PROTECTED]