Merge branch 'master' into propagate

types/patterns.ml

@@ -377,7 +377,7 @@ x=(1,2)
 (*
       | Cap ((_,fv1,d1) as p1,((_,fv2,d2) as p2)) ->
 	(match d1 with
-	  | Capture(_, name) when Str.string_match (Str.regexp "pat[0-9]+:") name 0 ->
+	  | Capture(_, name) when Str.string_match (Str.regexp "pat[0-9]+:") (Encodings.Utf8.get_str name) 0 ->
 	    (match d2 with | Constr _ -> fv2 | _ -> approx_var seen p2 t xs)
 	  | _ -> IdSet.cup
 	    (approx_var seen p1 t (IdSet.cap fv1 xs))