Revision cefc3744
Added by Pierre-Loïc Garoche almost 11 years ago
| src/backends/C/c_backend_common.ml | ||
|---|---|---|
| 213 | 213 |
| Fun (n, vl) -> Basic_library.pp_c n (pp_c_val self pp_var) fmt vl |
| 214 | 214 |
|
| 215 | 215 |
let pp_c_checks self fmt m = |
| 216 |
Utils.fprintf_list ~sep:"" (fun fmt (loc, check) -> fprintf fmt "@[<v>%a@,assert (%a);@]@," Location.pp_c_loc loc (pp_c_val self (pp_c_var_read m)) check) fmt m.mstep.step_checks |
|
| 216 |
Utils.fprintf_list ~sep:"" |
|
| 217 |
(fun fmt (loc, check) -> |
|
| 218 |
fprintf fmt |
|
| 219 |
"@[<v>%a@,assert (%a);@]@," |
|
| 220 |
Location.pp_c_loc loc |
|
| 221 |
(pp_c_val self (pp_c_var_read m)) check |
|
| 222 |
) |
|
| 223 |
fmt |
|
| 224 |
m.mstep.step_checks |
|
| 217 | 225 |
|
| 218 | 226 |
|
| 219 | 227 |
(********************************************************************************************) |
Also available in: Unified diff
Specialized the prefix/postfix modifiers through functors arguments
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@281 041b043f-8d7c-46b2-b46e-ef0dd855326e