diff: documentation for cfloat__get_val

[Fergus Henderson]

clpr/cfloat.m:
	Update the documentation for cfloat_get_val to explain
	its declarative semantics.

Index: cfloat.m
===================================================================
RCS file: /home/staff/zs/imp/clpr/cfloat.m,v
retrieving revision 1.17
diff -u -c -r1.17 cfloat.m
*** cfloat.m	1998/01/16 06:44:53	1.17
--- cfloat.m	1998/02/12 11:57:27
***************
*** 210,219 ****
  
  %-----------------------------------------------------------------------------%
  
! 	% cfloat__get_val(X, Y) is true iff 
  	% Y is the only value which the solver variable X can take,
! 	% given the constraints on X. The predicate will abort at runtime if
! 	% there is no unique value.
  :- pred cfloat__get_val(cfloat, float).
  :- mode cfloat__get_val(ca, out) is det.
  
--- 210,222 ----
  
  %-----------------------------------------------------------------------------%
  
! 	% Declaratively, cfloat__get_val(X, Y) is true iff Y and X have the
! 	% same value.  Operationally, cfloat__get_val(X, Y) succeeds only if
  	% Y is the only value which the solver variable X can take,
! 	% given the constraints on X; if there is no unique value, then
! 	% the predicate will abort at runtime.
! 	% XXX should this be `cc_multi' rather than `det'?
! 
  :- pred cfloat__get_val(cfloat, float).
  :- mode cfloat__get_val(ca, out) is det.
  
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.