Project

General

Profile

Revision e8f55c25 src/plugins/salsa/machine_salsa_opt.ml

View differences:

src/plugins/salsa/machine_salsa_opt.ml
778 778
      match value.LT.eexpr_qfexpr.LT.expr_desc with 
779 779
      | LT.Expr_tuple [minv; maxv] -> (
780 780
	let get_cst e = match e.LT.expr_desc with 
781
	  | LT.Expr_const (LT.Const_real (c,e,s)) -> 
782
	    (* calculer la valeur c * 10^e *) 
783
	    Num.div_num c (Num.power_num (Num.num_of_int 10) (Num.num_of_int e))
781
	  | LT.Expr_const (LT.Const_real r) -> 
782
	     (* calculer la valeur c * 10^e *)
783
             Real.to_num r 
784 784
	  | _ -> 
785 785
	    Format.eprintf 
786 786
	      "Invalid salsa range: %a. It should be a pair of constant floats and %a is not a float.@." 

Also available in: Unified diff