#ocaml on 2022-12-05 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:04 Soni has quit [Ping timeout: 252 seconds]

00:33 John_Ivan has joined #ocaml

00:34 perrierjouet has quit [Quit: WeeChat 3.7.1]

00:35 perrierjouet has joined #ocaml

00:37 waleee has quit [Ping timeout: 256 seconds]

00:59 waleee has joined #ocaml

01:19 mjs22 has quit [Quit: Ping timeout (120 seconds)]

01:35 waleee has quit [Ping timeout: 255 seconds]

02:14 jao has quit [Ping timeout: 260 seconds]

02:41 brettgilio has quit [Quit: The Lounge - https://thelounge.chat]

02:42 brettgilio has joined #ocaml

02:44 xd1le has joined #ocaml

03:15 Soni has joined #ocaml

03:28 waleee has joined #ocaml

03:39 gentauro has quit [Read error: Connection reset by peer]

03:43 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

03:44 gentauro has joined #ocaml

03:45 waleee has quit [Ping timeout: 260 seconds]

03:45 terrorjack has joined #ocaml

04:01 chrisz has quit [Ping timeout: 264 seconds]

04:02 chrisz has joined #ocaml

04:28 mbuf has joined #ocaml

06:25 Haudegen has joined #ocaml

07:19 mro has joined #ocaml

07:28 mro has quit [Remote host closed the connection]

07:29 mro has joined #ocaml

07:38 bgs has quit [Remote host closed the connection]

07:45 bartholin has joined #ocaml

08:00 podge has joined #ocaml

08:16 mro has quit [Remote host closed the connection]

08:18 mro has joined #ocaml

08:18 mjs22 has joined #ocaml

08:23 azimut has quit [Ping timeout: 255 seconds]

08:59 mro has quit [Remote host closed the connection]

08:59 mro has joined #ocaml

09:17 bartholin has quit [Quit: Leaving]

09:43 mjs22 has quit [Remote host closed the connection]

09:50 jlrnick has joined #ocaml

09:51 jlrnick has quit [Killed (NickServ (GHOST command used by jlrnick-))]

09:52 mro has quit [Remote host closed the connection]

09:54 mro has joined #ocaml

09:57 mro has quit [Remote host closed the connection]

09:58 mro has joined #ocaml

09:58 mro has quit [Remote host closed the connection]

10:00 olle has joined #ocaml

10:16 perrierjouet has quit [Quit: WeeChat 3.7.1]

10:18 perrierjouet has joined #ocaml

10:46 spip has joined #ocaml

10:47 wingsorc has quit [Ping timeout: 260 seconds]

10:57 pflanze has joined #ocaml

10:59 <pflanze> Hello. I'm following https://ocaml.org/docs/up-and-running and "dune build" says "The current project defines some public elements, but no opam packages are defined. Please add a <package>.opam file at the project root ...", but there *is* a chj_ocamlbin.opam in the current directory,

10:59 <pflanze> although it is empty.

11:00 <pflanze> I also had an error first that (lang dune 2.9) in "bin/dune-project" was not supported, only up to 2.7, so I changed that to 2.7.

11:00 <pflanze> (I don't understand how "dune build" complains about files that "dune init" created..)

11:36 Haudegen has quit [Quit: Bin weg.]

11:36 <vsiles> mismatch version ? are you in the right opam switch ?

11:37 <vsiles> for the .opam file, I'd use https://dune.readthedocs.io/en/stable/opam.html and `generate_opam_files`

11:37 <pflanze> It's the same env I set up via the tutorial

11:38 <pflanze> I have filled in my opam file now via the example at https://ocaml.org/docs/best-practices, and "opam build" still complains

11:38 <pflanze> Is there a way to have opam tell me what it thinks the project root is?

11:39 <pflanze> I did move the files, if that's relevant: I was in ~/chj-ocamlbin/ when I ran "dune init project chj_ocamlbin",

11:39 <pflanze> and already had a git repo with README, so I did "mv chj_ocamlbin/* ."

11:39 <vsiles> the project root is where the top most `dune-project` or `dune-workspace` file will be

11:40 <pflanze> and have now also renamed ~/chj-ocamlbin to ~/chj_ocamlbin

11:40 <vsiles> maybe create a pastebin with the result of `tree` ?

11:40 <pflanze> ~/chj_ocamlbin$ dune build

11:40 <pflanze> ^ this is what I run

11:40 <pflanze> (and from where)

11:40 <pflanze> tree?

11:41 <vsiles> it's a nice little program that displays your filesystem layout in a terminal :)

11:41 jao has joined #ocaml

11:41 <pflanze> k, installing it

11:42 <vsiles> (apt install or whatever your distro is)

11:43 <pflanze> yes; which paste site is preferred here?

11:43 <vsiles> dunno. I use pastebin

11:44 <pflanze> https://pastebin.mozilla.org/vQ24oJgP

11:44 <pflanze> the page has messed up graphical characters

11:45 <pflanze> I hope you still see the relevant info

11:45 <vsiles> yes ;)

11:46 <vsiles> the odd things I see is the content of bin: why do you have dune-projects in there ?

11:46 <pflanze> dune init created it, I think

11:46 <pflanze> Maybe I should just start over

11:46 <vsiles> I would, since it's quite small

11:46 <vsiles> easiest setup is a dune-project at the root, dune files in other directories

11:47 <vsiles> a .opam at the root too if necessary

11:48 <pflanze> First odd thing is that "~$ dune init project chj_ocamlbin" also creates a ~/_build/log

11:48 <pflanze> Now it works.

11:49 nd__ has quit [Ping timeout: 260 seconds]

11:49 <vsiles> _build/log is fine

11:49 <pflanze> Too much magic?

11:49 <vsiles> I think most dune command will create it

11:49 <pflanze> It built stuff even though chj_ocamlbin.opam is still empty. I'm slightly amazed.

11:50 <pflanze> Diffing to see what changed, really

11:50 <vsiles> I never needed a .opam file

11:50 <vsiles> I would say some of your library might had a `public_name`

11:50 <vsiles> without `public_name`, dune doesn't care about opam

11:53 <pflanze> Am I supposed to track .merlin files in Git?

11:53 <pflanze> What about dune-project?

11:53 <vsiles> recent dune no longer use .merlin files

11:53 <vsiles> merlin directly connects to dune, no more intermediate file. You shouldn't even see one

11:53 <vsiles> dune-project should be versioned, yes

11:54 <pflanze> OK

11:54 <pflanze> Using dune and ocaml from Debian stable.

11:54 <vsiles> you can run `dune build @check` to only generating stuff for merlin

11:55 <vsiles> what version is that ? I don't have a debian stable for years

11:55 <pflanze> What I don't understand is that according to Git, my directory now was identical to before.

11:56 <vsiles> ¯\_(ツ)_/¯

11:56 <pflanze> Aha, when I ran "dune build" the first time, I hadn't renamed ~/chj-ocamlbin to ~/chj_ocamlbin yet. And then I changed the version number.

11:56 <pflanze> Too much magic.

11:57 <vsiles> Not that much. The doc is quite extensive (but sometimes badly written :p)

11:57 <vsiles> (won't complain, I'm bad at writing doc too)

11:58 <pflanze> Either it stored meta-information somewhere else (non-transparent state), or it did accessed "../chj_ocamlbin" and couldn't find it and didn't report that precisely.

12:26 nd__ has joined #ocaml

12:48 Haudegen has joined #ocaml

12:52 TakinOver has quit [Ping timeout: 252 seconds]

13:21 TakinOver has joined #ocaml

13:43 rgrinberg has joined #ocaml

13:43 troydm has quit [Ping timeout: 260 seconds]

14:05 bgs has joined #ocaml

14:15 trev has joined #ocaml

14:16 alexherbo2 has joined #ocaml

14:24 <pflanze> Thanks for your help, vsiles!

14:57 sparogy has quit [Remote host closed the connection]

14:59 sparogy has joined #ocaml

14:59 sparogy has quit [Remote host closed the connection]

15:00 wonko has joined #ocaml

15:06 sparogy has joined #ocaml

15:16 wonko has quit [Read error: Connection reset by peer]

15:27 <vsiles> pflanze: you're welcome ;)

15:49 mro has joined #ocaml

16:04 azimut has joined #ocaml

16:04 mro has quit [Remote host closed the connection]

16:09 nd__ has quit [Ping timeout: 252 seconds]

16:16 Serpent7776 has joined #ocaml

16:19 waleee has joined #ocaml

16:22 alexherbo2 has quit [Remote host closed the connection]

16:26 waleee has quit [Quit: WeeChat 3.7.1]

16:33 nd__ has joined #ocaml

16:37 olle has quit [Remote host closed the connection]

16:38 nd__ has quit [Ping timeout: 252 seconds]

16:41 nd__ has joined #ocaml

16:44 Haudegen has quit [Quit: Bin weg.]

16:45 troydm has joined #ocaml

16:53 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:53 mro has joined #ocaml

17:03 mro has quit [Remote host closed the connection]

17:03 mro has joined #ocaml

17:04 mro has quit [Remote host closed the connection]

17:05 mro has joined #ocaml

17:06 rgrinberg has joined #ocaml

17:22 mbuf has quit [Quit: Leaving]

17:26 mro has quit [Remote host closed the connection]

17:34 podge has quit [Ping timeout: 256 seconds]

17:38 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:40 Tuplanolla has joined #ocaml

17:43 bartholin has joined #ocaml

18:01 rgrinberg has joined #ocaml

18:06 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:10 calvnce has joined #ocaml

18:10 mro has joined #ocaml

18:11 nikitalocalhost has joined #ocaml

18:13 nlocalhost has quit [Ping timeout: 248 seconds]

18:15 Haudegen has joined #ocaml

18:21 podge has joined #ocaml

18:31 olle has joined #ocaml

18:34 podge has quit [Ping timeout: 268 seconds]

18:36 xd1le has quit [Quit: xd1le]

18:44 mro has quit [Remote host closed the connection]

18:59 rgrinberg has joined #ocaml

19:00 mro has joined #ocaml

19:03 podge has joined #ocaml

19:35 rgrinberg has quit [Read error: Connection reset by peer]

19:39 waleee has joined #ocaml

19:42 trev has quit [Remote host closed the connection]

19:45 origintopleft has left #ocaml [Leaving]

19:49 bgs has quit [Remote host closed the connection]

19:51 mro has quit [Remote host closed the connection]

20:00 mro has joined #ocaml

20:07 Anarchos has joined #ocaml

20:14 Anarchos has quit [Quit: Vision[]: i've been blurred!]

20:16 Anarchos has joined #ocaml

20:30 rgrinberg has joined #ocaml

20:33 mro has quit [Ping timeout: 252 seconds]

20:38 Stumpfenstiel has joined #ocaml

20:43 mro has joined #ocaml

20:46 troydm has quit [Ping timeout: 260 seconds]

20:59 waleee has quit [Ping timeout: 252 seconds]

20:59 waleee has joined #ocaml

21:17 mro has quit [Remote host closed the connection]

21:20 mro has joined #ocaml

21:26 bgs has joined #ocaml

21:31 bgs has quit [Remote host closed the connection]

21:36 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:39 rgrinberg has joined #ocaml

21:42 Anarchos has quit [Quit: Vision[]: i've been blurred!]

21:47 wingsorc has joined #ocaml

21:55 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:56 podge has quit [Quit: Konversation terminated!]

22:07 mro has quit [Quit: Leaving...]

22:09 kurfen has quit [Quit: ZNC 1.8.2 - https://znc.in]

22:16 kurfen has joined #ocaml

22:19 rgrinberg has joined #ocaml

22:26 olle has quit [Ping timeout: 268 seconds]

22:36 bartholin has quit [Quit: Leaving]

22:41 calvnce has quit [Ping timeout: 260 seconds]

22:43 calvnce has joined #ocaml

22:44 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:46 calvnce has quit [Client Quit]

22:56 rgrinberg has joined #ocaml

23:01 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

23:07 Haudegen has joined #ocaml

23:09 Tuplanolla has quit [Quit: Leaving.]

23:11 Serpent7776 has quit [Ping timeout: 246 seconds]

23:17 Stumpfenstiel has quit [Ping timeout: 260 seconds]

23:36 spip has quit [Quit: Konversation terminated!]

23:45 Haudegen has quit [Ping timeout: 260 seconds]