SEDS for ISO 10303-11

[David Price]

Jochen,

I'm not sure I like the idea that the datatype of something depends on its
instantiated value. TYPEOF is a datatype, not data value, function so I'm a
bit confused. Can you elaborate on why you want this change? Is this example
any different from x being declared as a BAG that happens to be instantiated
with non-duplicate members and so you want TYPEOF to return SET?

Hope my question makes sense. It's basically, how far would you expect this
proposal to go?

Cheers,
David

> -----Original Message-----
> From: owner-wg11 at steptools.com [mailto:owner-wg11 at steptools.com]On
> Behalf Of Jochen Haenisch
> Sent: 2001 November 29 09:02
> To: 'seds at cme.nist.gov'
> Cc: 'WG11 exploder'
> Subject: SEDS for ISO 10303-11
>
>
> Please, consider the SEDS report that is included below.
> Best regards, Jochen Haenisch.
>
>  <<SEDS_Express_20011129.txt>>
>
> ____________________________________________________________
> Jochen Haenisch			E-mail:
> Jochen.Haenisch at epmtech.jotne.com
> EPM Technology AS		Home of the EXPRESS Data Manager
> P.O Box 6629 Etterstad		Tel: Int + 47 23 17 17 26
> N-0607 Oslo				Fax: Int + 47 23 17 17 01
> Norway					Web:
> http://www.epmtech.jotne.com
>
>