ome has quit [Quit: Connection closed for inactivity]
keep_learning has quit [K-Lined]
keep_learning has joined #ocaml
mbuf has left #ocaml ["Leaving"]
ome has joined #ocaml
dhil has joined #ocaml
TheLemonMan has joined #ocaml
nicoo has quit [Ping timeout: 255 seconds]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 is now known as Guest14120
infinity0 has joined #ocaml
Guest14120 has quit [Ping timeout: 256 seconds]
<Drup>
doind that kind of analysis on the parsetree seems very wasteful
nicoo has joined #ocaml
<Drup>
(you will need to redo name resolution, interface loading, etc)
<Drup>
Lot's of things already done by the typechecker
jnavila has quit [Ping timeout: 268 seconds]
jnavila has joined #ocaml
VermillionAzure has quit [Ping timeout: 256 seconds]
nullifidian has quit [Ping timeout: 256 seconds]
jnavila has quit [Ping timeout: 248 seconds]
maattdd_ has joined #ocaml
sh0t has joined #ocaml
nullifidian has joined #ocaml
mfp has joined #ocaml
mk9 has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
sh0t has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
kakadu has joined #ocaml
_andre has joined #ocaml
ome has quit [Quit: Connection closed for inactivity]
tarptaeya has joined #ocaml
ziyourenxiang has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
sh0t has joined #ocaml
jnavila has joined #ocaml
malc_ has joined #ocaml
Haudegen has quit [Remote host closed the connection]
mbuf has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
jnavila has quit [Ping timeout: 276 seconds]
_andre has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
shinnya has joined #ocaml
bartholin has quit [Remote host closed the connection]
jnavila has joined #ocaml
johnelse is now known as johnel_away
johnel_away is now known as johnelse
johnelse is now known as johnel_away
johnel_away is now known as johnelse
johnelse has quit [Quit: leaving]
Haudegen has joined #ocaml
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 268 seconds]
mk9_ is now known as mk9
Denommus has joined #ocaml
johnelse has joined #ocaml
nomicflux has joined #ocaml
johnelse is now known as johnel_away
johnel_away is now known as johnelse
johnelse is now known as johnel_away
johnel_away is now known as johnelse
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
dhil has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
xfbs has joined #ocaml
mbuf has quit [Quit: Leaving]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
dakk has joined #ocaml
<companion_cube>
rgrinberg: any reason why dune doens't install .ml files?
<jpdeplaix>
companion_cube: it does in beta18
mk9_ has joined #ocaml
mk9_ has quit [Client Quit]
mk9_ has joined #ocaml
<jpdeplaix>
companion_cube: but really the problem is not there
mk9 has quit [Ping timeout: 256 seconds]
mk9_ is now known as mk9
<jpdeplaix>
companion_cube: oasis does not install .ml files either
xfbs has quit []
<companion_cube>
yeah, so?
<companion_cube>
not sure jump to source ever worked for containers
nomicflux has quit [Quit: nomicflux]
<jpdeplaix>
companion_cube: the problem here is that there is no .mli file either
<jpdeplaix>
I'm not sure why
tarptaeya has quit [Quit: Leaving]
<companion_cube>
hmm, right now with +beta17 I do have the .mli files
<rgrinberg>
Yeah beta18 will make everyone's go to definition situation a lit better
<companion_cube>
and cmt,cmti,cmi, and cmx
<companion_cube>
(by getting rid of cppo we no longer have the missing cmx issue!)
dhil has quit [Ping timeout: 260 seconds]
<jpdeplaix>
rgrinberg, companion_cube: the thing is that some are installed (CCBool.mli, …) but some are not (CCList.mli, …)
<jpdeplaix>
for some reason
<jpdeplaix>
and I have beta17
<companion_cube>
for me it's installed
<companion_cube>
but it comes after CCListLabel.*
<rgrinberg>
Missing entries in the .install file definitely sound like a bug.
<companion_cube>
ah wait, right
<companion_cube>
I don't have CCArray.mli ôO
<companion_cube>
rgrinberg: can you try to install containers? ^^
<rgrinberg>
I can try later. On my smartphone now.
<rgrinberg>
The important thing is to verify the .install file is correct
<rgrinberg>
Jbuilder doesn't actually do any copying itself
<companion_cube>
those people who don't have opam on their smartphone… :shrug:
<companion_cube>
hmm the local .install file seems correct
<thizanne>
let rec f x = x and _ = f true, f 0;; doesn't type, and I guess it's related to the polymorphism thing inside arrow types
<companion_cube>
not sure about the one that was used by opam
<thizanne>
is it a well known problem, and what is the exact reason here ?
<thizanne>
I feel like it's not a type system fundamental issue but more an implementation one, but i'm not sure if it just happens to be so or it has some undecidability related reason
<jpdeplaix>
companion_cube: oh! Right the .mli are ordered after *Labels*
<jpdeplaix>
ok so i was testing against the wrong thing
<jpdeplaix>
merlin locates the modules itself pretty well with just .mli file but don't if you try to locate a value
<jpdeplaix>
def`, rks` is that intended ? ^
<rks`>
"meh"
<companion_cube>
thizanne: generalization happens after the whole `let rec` block, I think
<companion_cube>
f isn't generalized yet and you try to call it on distinct types