(* implement module's API *)
+let only_one_pass = ref false;;
+
let disambiguate_thing ~aliases ~universe
~(f:?fresh_instances:bool ->
aliases:DisambiguateTypes.environment ->
let library = false, DisambiguateTypes.Environment.empty, None in
let multi_aliases = false, DisambiguateTypes.Environment.empty, universe in
let mono_aliases = true, aliases, Some DisambiguateTypes.Environment.empty in
- let passes = (* <fresh_instances?, aliases, coercions?> *)
+ let passes = (* <fresh_instances?, aliases, coercions?> *)
+ if !only_one_pass then
+ [ (false, mono_aliases, false) ]
+ else
[ (false, mono_aliases, false);
(false, multi_aliases, false);
(true, mono_aliases, false);