W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2004

[DM] MS-DM-LC2-039

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

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

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:13:55 UTC