Anchor read_example to the source root #37

New issue

Closed

opened 2026-07-03 00:40:41 +00:00 by toph · 0 comments

toph commented

2026-07-03 00:40:41 +00:00

Owner

tests/test_e2e.ml and the fold_state example test read ../../../examples/ relative to cwd. Under dune runtest that resolves correctly, but running a test binary via dune exec tests/... from an in-repo worktree root silently reads the main checkout's examples — during the def/apply slice this produced the same phantom failure three times (bisect-a.bel: unexpected character, old syntax from the other checkout).

Anchor the path to the source root instead, e.g. via a dune %{workspace_root} env value or DUNE_SOURCEROOT.

Follow-up to #35.

tests/test_e2e.ml and the fold_state example test read `../../../examples/` relative to cwd. Under `dune runtest` that resolves correctly, but running a test binary via `dune exec tests/...` from an in-repo worktree root silently reads the *main checkout's* examples — during the def/apply slice this produced the same phantom failure three times (`bisect-a.bel: unexpected character`, old syntax from the other checkout). Anchor the path to the source root instead, e.g. via a dune `%{workspace_root}` env value or `DUNE_SOURCEROOT`. Follow-up to #35.

toph referenced this issue from a commit

2026-07-03 18:48:02 +00:00

fix(tests): anchor example reads to DUNE_SOURCEROOT (#37)

toph referenced this issue from a pull request that will close it,

2026-07-03 18:48:10 +00:00

fix(tests): anchor example reads to DUNE_SOURCEROOT (#37) #52

toph closed this issue

2026-07-03 18:57:29 +00:00

toph referenced this issue from a commit

2026-07-03 18:57:31 +00:00

fix(tests): anchor example reads to DUNE_SOURCEROOT (#37) (#52)