Commit 84d34bd5 authored by Andrei Paskevich's avatar Andrei Paskevich

compute VC over a simple intermediate language

parent 2fbef962
......@@ -1514,6 +1514,9 @@ let t_if_simp f1 f2 f3 = match f1.t_node, f2.t_node, f3.t_node with
let small t = match t.t_node with
| Tvar _ | Tconst _ -> true
(* NOTE: shouldn't we allow this?
| Tapp (_,[]) -> true
*)
| _ -> false
let t_let_simp e ((v,b,t) as bt) =
......
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment