[DM] MS-DM-LC2-039 from Michael Rys on 2004-01-19 (public-qt-comments@w3.org from January 2004)

From: Michael Rys <mrys@microsoft.com>
Date: Mon, 19 Jan 2004 09:53:30 -0800
To: <public-qt-comments@w3.org>
Message-ID: <EB0A327048144442AFB15FCE18DC96C701C467DD@RED-MSG-31.redmond.corp.microsoft.com>

Section 3.3.1 Mapping PSVI Additions to Types
Technical

The rules about inferring type annotations seems to break named typing
in the context of union types.

The instance type of the element needs to be the name of the union type
and not the name of the member type that matches the instance's type.
Otherwise

$n instance of element(*, uniontype)

Will fail.

Received on Monday, 19 January 2004 12:55:49 UTC