Re: A question about DAML lists

On November 26, Dan Connolly writes:
> 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".

I changed daml-oil so that we now have:

<List rdf:ID="Empty">
  <rdfs:comment>
     the empty list.
  </rdfs:comment>
</List>

Ian