Revision b068041a
Added by Pierre-Loïc Garoche about 5 years ago
| src/plugins/salsa/salsaDatatypes.ml | ||
|---|---|---|
| 223 | 223 |
env |
| 224 | 224 |
|
| 225 | 225 |
let rec salsa_expr2value_t vars_env cst_env e = |
| 226 |
let e = Float.evalPartExpr e [] [] in
|
|
| 226 |
(* let e = Float.evalPartExpr e [] [] in *)
|
|
| 227 | 227 |
let salsa_expr2value_t = salsa_expr2value_t vars_env cst_env in |
| 228 | 228 |
let binop op e1 e2 t = |
| 229 | 229 |
let x = salsa_expr2value_t e1 in |
Also available in: Unified diff
Merging unstable into salsa