Revision e0f0bc2c
Added by Arnaud Dieumegard over 3 years ago
src/backends/VHDL/mini_vhdl_utils.ml | ||
---|---|---|
77 | 77 |
| hda::tla -> match b with |
78 | 78 |
| [] -> a |
79 | 79 |
| hdb::tlb -> [hdb@hda]@(times tla tlb) |
80 |
|
|
81 |
(* Signals lattice *) |
|
82 |
let build_signals_lattice = object (self) |
|
83 |
inherit [_] mini_vhdl_iter as super |
|
84 |
|
|
85 |
(* method! visit_vhdl_expr_t env e = |
|
86 |
match e with |
|
87 |
| Op ({id=""; args=hd::[]}) -> self#visit_vhdl_expr_t env hd |
|
88 |
| _ -> super#visit_vhdl_expr_t env e*) |
|
89 |
end |
|
90 |
|
|
91 |
|
Also available in: Unified diff
Added polymorphic option for generated visitors