Commit 16603fd7 authored by Andrei Paskevich's avatar Andrei Paskevich Committed by François Bobot
Browse files

white-space fiddling

parent 45c7176f
......@@ -58,11 +58,9 @@ let cm_find cm th = Mid.find_default th.th_name empty_tds cm
let mm_find mm t = Mmeta.find_default t empty_tds mm
let cm_add cm th td = (* Mid.add th.th_name (tds_add td (cm_find cm th)) cm *)
Mid.change th.th_name
(function
| None -> Some (tds_singleton td)
| Some tds -> Some (tds_add td tds)) cm
let cm_add cm th td = Mid.change th.th_name (function
| None -> Some (tds_singleton td)
| Some tds -> Some (tds_add td tds)) cm
let mm_add mm t td = if t.meta_excl
then Mmeta.add t (tds_singleton td) mm
......
......@@ -1573,13 +1573,10 @@ let rec t_match s t1 t2 =
match t1.t_node, t2.t_node with
| Tconst c1, Tconst c2 when c1 = c2 -> s
| Tvar v1, _ ->
Mvs.change v1 (function
| None -> Some t2
| Some tv1 when t_equal tv1 t2 -> Some tv1
| _ -> raise NoMatch) s
(* begin try *)
(* if t_equal (Mvs.find v1 s) t2 then s else raise NoMatch *)
(* with Not_found -> Mvs.add v1 t2 s end *)
Mvs.change v1 (function
| None -> Some t2
| Some t1 as r when t_equal t1 t2 -> r
| _ -> raise NoMatch) s
| Tapp (s1,l1), Tapp (s2,l2) when ls_equal s1 s2 ->
List.fold_left2 t_match s l1 l2
| Tif (f1,t1,e1), Tif (f2,t2,e2) ->
......
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