X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_map_red_black.ml;h=30ba479e8b65f9a0bea9caef5a531dc2a32ca79d;hp=b339b522abbdacd9dd3135e54ee1899cb1b84879;hb=be22952d3228b62e546756299a0f9a127ae64921;hpb=2f38b9f1292d971826d540718855f63431029715 diff --git a/compiler/src/lib/tiger/tiger_map_red_black.ml b/compiler/src/lib/tiger/tiger_map_red_black.ml index b339b52..30ba479 100644 --- a/compiler/src/lib/tiger/tiger_map_red_black.ml +++ b/compiler/src/lib/tiger/tiger_map_red_black.ml @@ -99,3 +99,6 @@ let to_dot t ~k_to_string = ) in "digraph G {" ^ dot_edges_and_nodes ^ "}" + +let of_list pairs = + List.fold_left pairs ~init:empty ~f:(fun t (k, v) -> set t ~k ~v)