X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=exercises%2Fch01%2Ftree_balanced_red_black.ml;h=b339b522abbdacd9dd3135e54ee1899cb1b84879;hp=403616257a86302a965fbc1e5fb63302887ad2ac;hb=958f72687df932030c5dfafc7066889982497729;hpb=88cc262a0a05de03560b35950b763f41717b79b1 diff --git a/exercises/ch01/tree_balanced_red_black.ml b/exercises/ch01/tree_balanced_red_black.ml index 4036162..b339b52 100644 --- a/exercises/ch01/tree_balanced_red_black.ml +++ b/exercises/ch01/tree_balanced_red_black.ml @@ -14,8 +14,7 @@ let set t ~k ~v = (* LR *) | Node (B, x, Node (R, lx, ll , Node (R, lrx, lrl, lrr)), r ) -> Node (R, lrx, Node (B, lx , ll , lrl), Node (B, x , lrr, r )) (* RL *) | Node (B, x, l , Node (R, rx, Node (R, rlx, rll, rlr), rr )) -> Node (R, rlx, Node (B, x , l , rll), Node (B, rx , rlr, rr )) (* RR *) | Node (B, x, l , Node (R, rx, rl , Node (R, rrx, rrl, rrr))) -> Node (R, rx , Node (B, x , l , rl ), Node (B, rrx, rrl, rrr)) - (* not exhaustive - reconsider *) - | node -> node + | node -> node (* Fragile pattern. Shall we reconsider? *) in let rec set t k v = match t with