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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:44 GMT