amiloradovsky has quit [Ping timeout: 268 seconds]
ziyourenxiang_ has joined #ocaml
vicfred has joined #ocaml
kvda has joined #ocaml
FreeBirdLjj has joined #ocaml
AtumT has quit [Quit: AtumT]
ihavelotsoffries has joined #ocaml
ihavelotsoffries has quit [Changing host]
ihavelotsoffries has joined #ocaml
ihavelotsoffries has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
ihavelotsoffries has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 244 seconds]
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
jtoman has joined #ocaml
jtoman85 has joined #ocaml
jtoman has quit [Ping timeout: 260 seconds]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
<xvilka>
Hi! If I want to ignore all deps of some package, don't do anything, just remove the package, what should I add to the "opam remove"?
<xvilka>
just dumb removal, no solving or anything
<xvilka>
need to repair the state without touching the rest of the packages
jtoman85 has quit [Remote host closed the connection]
gravicappa has joined #ocaml
hio has joined #ocaml
<xvilka>
by the way, it seems that standard Sys.readdir leaks file descriptors
zolk3ri has joined #ocaml
<xvilka>
no, nvm, sources seem ok
<xvilka>
strange
<xvilka>
I should make a pool of file operations it seems, sigh
narimiran has joined #ocaml
keep_learning_M has joined #ocaml
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
<xvilka>
dmbaturin: since you mentioned the Army against Camlp4... Do you want to help the projects, like me, to get rid of ulex? I am working with FStar (F*) and piqi library now, so you can help with the rest of the list: https://discuss.ocaml.org/t/camlp5-and-ocaml-4.08/3985/5
JimmyRcom has joined #ocaml
zolk3ri_ has joined #ocaml
zolk3ri_ has quit [Remote host closed the connection]
keep_learning_M has quit [Quit: Leaving]
zolk3ri has quit [Remote host closed the connection]
wagle has quit [Quit: No Ping reply in 180 seconds.]
wagle has joined #ocaml
<dmbaturin>
xvilka: I've been lucky to not need it so far: what are the problems with ulex and what's a better replacement?
luna_is_here has joined #ocaml
webshinra has quit [Remote host closed the connection]
Netsu has quit [Remote host closed the connection]
<freyr69>
sedlex?
<freyr69>
ulex is based on camlp4
<freyr69>
which is a problem
<dmbaturin>
Ah, I see.
wagle has quit [Ping timeout: 248 seconds]
wagle has joined #ocaml
wagle has quit [Read error: Connection reset by peer]
wagle_ has joined #ocaml
<freyr69>
Why Seq was introduced, and what's the problem with Lazy Streams?
<freyr69>
Why to use closures instead of lazy?
<Drup>
which "Lazy Stream" are you talking about ?
<Drup>
If you mean the "Stream" module ... that was not a lazy list, and it was horrible for many many reasons
<freyr69>
Yeah, I thought Streams were just lazy conses
<freyr69>
It seems they're a bit more complex than that
kvda has joined #ocaml
<Drup>
a bit :3
ygrek has joined #ocaml
<xvilka>
Switching to "logs" library from the custom stuff, added "(libraries ... logs ...)" in dune file, but get an error: Error: No implementations provided for the following modules: Logs_lwt referenced from
<xvilka>
any ideas?
<Fardale>
xvilka: you need to add also logs.lwt
<xvilka>
Fardale: ah, thanks!
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
AtumT has joined #ocaml
spew has joined #ocaml
amiloradovsky has joined #ocaml
Vikfret has joined #ocaml
wagle_ is now known as wagle
sz0 has joined #ocaml
narimiran has quit [Ping timeout: 246 seconds]
readyready15728 has joined #ocaml
AtumT_ has joined #ocaml
AtumT has quit [Ping timeout: 258 seconds]
freyr69 has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Serpent7776 has joined #ocaml
rpcope has quit [Ping timeout: 258 seconds]
keep_learning has quit [Quit: Ping timeout (120 seconds)]
rpcope has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
JimmyRcom has joined #ocaml
ggole has quit [Quit: Leaving]
amiloradovsky has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
JimmyRcom has quit [Ping timeout: 248 seconds]
amiloradovsky has joined #ocaml
luna_is_here has quit [Quit: Verlassend]
JimmyRcom has joined #ocaml
vicfred has joined #ocaml
ziyourenxiang_ has quit [Ping timeout: 272 seconds]
jnavila has joined #ocaml
JimmyRcom has quit [Ping timeout: 244 seconds]
JimmyRcom has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
narimiran has joined #ocaml
tobiasBo1 has quit [Ping timeout: 245 seconds]
octarin has quit [Ping timeout: 248 seconds]
gravicappa has quit [Ping timeout: 268 seconds]
AtumT has joined #ocaml
AtumT_ has quit [Ping timeout: 258 seconds]
vicfred has quit [Ping timeout: 245 seconds]
Vikfret has quit [Ping timeout: 268 seconds]
zolk3ri has quit [Remote host closed the connection]
jnavila has joined #ocaml
vicfred has joined #ocaml
narimiran has quit [Ping timeout: 272 seconds]
Serpent7776 has quit [Quit: leaving]
octarin has joined #ocaml
tobiasBo1 has joined #ocaml
theblatte has quit [Ping timeout: 248 seconds]
theblatte has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
Vikfret has joined #ocaml
nullifidian has quit [Ping timeout: 268 seconds]
Haudegen has quit [Ping timeout: 258 seconds]
spew has quit [Quit: Connection closed for inactivity]