RE: static typing and computed elements

On Thu, 2002-01-17 at 11:13, Bas de Bakker wrote:
> > I'm wondering how computed elements and static type checking fit
> > together, especially if the element name is computed by an expression.
> 
> The whole typing semantics is still quite unclear and under
> construction.  But you can surely type a computed element constructor as
> "element" (meaning any element).
> 

Exactly, but you can still type the content of the element,and this is
exactly what is the typing rule says.

Cheers,
- Jerome

> Regards,
> Bas de Bakker
> X-Hive Corporation
> 

Received on Thursday, 17 January 2002 12:19:12 UTC