04:29 <euouae> Hello all

04:30 <euouae> What are the .t directories under example in the dune project? <https://github.com/ocaml/dune/tree/main/example>

04:30 <euouae> (Why are they named like that?)

04:31 <euouae> ah, they're related to cram tests

04:35 <euouae> How do I build or run this example?

04:36 <euouae> The documentation says `dune build @hello_world` for example, ran under dune/ rot

04:36 <euouae> root*. That builds everything including dune, but I can't find the hello_world executable

04:36 <companion_cube> it'll be in _build/default/

04:37 <euouae> Hm... nevermind. I need to figure this out. I don't understand why there's 7000 build targets when I build hello_world

04:37 <companion_cube> do you have dependencies?

04:37 <euouae> It's just the dune project itself. I don't know

04:38 <euouae> Also there's no executable related to hello_world.t under _build

04:38 <companion_cube> ah wait, you're trying to build dune itself

04:39 <euouae> What I want is only to build the examples

04:39 <companion_cube> dune build @examples/build or sth like that?

04:39 <euouae> dune build @hello_world is what I did

04:39 <euouae> According to <https://dune.readthedocs.io/en/stable/tests.html#running-a-single-test>

04:39 <euouae> "To run Cram Tests, you can use the alias that is created for the test. The name of the alias corresponds to the name of the test without the .t extension. For directory tests, this is the name of the directory without the .t extension. Assuming a cram-test.t or cram-test.t/run.t file exists, it can be run with:"

04:39 <companion_cube> at least it explains why you'd build dune itself :D

04:41 <euouae> companion_cube: I'm trying to contribute some examples to Dune, but I need to understand what is going on under example/ first

04:41 <companion_cube> can't help you :)

04:42 <euouae> ~:(

04:42 <euouae> life is hard

04:42 <euouae> It's ok. I thought maybe it's obvious.

04:45 <euouae> Well, I still have more questions. It appears this README explains how to use it: <https://github.com/ocaml/dune/tree/f26279c826c31fe9dc5e782afaf120dd52c90a46/example/hello_world.t>

04:46 <euouae> You `cd example/hello_world.t` then `dune build @install` and `dune runtest`

04:46 <euouae> However, that does nothing on my end, I do not get Hello World to appear

04:46 <euouae> I checked that the main.ml source is supposed to print this message.

04:47 <companion_cube> look at https://github.com/ocaml/dune/blob/f26279c826c31fe9dc5e782afaf120dd52c90a46/example/hello_world.t/run.t

04:47 <companion_cube> `dune exec bin/main.exe`

04:47 <euouae> where is that run? root or under hello_world.t?

04:47 <euouae> under the latter I get an error that ./bin/main.exe is not found

04:48 <companion_cube> in the subdirectory

04:48 <euouae> these commands are not working

04:48 <euouae> I'm wondering if the docs are outdated

04:48 <companion_cube> from hello_world.t, `dune exec ./bin/main.exe` doesn't work?? hu

04:49 <euouae> does it work for you?

04:49 <companion_cube> I don't have a local clone of the repo, so, haven't tried

04:49 <euouae> I'll complain

04:53 <companion_cube> how does it fail?

04:54 <euouae> the instructions on README.md succeed but do nothing, the ones in run.t give me an error that `./bin/main.exe is not found`

04:55 <companion_cube> very weird, looking at the dune files it looks like it'd work

04:56 <euouae> companion_cube: imagine that you want to run a mile but every step makes your legs cramp

04:56 <euouae> that's my experience doing anything with computers

04:57 <companion_cube> heh, yeah

18:10 <remexre> I'm trying to generate closed terms with Crowbar, but Crowbar.fix doesn't seem to make it too easy to pass context "down" (the set of bound variables); anyone have a recipe / trick for this? (or is it something obvious and i'm looking at it wrong?)