<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=us-ascii">
<META content="MSHTML 6.00.6000.16587" name=GENERATOR></HEAD>
<BODY>
<DIV dir=ltr align=left>Then according to module's "independently undergo the
static analysis phase" <BR>definition, the answer will be "false" if
implementation provide mechanism<BR>to dynamically detect static unknow type(in
order to fully support subtype substitution),<BR>and will throw an error if
implementation did not provide such mechanism, right? <BR><BR><SPAN
class=266482908-14012008><FONT face=Arial color=#0000ff
size=2> </FONT></SPAN></DIV>
<DIV dir=ltr align=left><SPAN class=266482908-14012008><FONT face=Arial
color=#0000ff size=2>The specification doesn't say that implementations are
obliged to throw an error if the consistency constraints are violated. It says
that the results are undefined in these circumstances.</FONT></SPAN></DIV>
<DIV dir=ltr align=left><SPAN class=266482908-14012008></SPAN> </DIV>
<DIV dir=ltr align=left><SPAN class=266482908-14012008><FONT face=Arial
color=#0000ff size=2>Michael Kay</FONT></SPAN></DIV>
<DIV dir=ltr align=left><SPAN class=266482908-14012008><FONT face=Arial
color=#0000ff
size=2>http://www.saxonica.com/</FONT> </SPAN></DIV></BODY></HTML>