diff_term Stdpp.dummy_loc thing' ast) choices
in
raise (Ambiguous_input (find_diffs diffs))
- | Disambiguate.Disamb_failure (l,_) ->
+ | Disambiguate.Disamb_failure l ->
raise (Error (List.map (clusterize (diff_term Stdpp.dummy_loc thing')) l))
| _ -> assert false
;;
diff_obj Stdpp.dummy_loc obj ast) choices
in
raise (Ambiguous_input (find_diffs diffs))
- | Disambiguate.Disamb_failure (l,_) ->
+ | Disambiguate.Disamb_failure l ->
raise (Error (List.map (clusterize (diff_obj Stdpp.dummy_loc obj)) l))
| _ -> assert false
;;