Test records

c-cube · Dec 13, 2021 · e954113 · e954113
1 parent f7570c9
commit e954113
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/test/ppx_deriving_qcheck/deriver/dune b/test/ppx_deriving_qcheck/deriver/dune
@@ -5,6 +5,7 @@
    test_qualified_names
    test_recursive
    test_tuple
-   test_variants)
+   test_variants
+   test_record)
  (libraries qcheck-alcotest ppxlib ppx_deriving_qcheck qcheck)
  (preprocess (pps ppxlib.metaquot ppx_deriving_qcheck)))
diff --git a/test/ppx_deriving_qcheck/deriver/test_record.ml b/test/ppx_deriving_qcheck/deriver/test_record.ml
@@ -0,0 +1,12 @@
+type t = {
+    rec_types : string list;
+    curr_types : string list;
+    curr_type : string
+  }
+[@@deriving qcheck]
+
+type color = Color of { red : float; green : float; blue : float }
+[@@deriving qcheck]
+
+(* TODO: use these types to test generated values inside records.
+   For now, having these ensure the compilation *)