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

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.

$n instance of element(*, uniontype)

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:56:52 UTC