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_ast.ml | |
| parent | 7a651609a8f40e8040cffa92f9965df02b0f52cd (diff) | |
| download | SystDigit-Projet-bd04128b033c8a623cceca31de072053837ad888.tar.gz SystDigit-Projet-bd04128b033c8a623cceca31de072053837ad888.zip | |
More optimizations.
Diffstat (limited to 'sched/netlist_ast.ml')
| -rw-r--r-- | sched/netlist_ast.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sched/netlist_ast.ml b/sched/netlist_ast.ml index ae16888..1866ed3 100644 --- a/sched/netlist_ast.ml +++ b/sched/netlist_ast.ml @@ -10,8 +10,8 @@ module Env = struct List.fold_left (fun env (x, ty) -> add x ty env) empty l end -type ty = TBit | TBitArray of int -type value = VBit of bool | VBitArray of bool array +type ty = int (* just one for a bit... *) +type value = bool array type binop = Or | Xor | And | Nand |