Revision 59020713
Added by Pierre-Loïc Garoche almost 6 years ago
| src/machine_code_common.ml | ||
|---|---|---|
| 216 | 216 |
|
| 217 | 217 |
let new_instance = |
| 218 | 218 |
let cpt = ref (-1) in |
| 219 |
fun caller callee tag ->
|
|
| 219 |
fun callee tag -> |
|
| 220 | 220 |
begin |
| 221 | 221 |
let o = |
| 222 | 222 |
if Stateless.check_node callee then |
| ... | ... | |
| 225 | 225 |
Printf.sprintf "ni_%d" (incr cpt; !cpt) in |
| 226 | 226 |
let o = |
| 227 | 227 |
if !Options.ansi && is_generic_node callee |
| 228 |
then Printf.sprintf "%s_inst_%d" o (Utils.position (fun e -> e.expr_tag = tag) caller.node_gencalls) |
|
| 228 |
then Printf.sprintf "%s_inst_%d" |
|
| 229 |
o |
|
| 230 |
(incr cpt; !cpt) |
|
| 229 | 231 |
else o in |
| 230 | 232 |
o |
| 231 | 233 |
end |
Also available in: Unified diff
Some progress on EMF bqckend. Refactoring machines code