Shouldn't "Empty" be of type "List"? 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 -- Ian Horrocks, Department of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. Tel: +44 161 275 6133 Fax: +44 161 275 6204 Email: horrocks@cs.man.ac.uk WWW: http://www.cs.man.ac.uk/~horrocksReceived on Sunday, 26 November 2000 16:30:41 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:44 GMT