diff --git a/color_names.ml b/color_names.ml index 77b1fa69d40cd17b2afcbb981d7dd997fca18683..9641902627c9fc5da6a8b432c5e694197f7a99b0 100644 --- a/color_names.ml +++ b/color_names.ml @@ -107,6 +107,7 @@ let compress = function | Hexcolor "dda0dd" -> Ident "plum" | Ident "powderblue" -> Hexcolor "b0e0e6" | Hexcolor "800080" -> Ident "purple" + | Hexcolor "f00" -> Ident "red" | Ident "rosybrown" -> Hexcolor "bc8f8f" | Ident "royalblue" -> Hexcolor "4169e1" | Ident "saddlebrown" -> Hexcolor "8b4513" diff --git a/simple.ml b/simple.ml index 89cda08985d346da929691cc4124290834cde48f..28904782b65b470a9aef2e3fc33381e7e1d7cb55 100644 --- a/simple.ml +++ b/simple.ml @@ -16,7 +16,7 @@ let rec shorten_expr = function (* #aabbcc -> #abc *) | Hexcolor h when Str.string_match hex6 h 0 -> let gr n = Str.matched_group n h in - Hexcolor (gr 1 ^ gr 2 ^ gr 3) + shorten_expr (Hexcolor (gr 1 ^ gr 2 ^ gr 3)) (* rgb(r,g,b) -> #rrggbb *) | Function ("rgb", Nary (",", [r; g; b]))