adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
dtornabene has joined #ocaml
dtornabene_ has joined #ocaml
dtornabene_ has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
dtornabene has quit [Remote host closed the connection]
dtornabene has joined #ocaml
g-dshatter has joined #ocaml
dtornabene has quit [Remote host closed the connection]
g-dshatter has quit [Read error: Connection reset by peer]
jbrown has quit [Ping timeout: 258 seconds]
wham has joined #ocaml
heino has joined #ocaml
heino has left #ocaml ["+++"]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
_whitelogger has joined #ocaml
ziyourenxiang has quit [Ping timeout: 245 seconds]
mfp has quit [Ping timeout: 246 seconds]
ziyourenxiang has joined #ocaml
ziyourenxiang has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
silver has quit [Read error: Connection reset by peer]
loli has quit [Quit: WeeChat 2.3]
kvda has joined #ocaml
ziyourenxiang has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 246 seconds]
gravicappa has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
jao has quit [Ping timeout: 244 seconds]
marvin2 has quit [Ping timeout: 255 seconds]
ocabot has quit [Remote host closed the connection]
companion_cube has quit [Remote host closed the connection]
quarters has quit [Changing host]
quarters has joined #ocaml
quarters has joined #ocaml
ggole has joined #ocaml
_whitelogger has joined #ocaml
zmt00 has quit [Read error: Connection reset by peer]
freyr69 has joined #ocaml
mildtaste has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
JimmyRcom has quit [Ping timeout: 246 seconds]
sagotch has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
<def`> andreypopp: yes, there are two steps to achieve that
<def`> 1) finding external names, e.g. if I am looking for "map" from inside the module List, it is likely (but not obvious, there might be some UX design hiding there) that occurences of "List.map"
bartholin has joined #ocaml
<def`> should be included among the results (the same applies for sub-modules).
<def`> 2) computing (and defining) the set of modules to search into. This concept of "relevant set of modules" is already used by the :ML/:MLI (merlin-switch-to-ml{,i}) commands and broken in merlin files generated by dune
<def`> E.g. if I am asking for occurrences of MySuperLibrary.foo, should I consider occurrences within the library, or within other projects that depends on it?
<def`> There is also some UX work there.
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pierpal has joined #ocaml
demonimin has joined #ocaml
ollehar has joined #ocaml
ollehar_ has joined #ocaml
asymptotically has joined #ocaml
mfp has joined #ocaml
freyr69 has quit [Ping timeout: 245 seconds]
<rks`> andreypopp: my personal opinion would be to not look at occurences (or "references") at the moment, as it is already being looked into as a separate project: https://hub.docker.com/r/reubenrowe/ocaml-rotor
<rks`> which, once it's done and working, we'll probably interact with or integrate directly
<rks`> (def` might have a different opinion though)
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
<aecepoglu[m]> off topic, how is it that I can see dune 1.3.0 on opam.ocaml.org/packages but my local installation of opam can't see it?
dhil has joined #ocaml
jao has joined #ocaml
<zozozo> aecepoglu[m]: have you run 'opam update' ?
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
<aecepoglu[m]> No effect. Do some packages depend on specific versions of opam?
<Leonidas> aecepoglu[m]: what does opam info dune say?
<Leonidas> maybe your opam is set to some outdated opam mirror
<zozozo> kinda: actually, opam recently (~1y ago ?) switched to version 2, and with it came a change of the metadata, so the main opam repository of packages is only up to date for opam >= 2
<Leonidas> ah, true, that also happened :)
<zozozo> it's possible the opam < 2 cannot fetch the new packages that are release into the current opam repo
ggole has quit [Ping timeout: 268 seconds]
JeanMax has joined #ocaml
jao has quit [Ping timeout: 272 seconds]
<aecepoglu[m]> I'll look into opam>=2. Ubuntu 18.04 installs 1.2 by default
marvin2 has joined #ocaml
KeyJoo has joined #ocaml
pierpal has quit [Ping timeout: 255 seconds]
ggole has joined #ocaml
sagotch has quit [Quit: Leaving.]
silver has joined #ocaml
freyr69 has joined #ocaml
JeanMax has quit [Ping timeout: 250 seconds]
kvda has joined #ocaml
Haudegen has joined #ocaml
_whitelogger has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
jbrown has joined #ocaml
sagotch has joined #ocaml
sagotch has quit [Client Quit]
pierpal has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
dhil has joined #ocaml
spew has joined #ocaml
q9929t has joined #ocaml
rwmjones_ has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rwmjones has joined #ocaml
jao has joined #ocaml
reynir has quit [Ping timeout: 272 seconds]
AnAverageHuman has joined #ocaml
ygrek has joined #ocaml
freyr69 has quit [Remote host closed the connection]
freyr69 has joined #ocaml
q9929t1 has joined #ocaml
q9929t has quit [Ping timeout: 245 seconds]
q9929t1 is now known as q9929t
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AnAverageHuman has quit [Ping timeout: 256 seconds]
AnAverageHuman has joined #ocaml
ocabot has joined #ocaml
companion_cube has joined #ocaml
reynir has joined #ocaml
keep_learning has quit [Remote host closed the connection]
q9929t has quit [Quit: q9929t]
<aecepoglu[m]> Yep, it was due to being <2.0
FreeBirdLjj has joined #ocaml
Serpent7776 has joined #ocaml
freyr69 has quit [Remote host closed the connection]
zmt00 has joined #ocaml
<andreypopp> @def` @rks` thanks! ok, I won't look into occurrences yet but this feature is really high on my wish list.
<andreypopp> rotor looks interesting, I wasn't aware of it
AnAverageHuman has quit [Ping timeout: 256 seconds]
ollehar has quit [Ping timeout: 245 seconds]
ollehar_ has quit [Ping timeout: 250 seconds]
asm89- is now known as asm89
jao has quit [Ping timeout: 250 seconds]
wilfredh has joined #ocaml
dhil has quit [Ping timeout: 250 seconds]
ziyourenxiang has quit [Ping timeout: 246 seconds]
AnAverageHuman has joined #ocaml
sagax has quit [Ping timeout: 245 seconds]
companion_cube has quit [Quit: WeeChat 2.3]
ocabot has quit [Remote host closed the connection]
tane has joined #ocaml
ocabot has joined #ocaml
companion_cube has joined #ocaml
companion_cube has quit [Client Quit]
companion_cube has joined #ocaml
Haudegen has quit [Remote host closed the connection]
govg has joined #ocaml
dhil has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
ravenous_ has joined #ocaml
ravenou__ has joined #ocaml
raveno___ has joined #ocaml
ravenous_ has quit [Ping timeout: 250 seconds]
raveno___ has quit [Client Quit]
Haudegen has joined #ocaml
ravenou__ has quit [Ping timeout: 258 seconds]
ravenous_ has joined #ocaml
jao has joined #ocaml
ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
KeyJoo has quit [Ping timeout: 255 seconds]
ravenous_ has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
gravicappa has quit [Ping timeout: 246 seconds]
kakadu_ has joined #ocaml
ggole has quit [Quit: Leaving]
ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has joined #ocaml
dtornabene has joined #ocaml
dtornabene_ has joined #ocaml
dtornabene_ has quit [Client Quit]
ravenous_ has joined #ocaml
ravenous_ has quit [Client Quit]
Denommus has joined #ocaml
dmiles has quit [Ping timeout: 244 seconds]
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 258 seconds]
logicmoo has joined #ocaml
rpcope has quit [Ping timeout: 245 seconds]
sea_wulf has joined #ocaml
rpcope has joined #ocaml
spew has quit [Quit: going home]
Haudegen has quit [Read error: Connection reset by peer]
Serpent7776 has quit [Quit: leaving]
tane has quit [Quit: Leaving]
magicbit has quit [Ping timeout: 246 seconds]
magicbit has joined #ocaml
dtornabene has quit [Remote host closed the connection]
dtornabene has joined #ocaml
dtornabene has quit [Remote host closed the connection]
dtornabene has joined #ocaml
Denommus` has quit [Ping timeout: 258 seconds]
stux|RC-- has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
stux|RC has quit [Read error: Connection reset by peer]
dtornabene_ has joined #ocaml
dtornabene has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
govg has quit [Ping timeout: 272 seconds]
govg has joined #ocaml
asymptotically has quit [Quit: Leaving]
dtornabene_ has quit [Quit: Leaving]
jnavila has quit [Remote host closed the connection]
kvda has joined #ocaml
sea_wulf has quit [Quit: Page closed]
kakadu_ has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
breitenj has quit [Read error: Connection reset by peer]
breitenj has joined #ocaml
zolk3ri has joined #ocaml
AnAverageHuman has joined #ocaml