Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.1.1 released: https://ocaml.org/releases/5.1.1 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
rgrinberg has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
gdd has quit [Quit: WeeChat 4.1.1]
alexherbo2 has quit [Ping timeout: 250 seconds]
chrisz has quit [Ping timeout: 252 seconds]
chrisz has joined #ocaml
<dh`> is it possible to get the "(these modules) make inconsistent assumptions over (this module)" error from a clean non-parallel build?
<dh`> (and if so, how?)
<dh`> (I am getting this intermittently and non-reproducibly from CI runs that should not be able to have such failures)
<dh`> for the record: if building a .ml file in a build dir, it is not sufficient to just output the corresponding .cmi file into the build dir. You need to copy the .mli file as well.
<dh`> Otherwise it's ignored.
<dh`> (silently ignored, of course)
<dh`> opinions on whether this is a bug?
trev has joined #ocaml
average has joined #ocaml
waleee has quit [Ping timeout: 268 seconds]
pi3ce has joined #ocaml
pi3ce has quit [Client Quit]
pi3ce has joined #ocaml
pi3ce has quit [Client Quit]
pi3ce has joined #ocaml
aloisiwakura has quit [Ping timeout: 252 seconds]
ehrt74 has joined #ocaml
ehrt74 has quit [Ping timeout: 260 seconds]
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
opus has joined #ocaml
pi3ce has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pi3ce has quit [Ping timeout: 240 seconds]
olle has joined #ocaml
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
<discocaml> <Et7f3 (@me on reply)> Are you using dune ? Or custom build script?
<discocaml> <froyo> deepspacejohn, kali: begin..end is interchangeable with (..) except when it isn't https://sketch.sh/s/OHj8JiOa4Oh8Zcjbbua7H7/
Serpent7776 has quit [Ping timeout: 255 seconds]
<dh`> me? custom
<discocaml> <froyo> actuall here's a newer one https://sketch.sh/s/l5GJdV6oRRhCClZLn4AHnC/
olle has left #ocaml [#ocaml]
bartholin has quit [Quit: Leaving]
Tuplanolla has joined #ocaml
szkl has joined #ocaml
dnh has joined #ocaml
ehrt74 has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
alexherbo2 has joined #ocaml
<octachron> dh`, like I stated previously, if you have a cmi il a different dirctory, you have to use `-cmi-file ...` when compiling the ml file. Otherwise, the compiler consider that ml and mli file are always bundled together in the same directory.
pi3ce has joined #ocaml
Serpent7776 has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ehrt74 has quit [Ping timeout: 245 seconds]
gdd has joined #ocaml
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
cr1901 has joined #ocaml
dnh has joined #ocaml
pi3ce has joined #ocaml
azimut has quit [Ping timeout: 240 seconds]
ridcully has quit [Quit: WeeChat 4.1.2]
bartholin has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
azimut has joined #ocaml
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
azimut has quit [Ping timeout: 240 seconds]
azimut has joined #ocaml
pi3ce has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
alexherbo2 has joined #ocaml
waleee has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
aljazmc has joined #ocaml
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
pi3ce has joined #ocaml
<dh`> no, you did not say that explicitly, and the cmi file was _not_ in a different directory
<dh`> so it isn't that case
<dh`> situation is: src/foo.mll src/foo.mli build/foo.ml build/foo.cmi, compile foo.ml and it ignores foo.cmi
<dh`> it's easy to see why this would happen; the question is whether it's a bug
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<octachron> That's the expected behavior.
dnh has joined #ocaml
<dh`> so you have to tell it the cmi file is where it expects it to be?
pi3ce has quit [Read error: Connection reset by peer]
<dh`> (it's just kinda surprising)
pi3ce has joined #ocaml
<octachron> If the ml and mli file have been unpaired, one need to point the compiler to the existing cmi file when compiling the ml file.
<octachron> The problem is that the compiler implicit works on compilation units (pair of .ml and .mli files) but try to reconstruct the pair from the state of the filesystem.
<octachron> I agree that this is not a great behaviour.
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
pi3ce has joined #ocaml
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
aljazmc_ has joined #ocaml
average has joined #ocaml
aljazmc has quit [Remote host closed the connection]
szkl has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
ania123 has joined #ocaml
trev has quit [Quit: trev]
ania123 has quit [Quit: Client closed]
alexherbo2 has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
yagkasha has joined #ocaml
aljazmc__ has joined #ocaml
aljazmc_ has quit [Remote host closed the connection]
bartholin has quit [Quit: Leaving]
aljazmc__ has quit [Quit: Leaving]
Serpent7776 has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml