From bd04128b033c8a623cceca31de072053837ad888 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Fri, 8 Nov 2013 22:43:54 +0100 Subject: More optimizations. --- sched/netlist_ast.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'sched/netlist_ast.ml') 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 -- cgit v1.2.3