make_suspension/4: inconsistent error reporting (#908)

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Mon 19 Mar 2001 04:53:43 PM GMT
Message-Id: <E14f2ud-00024b-00@holborn.icparc.ic.ac.uk> 
Version 5.1.1, Thu Feb 22 01:08 2001
[eclipse 1]: make_suspension(X,Y,Z,eclipse).
type error in make_suspension(X, Y, Z, eclipse)
[eclipse 2]: set_flag(variable_names,off).

yes.
[eclipse 3]: make_suspension(X,Y,Z,eclipse).
instantiation fault in make_suspension(_144, _145, _146, eclipse)
[eclipse 4]: 

(Bips page does not list 4 (instantiation fault) as a possible error. So
the behaviour with variable_names on is the one specified by the
documentation).
Received on Mon Mar 19 16:53:43 2001

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