Re: Variant records..

[ganesh.ramasivan@gdcanada.com (Ganesh Ramasivan)]

Preben Randhol <randhol+valid_for_reply_from_news@pvv.org> wrote in message news:<slrnc31r7c.r6.randhol+valid_for_reply_from_news@k-083152.nt.ntnu.no>...
> On 2004-02-16, Ganesh Ramasivan <ganesh.ramasivan@gdcanada.com> wrote:
> > Preben Randhol <randhol+valid_for_reply_from_news@pvv.org> wrote in message news:<slrnc318ga.3ja.randhol+valid_for_reply_from_news@k-083152.nt.ntnu.no>...
> >> On 2004-02-15, Ganesh Ramasivan <ganesh.ramasivan@gdcanada.com> wrote:
> >> > In the following example, how would i forbid the user of data type Foo
> >> > from specifying the following:
> >> >
> >> > John : Foo(Vehicle => MAN, Power => AUTOMATIC);
> >> >
> >> > ie. is there a way to restrict the user from specifying certain types
> >> > as variants?
> >> 
> >> I guess this is homework? If it is why don't you simply try to do this
> >> and see what happens?
> >
> > This is just a simple example I am working with as I am an ada newbie.
> >
> > I tried and it compiles. What I am trying to do is to prevent the user
> > from creating types that do not make sense.
> 
> If you put
> 
>    Audio : Foo(Vehicle => MAN, Power => AUTOMATIC);
> 
> it won't compile, so I do not really understand your question.

Sorry, but I don't see why you think this won't compile. I tried it
and it does compile.