+1

dune-project

reviewed

··· 16 16 (allow_empty) 17 17 (depends 18 18 (ocaml (>= 5.4.0)) 19 19 + (ppx_expect :with-test) 19 20 (mdx :with-test) 20 21 (utop :with-dev-setup) 21 22 (ocamlformat :with-dev-setup)

+1 -1

lib/pidgin/kind.ml

reviewed

··· 127 127 |> Repr.fields_to_assoc 128 128 |> List.map (fun (k, v) -> k, from_repr v) 129 129 |> record 130 130 - | Repr.List _ -> assert false 130 130 + | Repr.List xs -> List (from_list xs) 131 131 132 132 and from_list xs = 133 133 match

+1

souk.opam

reviewed

··· 11 11 depends: [ 12 12 "dune" {>= "3.21"} 13 13 "ocaml" {>= "5.4.0"} 14 14 + "ppx_expect" {with-test} 14 15 "mdx" {with-test} 15 16 "utop" {with-dev-setup} 16 17 "ocamlformat" {with-dev-setup}

+7

test/pidgin/dune

reviewed

··· 1 1 + (library 2 2 + (name pidgin_test) 3 3 + (inline_tests) 4 4 + (flags (:standard) -open Pidgin) 5 5 + (libraries pidgin) 6 6 + (preprocess 7 7 + (pps ppx_expect)))

+13

test/pidgin/kind_test.ml

reviewed

··· 1 1 + let dump_kind x = x |> Kind.from_repr |> Kind.to_string |> print_endline 2 2 + 3 3 + let%expect_test "kind of null" = 4 4 + let repr = Repr.null () in 5 5 + repr |> dump_kind; 6 6 + [%expect {| null |}] 7 7 + ;; 8 8 + 9 9 + let%expect_test "kind of unit" = 10 10 + let repr = Repr.unit () in 11 11 + repr |> dump_kind; 12 12 + [%expect {| unit |}] 13 13 + ;;