rgrinberg has quit [Read error: Connection reset by peer]
favonia has quit [Ping timeout: 250 seconds]
hornhack has quit [Remote host closed the connection]
hornhack has joined #ocaml
favonia has joined #ocaml
<d_bot>
<EduardoRFS> companion_cube: you here was in the sense of the OCaml team can change (==), native and bytecode disagree on it and there is also the proposed PR to optimize and reuse blocks so it will change also with this optimization
hackinghorn has joined #ocaml
hornhack has quit [Ping timeout: 240 seconds]
elf_fortrez has joined #ocaml
mbuf has joined #ocaml
gravicappa has joined #ocaml
elf_fortrez has quit [Quit: Client closed]
favonia has quit [Ping timeout: 250 seconds]
bartholin has joined #ocaml
Haudegen has joined #ocaml
elf_fortrezz has joined #ocaml
elf_fortrezz has quit [Quit: Client closed]
olle has joined #ocaml
bartholin has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
hendursa1 has joined #ocaml
hendursaga has quit [Ping timeout: 244 seconds]
bartholin has joined #ocaml
glassofethanol has joined #ocaml
Cypi_ is now known as Cypi
elf_fortrez has joined #ocaml
dreadedfrog87 has joined #ocaml
elf_fortrez has quit [Client Quit]
elf_fortrez has joined #ocaml
average has joined #ocaml
dreadedfrog87 has quit [Client Quit]
Serpent7776 has quit [Quit: leaving]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
vsiles_ has quit [Ping timeout: 252 seconds]
engil1 has quit [Ping timeout: 252 seconds]
vsiles has joined #ocaml
mro has quit [Remote host closed the connection]
engil1 has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
elf_fortrez has quit [Ping timeout: 246 seconds]
mro has joined #ocaml
mro has quit [Read error: Connection reset by peer]
mro_ has joined #ocaml
mro_ has quit [Remote host closed the connection]
<companion_cube>
It's indeed underspecified
<companion_cube>
But there are cases where you can use it
neiluj has joined #ocaml
<d_bot>
<dinosaure> `lwt` needs it for the double linked list impl.
<octachron>
For instance, the typechecker heavily uses physical equality for comparing type nodes.
hornhack has joined #ocaml
jonasbits has quit [Ping timeout: 240 seconds]
<neiluj>
Hi! Got a problem about the design of an application. Suppose there's a module with an internal state t, and you want to parametrize its configuration config by a function which takes the internal state of the module as an argument. However t has a field config introducing a dependency cycle
<neiluj>
oh maybe a mutually recursive type definition (and) could help?
hackinghorn has quit [Ping timeout: 248 seconds]
<neiluj>
doesn't look clean, as it means that you must expose the state t to code the function from the config from outside the module
<neiluj>
ah no a mutually recursive definition wouldn't help, as you need a config to define a instance of t, and you need a t to define a config...
<neiluj>
basically the idea is that you want to "inject" code in the module, that interacts with its internal state
jonasbits has joined #ocaml
<d_bot>
<roddy> Do you need the config function to take the whole t including the config (i.e. should the function be able to modify the config)? If not, you could just split t into some type t' used by the config function and the config field
<neiluj>
the function in the config doesn't need the config field from t indeed, thanks, good idea!
<neiluj>
argh in fact no, it needs the config
hackinghorn has joined #ocaml
hornhack has quit [Ping timeout: 250 seconds]
waleee has joined #ocaml
<neiluj>
nevermind, found a way using some accessors
mettekou has joined #ocaml
mettekou has quit [Quit: Konversation terminated!]
favonia has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
greenbagels has quit [Ping timeout: 248 seconds]
greenbagels has joined #ocaml
mro has joined #ocaml
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #ocaml
mro has quit [Remote host closed the connection]
Techcable has quit [*.net *.split]
drewolson1 has quit [*.net *.split]
kvik has quit [*.net *.split]
Enjolras_ has quit [*.net *.split]
rks` has quit [*.net *.split]
tristanC has quit [*.net *.split]
arg_ has quit [*.net *.split]
thvnx has quit [*.net *.split]
Corbin has quit [*.net *.split]
Chouhartem has quit [*.net *.split]
conjunctive has quit [*.net *.split]
cross has quit [*.net *.split]
cbarrett has quit [*.net *.split]
energizer has quit [*.net *.split]
companion_cube has quit [*.net *.split]
dinosaure has quit [*.net *.split]
gahr has quit [*.net *.split]
mosterdt has quit [*.net *.split]
drewolson1 has joined #ocaml
conjunctive has joined #ocaml
Techcable has joined #ocaml
Enjolras_ has joined #ocaml
Corbin has joined #ocaml
Chouhartem has joined #ocaml
dinosaure has joined #ocaml
thvnx has joined #ocaml
cross has joined #ocaml
arg_ has joined #ocaml
rks` has joined #ocaml
kvik has joined #ocaml
tristanC has joined #ocaml
companion_cube has joined #ocaml
mosterdt has joined #ocaml
cbarrett has joined #ocaml
energizer has joined #ocaml
gahr has joined #ocaml
mro has joined #ocaml
Haudegen has joined #ocaml
Tuplanolla has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
neiluj has quit [Quit: Leaving]
mro has quit [Read error: Connection reset by peer]
mro has joined #ocaml
zebrag has joined #ocaml
hornhack has joined #ocaml
glassofethanol has quit [Quit: leaving]
hackinghorn has quit [Ping timeout: 240 seconds]
cedric has joined #ocaml
hackinghorn has joined #ocaml
hornhack has quit [Read error: Connection reset by peer]
mro has quit [Quit: Leaving...]
cbarrett has quit []
cbarrett has joined #ocaml
hendursaga has quit [Remote host closed the connection]
hendursaga has joined #ocaml
farn has quit [Ping timeout: 240 seconds]
<d_bot>
<cemerick> I added a `location.ml` file to a project, and now get this when building with dune:
<d_bot>
<cemerick> ```
<d_bot>
<cemerick> Error: Files src/main.cmxa
<d_bot>
<cemerick> and /home/chas/.opam/4.08/lib/ocaml/compiler-libs/ocamlcommon.cmxa
<d_bot>
<cemerick> make inconsistent assumptions over interface Location
farn has joined #ocaml
<d_bot>
<cemerick> ```
<d_bot>
<cemerick> I assume I must be doing something wrong in my dune config, as I have no dependency on compiler-libs
<d_bot>
<octachron> Have you checked transitive dependencies?
pierrechc has joined #ocaml
<cemerick>
octachron: it's in my opam file as required by ppxlib....but (surely?) ppx and other build tooling dependencies aren't transitively in scope for library/application code?
* cemerick
eyes this `(wrapped false)` suspiciously
<octachron>
The ppx dependency should be separated indeed ... if you didn't add it by accident.
<octachron>
Typically, you should'nt have any ppx dependencies in your dune file.
gravicappa has joined #ocaml
<cemerick>
octachron: dropping the `(wrapped false)` declaration avoids the Location interface error. The only reference I have to ppx's in my `libraries` dependency list is ppx_deriving_yojson.runtime, which is the right thing to do AFAICT
zebrag has quit [Quit: Konversation terminated!]
Haudegen has quit [Quit: Bin weg.]
romildo has joined #ocaml
romildo has quit [Remote host closed the connection]
<octachron>
You shouldn't need to add ppx_deriving_yojson.runtime to your dependencies, the ppx stanza handles the runtime dependencies by itself.
mbuf has quit [Quit: Leaving]
jonasbits has quit [Ping timeout: 240 seconds]
zebrag has joined #ocaml
jonasbits has joined #ocaml
pierrechc has quit [Ping timeout: 240 seconds]
olle has quit [Ping timeout: 248 seconds]
Haudegen has joined #ocaml
Guest42 has joined #ocaml
PinealGlandOptic has joined #ocaml
Serpent7776 has joined #ocaml
smarton has joined #ocaml
Guest42 has quit [Ping timeout: 246 seconds]
smarton has quit [Read error: Connection reset by peer]
smarton has joined #ocaml
smarton has quit [Read error: Connection reset by peer]