strange error messages with (ill-formed) meta-terms (#0892)

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Tue 06 Feb 2001 05:12:04 PM GMT
Message-Id: <E14QBeu-0000h4-00@holborn.icparc.ic.ac.uk>
[eclipse 1]: var(V{suspend:s}).

V = V
yes.

works, but

(first example is adapted from the example in the Bips pages for
nonground/2)

[eclipse 1]: nonground(V{s}).
undefined variable attribute in trans_meta_in(V, _151, eclipse)
illegal stream specification in stream_info_(abort, 13, _198)

[eclipse 1]: var(V{s}).
undefined variable attribute in trans_meta_in(V, _151, eclipse)
illegal stream specification in stream_info_(abort, 13, _198)

-- second error message did not appear in 4.2.
-- first error message is also not very helpful
Received on Tue Feb 06 17:12:05 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:03 PM GMT GMT