Num instance,
DisambiguateChoices.lookup_num_by_dsc desc
in
- environment := Environment.add key value !environment;
+ environment := Environment.cons key value !environment;
done;
assert false
with End_of_file ->
let pp_environment env =
let aliases =
Environment.fold
- (fun domain_item (dsc, _) acc ->
- let s =
- match domain_item with
- | Id id ->
- GrafiteAstPp.pp_alias (GrafiteAst.Ident_alias (id, dsc)) ^ "."
- | Symbol (symb, i) ->
- GrafiteAstPp.pp_alias (GrafiteAst.Symbol_alias (symb, i, dsc))
- ^ "."
- | Num i ->
- GrafiteAstPp.pp_alias (GrafiteAst.Number_alias (i, dsc)) ^ "."
- in
- s :: acc)
+ (fun domain_item codomain_items acc ->
+ List.fold_left
+ (fun strings (dsc, _) ->
+ let s =
+ match domain_item with
+ | Id id ->
+ GrafiteAstPp.pp_alias (GrafiteAst.Ident_alias (id, dsc)) ^ "."
+ | Symbol (symb, i) ->
+ GrafiteAstPp.pp_alias (GrafiteAst.Symbol_alias (symb, i, dsc))
+ ^ "."
+ | Num i ->
+ GrafiteAstPp.pp_alias (GrafiteAst.Number_alias (i, dsc)) ^ "."
+ in
+ s :: strings)
+ acc codomain_items)
env []
in
String.concat "\n" (List.sort compare aliases)