Expertise needed

[Phil Spiby]

Pascal,

 

I guess you mean these declarations are all in the same schema.

In which case T1 remains extensible, and the value space of the types
are:

T1 {tata, toto, titi}

T2 {tata, toto }

T3 {tata, titi}

 

Phil

 

-----Original Message-----
From: owner-wg11 at steptools.com [mailto:owner-wg11 at steptools.com] On
Behalf Of Pascal Huau
Sent: 21 June 2002 17:20
To: WG11
Cc: Module exploder
Subject: Expertise needed

 

Dear Express experts,

 

 

I would like to check the impact of a select type extension, on the
basis of the latest specifications of Express ed2.

 

If I declare:

    TYPE t1 = EXTENSIBLE SELECT (tata);

 

    TYPE t2 = SELECT BASED ON t1 WITH (toto);

 

    TYPE t3 = EXTENSIBLE SELECT BASED ON t1 WITH (titi);

 

1) is t1 still extensible (as t2 is not extensible)?

2) what is the actual content of t2: is it : (tata, toto) or (tata,
toto, titi)?

 

 

(note: modelling of some modules depend on your answer)

 

Thanks in advance for your help

 

 

Regards,

Pascal Huau
Association GOSET
107,111 avenue Clemenceau
92000 Nanterre
France

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.steptools.com/pipermail/wg11/attachments/20020621/ab886d36/attachment.html