trace elaborator

.github/workflows/main.yml

@@ -20,7 +20,7 @@ jobs:
           - 4.13.1
           - 4.11.2
           - 4.09.1
-          - 4.07.1
+          - 4.08.1
         profile:
           - dev
         parser:

Makefile

@@ -28,6 +28,7 @@ PWD=$(shell pwd)
 RUNNERS=\
   dune \
   $(PWD)/$(INSTALL)/bin/elpi \
+  $(PWD)/$(INSTALL)/bin/elpi-trace-elaborator \
   $(addprefix $(PWD)/,$(wildcard _build/git/*/$(INSTALL)/bin/elpi.git.*)) \
   $(shell if type tjsim >/dev/null 2>&1; then type -P tjsim; else echo; fi)
 TIME=--time $(shell if type -P gtime >/dev/null 2>&1; then type -P gtime; else echo /usr/bin/time; fi)

dune

@@ -6,6 +6,27 @@
   (package elpi)
 )
 
+(executable
+  (name elpi_trace_elaborator)
+  (public_name elpi-trace-elaborator)
+  (libraries yojson atdgen re)
+  (modules elpi_trace_elaborator trace_atd)
+  (package elpi)
+)
+
+(rule
+  (targets trace_atd.ml trace_atd.mli)
+  (action (run atdgen -o trace_atd -j-std %{dep:trace.atd})))
+
+(rule
+  (targets trace_atd.ts)
+  (mode promote)
+  (action (copy %{dep:trace.ts} trace_atd.ts)))
+
+(rule
+  (targets trace.ts)
+  (action (run atdts %{dep:trace.atd})))
+
 (env
   (dev
     (flags (:standard -w -9 -w -32 -w -27 -w -6 -w -37 -warn-error -A)))

elpi.opam

@@ -25,6 +25,8 @@ depends: [
   "cmdliner" {with-test}
   "dune" {>= "2.8.0"}
   "conf-time" {with-test}
+  "atdgen" {>= "2.5.0"}
+  "atdts" {>= "2.5.0"}
 ]
 depopts: [
   "elpi-option-legacy-parser"