rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Soni has joined #ocaml
spip has quit [Ping timeout: 240 seconds]
bobo_ has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
chrisz has quit [Ping timeout: 252 seconds]
chrisz has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
waleee has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
trev has joined #ocaml
mbuf has joined #ocaml
azimut has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
paddymahoney2 has joined #ocaml
paddymahoney2 has quit [Remote host closed the connection]
azimut has quit [Read error: Connection reset by peer]
jpds has quit [Write error: Connection reset by peer]
azimut has joined #ocaml
jpds has joined #ocaml
recherche has joined #ocaml
<recherche>
how would one get the definition site (module) of a type from a cmt file?
<recherche>
the .exp_envs of typedtree values seem to be empty. i found the env var OCAML_BINANNOT_WITHENV, but when set it crashes with Invalid_argument("output_value: functional value")
Serpent7776 has joined #ocaml
<enjolras>
wg 11
ralu11 has joined #ocaml
ralu1 has quit [Read error: Connection reset by peer]
ralu11 is now known as ralu1
jlrnick has joined #ocaml
mima has joined #ocaml
recherche has quit [Quit: Client closed]
olle has joined #ocaml
kakadu has joined #ocaml
trev has quit [Remote host closed the connection]
mima has quit [Ping timeout: 252 seconds]
Haudegen has quit [Quit: Bin weg.]
wingsorc has quit [Remote host closed the connection]
jlrnick has quit [Ping timeout: 252 seconds]
wingsorc has joined #ocaml
wingsorc has quit [Ping timeout: 240 seconds]
Serpent7776 has quit [*.net *.split]
bobo_ has quit [*.net *.split]
mclovin has quit [*.net *.split]
gdd1 has quit [*.net *.split]
farn has quit [*.net *.split]
ansiwen has quit [*.net *.split]
hrberg has quit [*.net *.split]
oisota has quit [*.net *.split]
mg has quit [*.net *.split]
pukkamustard has quit [*.net *.split]
lobo has quit [*.net *.split]
m5zs7k has quit [*.net *.split]
zozozo has quit [*.net *.split]
deadmarshal has quit [*.net *.split]
leah2 has quit [*.net *.split]
Serpent7776 has joined #ocaml
mclovin has joined #ocaml
gdd1 has joined #ocaml
bobo_ has joined #ocaml
oisota has joined #ocaml
zozozo has joined #ocaml
m5zs7k has joined #ocaml
ansiwen has joined #ocaml
leah2 has joined #ocaml
deadmarshal has joined #ocaml
lobo has joined #ocaml
farn has joined #ocaml
mg has joined #ocaml
pukkamustard has joined #ocaml
hrberg has joined #ocaml
m5zs7k has quit [Max SendQ exceeded]
gdd1 has quit [Max SendQ exceeded]
m5zs7k_ has joined #ocaml
gdd1 has joined #ocaml
jpds has quit [Ping timeout: 258 seconds]
recherche has joined #ocaml
jpds has joined #ocaml
m5zs7k_ is now known as m5zs7k
bartholin has joined #ocaml
Haudegen has joined #ocaml
<olle>
Does OCaml infer types between files?
bobo_ has quit [Read error: Connection reset by peer]
bobo_ has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
<vsiles>
what do you mean ?
<noddy>
anyone knows what's the 2022 trick to generate release artefacts with dune?
<noddy>
i.e. i've got some generated stuff, which i don't want to keep in git, but it takes heavy tooling to make, and i don't want it to be generated for each install either
<noddy>
i'd like to include it in the distribution archives instead.
waleee has joined #ocaml
oriba has joined #ocaml
<olle>
vsiles: Yes, what do I mean...
<olle>
you have let tuplify (a : string) = (a, a) in one file
<olle>
And another file tries to use it with int
<olle>
Wait no
<olle>
Gah
<olle>
Brains
<zozozo>
olle: short answer, i'd say no: ocaml compiles each files separately, so you can see and use the types of files that you depend on, but thos types have already been inferred and set in stone (when they were being compiled)
<vsiles>
olle: Take it easy ;) With that specific example, you should get a type error in the other file saying "got int, expected string"
recherche has quit [Quit: Client closed]
<olle>
zozozo: OK, so "global inference" actually means only "file-local inference"?
<olle>
zozozo: And OCaml alwasy tries to find the most general type?
<olle>
But it's mostly only 'a of <specific type>, I guess, unless you're using objects. Hm.
<olle>
'a _or_ *
<zozozo>
olle: yes, some exceptions include polymorphic recursion (where the recursive calls of a rec function do not have the same type) where you might need to provide explicitly the type
<zozozo>
but that mainly happen when you play wit gadts