Re: A question about DAML lists

Ian Horrocks wrote:
> 
> Shouldn't "Empty" be of type "List"?

Yes... this is a bug. I thought I had fixed
it by now, but I guess not...

> Otherwise, lists can't be terminated
> by having "Empty" as the value of "rest" (which I presume is the
> intention), because the range of "rest" is "List". Given that this is the
> case, it is clear that "Empty" should not be equivalent to "Nothing".
> 
> Regards, Ian

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Sunday, 26 November 2000 22:13:16 UTC