summaryrefslogtreecommitdiff
path: root/lib/kernel/dune
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 11:15:18 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 11:15:18 +0200
commitd532c3b2cf941d2fe0c3c84f2c4090f14e869ef0 (patch)
treeba8f4bb56157989d5874ede8ae463a36812c0001 /lib/kernel/dune
parent1d6b9a540a50159221e0475bc1c1c2387d417622 (diff)
downloadcolitur-d532c3b2cf941d2fe0c3c84f2c4090f14e869ef0.tar.gz
colitur-d532c3b2cf941d2fe0c3c84f2c4090f14e869ef0.zip
kernel(date): ISO-8601 rendering, validating parse, sexp converters
Adds sexplib and ppx_sexp_conv to the project and wires the ppx into the kernel library. Date's sexp form is an ISO-8601 atom rather than the opaque rata die, so data files stay human-editable and parsing revalidates the 1583..9999 domain.
Diffstat (limited to 'lib/kernel/dune')
-rw-r--r--lib/kernel/dune5
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/kernel/dune b/lib/kernel/dune
index b63c476..b909ac5 100644
--- a/lib/kernel/dune
+++ b/lib/kernel/dune
@@ -1,2 +1,5 @@
(library
- (name colitur_kernel))
+ (name colitur_kernel)
+ (libraries sexplib)
+ (preprocess
+ (pps ppx_sexp_conv)))