From abade24943f2f77c058b5ff768093b8babc9a8c3 Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Tue, 11 Aug 2026 11:59:43 +0200 Subject: kernel: Vocab, Celebration and Temporal parametric types Rite specificity is carried by type parameters plus a vocab record of operations rather than by functors: the same guarantee that a rite cannot name another rite's season, without threading module plumbing through every kernel module. Celebration takes only the rank parameter, since it has no season field and OCaml rejects a type variable that appears in no field. --- test/dune | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'test/dune') diff --git a/test/dune b/test/dune index 3d8fa59..34f5888 100644 --- a/test/dune +++ b/test/dune @@ -1,6 +1,8 @@ (test (name test_colitur) - (libraries colitur_kernel alcotest qcheck qcheck-alcotest sexplib)) + (libraries colitur_kernel alcotest qcheck qcheck-alcotest sexplib) + (preprocess + (pps ppx_sexp_conv))) (cram (deps %{bin:colitur})) -- cgit v1.3