This is on the main branch 5.4 only: [eclipse 2]: eclipse: X > Y. instantiation fault in functor(X, _219, _220) eclipse: X > Y should be eclipse: (X > Y), of course, but the error message is rather confusing...Received on Tue Apr 09 18:13:04 2002
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:15 PM GMT GMT