Improve test.

Author: paurkedal

test_ppx_regexp.ml

@@ -14,23 +14,57 @@
  * along with this library.  If not, see <http://www.gnu.org/licenses/>.
  *)
 
-let f =
+let test1 =
   (function%pcre
    | {|^(?<k>.*): *(?<v>.+)?$|} -> `Attr (k, v)
    | {|^# (?<comment>.+)$|} -> `Comment comment
+   | {|^((?<last>[@%]){2}){0,2}$|} -> `Even_sigils last
+   | {|^[@%]|} -> `Odd_sigils
    | _ -> `Unknown)
 
 let () =
-  assert (f "x: 1" = `Attr ("x", Some "1"));
-  assert (f "# Kommentar" = `Comment "Kommentar")
+  assert (test1 "x: 1" = `Attr ("x", Some "1"));
+  assert (test1 "# Kommentar" = `Comment "Kommentar");
+  assert (test1 "" = `Even_sigils None);
+  assert (test1 "%%%@" = `Even_sigils (Some "@"));
+  assert (test1 "%%@" = `Odd_sigils)
 
+let last_elt s =
+  let n = String.length s in
+  assert (s.[n - 1] = ';');
+  let i = try String.rindex_from s (n - 2) ';' + 1 with Not_found -> 0 in
+  String.sub s i (n - i - 1)
+
+let rec test2 s =
+  (match%pcre s with
+   | {|^<>$|} -> assert (s = "<>")
+   | {|^<(?<x>[^<>]+)>$|} -> assert (s = "<" ^ x ^ ">")
+   | {|^<(?<x>[^<>]+)><(?<y>[^<>]+)>$|} -> assert (s = "<" ^ x ^ "><" ^ y ^ ">")
+   | {|^((?<elt>[^;<>]);)+$|} -> assert (elt = last_elt s)
+   | {|^[^{}]*\{(?<s'>.*)\}|} -> test2 s'
+   | _ -> assert false)
+
+let () =
+  test2 "<>";
+  test2 "<a>";
+  test2 "<ab>";
+  test2 "<a><b>";
+  test2 "<ab><cde>";
+  test2 "a;";
+  test2 "a;b;c;d;";
+  test2 "<a;b>";
+  test2 "Xx{--{a;b;c;}--}yY."
+
+(* It should work in a functor, and Re_pcre.regxp should be lifted to the
+ * top-level. *)
 module F (M : Map.OrderedType) = struct
   let f x =
     (match%pcre x with
      | {|#(?<space>\s)?(?<comment>.*)|} -> Some (space <> None, comment)
      | _ -> None)
 end
 
+(* It should work as a top-level eval. *)
 let r = ref false
 ;;(match%pcre "" with
    | "$^" -> r := true