diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-08 22:43:54 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-08 22:43:54 +0100 |
| commit | bd04128b033c8a623cceca31de072053837ad888 (patch) | |
| tree | e8bcc0c4d1057e160d097439899b7736f683beb6 /sched/netlist_printer.ml | |
| parent | 7a651609a8f40e8040cffa92f9965df02b0f52cd (diff) | |
| download | SystDigit-Projet-bd04128b033c8a623cceca31de072053837ad888.tar.gz SystDigit-Projet-bd04128b033c8a623cceca31de072053837ad888.zip | |
More optimizations.
Diffstat (limited to 'sched/netlist_printer.ml')
| -rw-r--r-- | sched/netlist_printer.ml | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/sched/netlist_printer.ml b/sched/netlist_printer.ml index 547a0be..2c80d70 100644 --- a/sched/netlist_printer.ml +++ b/sched/netlist_printer.ml @@ -19,9 +19,8 @@ let rec print_list print lp sep rp ff = function List.iter (fprintf ff "%s %a" sep print) l; fprintf ff "%s" rp -let print_ty ff ty = match ty with - | TBit -> () - | TBitArray n -> fprintf ff " : %d" n +let print_ty ff n = + fprintf ff " : %d" n let print_bool ff b = if b then @@ -29,9 +28,8 @@ let print_bool ff b = else fprintf ff "0" -let print_value ff v = match v with - | VBit b -> print_bool ff b - | VBitArray a -> Array.iter (print_bool ff) a +let print_value ff a = + Array.iter (print_bool ff) a let print_arg ff arg = match arg with | Aconst v -> print_value ff v |