Test case LCC comment

So I don't forget: there's a fourth condition suggested by the semantics
document that isn't currently tested in the test cases, and that fourth
condition is also required to say that datatypes X and Y are "supported"
from the point of view of the test cases:

- for two datatypes X and Y, it must be possible to determine if X is a
	subclass of Y.

I'll create a test case for this asap (it basically boils down to a
range entailment).

-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
"No generalised law is without exception." A self-demonstrating axiom.

Received on Tuesday, 14 January 2003 11:06:30 UTC