From 504df0c0a4e1e7446d9c2e0d39f356074072b3ed Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 15 Sep 2015 18:56:51 +0200
Subject: [PATCH] test for `CCSexpM` using newest qtest

---
 src/sexp/CCSexpM.ml | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/src/sexp/CCSexpM.ml b/src/sexp/CCSexpM.ml
index a2d490f7..d6e8d17d 100644
--- a/src/sexp/CCSexpM.ml
+++ b/src/sexp/CCSexpM.ml
@@ -332,6 +332,38 @@ let parse_string s : t or_error =
   CCError.to_opt (parse_string "(abc ( d e ffff   ) \"hello/world\")") <> None
 *)
 
+(*$inject
+  let sexp_gen =
+    let mkatom a = `Atom a and mklist l = `List l in
+    let atom = Q.Gen.(map mkatom (string_size (int_range 1 30))) in
+    let gen = Q.Gen.(
+      sized (fix
+        (fun self n st -> match n with
+        | 0 -> atom st
+        | _ ->
+          frequency
+            [ 1, atom
+            ; 2, map mklist (list_size (int_bound 10) (self (n/10)))
+            ] st
+        )
+    )) in
+    let rec small = function
+      | `Atom s -> String.length s
+      |  `List l -> List.fold_left (fun n x->n+small x) 0 l
+    and print = function
+      | `Atom s -> Printf.sprintf "`Atom \"%s\"" s
+      | `List l -> "`List " ^ Q.Print.list print l
+    and shrink = function
+      | `Atom s -> Q.Iter.map mkatom (Q.Shrink.string s)
+      | `List l -> Q.Iter.map mklist (Q.Shrink.list ~shrink l)
+    in
+    Q.make ~print ~small ~shrink gen
+*)
+
+(*$Q & ~count:30
+    sexp_gen (fun s -> to_string s |> parse_string = `Ok s)
+*)
+
 let parse_chan ?bufsize ic =
   let d = D.make ?bufsize (input ic) in
   match D.next d with