Revision 9a3c3d8f
Added by Pierre-Loïc Garoche over 7 years ago
| src/plugins/salsa/machine_salsa_opt.ml | ||
|---|---|---|
| 1 |
|
|
| 2 | 1 |
(* We try to avoid opening modules here *) |
| 3 | 2 |
module ST = Salsa.SalsaTypes |
| 4 | 3 |
module SDT = SalsaDatatypes |
| ... | ... | |
| 92 | 91 |
| LT.LocalVar v |
| 93 | 92 |
| LT.StateVar v -> |
| 94 | 93 |
if not (Vars.mem v printed_vars) && |
| 95 |
(* TODO xAvier: comment recuperer le type de l'expression? Parfois e.value_type vaut 'd *) |
|
| 96 | 94 |
(Types.is_real_type e.LT.value_type || Types.is_real_type v.LT.var_type) |
| 97 | 95 |
then |
| 98 | 96 |
opt_num_expr ranges formalEnv e |
Also available in: Unified diff
on joue avec l'affiche des floats