strange error message with :/2

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Tue 09 Apr 2002 05:13:03 PM GMT
Message-Id: <E16uzB1-0000JE-00@breeze.icparc.ic.ac.uk>
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