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
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 246 seconds]
ostera2112 has joined #ocaml
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 250 seconds]
ostera2112 has quit [Ping timeout: 245 seconds]
al-damiri has joined #ocaml
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 272 seconds]
kvda has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
pierpal has joined #ocaml
silver has quit [Read error: Connection reset by peer]
pierpal has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 272 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 268 seconds]
rwmjones has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 268 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
tormen_ has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
tormen has quit [Ping timeout: 246 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
mfp has quit [Ping timeout: 250 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 250 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 250 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
marvin2 has quit [Ping timeout: 246 seconds]
iovec has quit [Quit: Connection closed for inactivity]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
themsay has quit [Ping timeout: 246 seconds]
themsay has joined #ocaml
gravicappa has joined #ocaml
themsay has quit [Ping timeout: 250 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
themsay has joined #ocaml
zlsyx has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 244 seconds]
kvda has joined #ocaml
_whitelogger has joined #ocaml
jave has quit [*.net *.split]
igitoor has quit [*.net *.split]
wildsebastian has quit [*.net *.split]
chenglou has quit [*.net *.split]
shw has quit [*.net *.split]
rfv has quit [*.net *.split]
adi_______ has quit [*.net *.split]
rom1504 has quit [*.net *.split]
profan has quit [*.net *.split]
profan has joined #ocaml
igitoor has joined #ocaml
wildsebastian has joined #ocaml
shw has joined #ocaml
adi_______ has joined #ocaml
rom1504 has joined #ocaml
chenglou has joined #ocaml
rfv has joined #ocaml
jave has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
igitoor has quit [Changing host]
igitoor has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
themsay has quit [Ping timeout: 245 seconds]
themsay has joined #ocaml
themsay has quit [Ping timeout: 244 seconds]
themsay has joined #ocaml
zmt00 has quit [Read error: Connection reset by peer]
marvin2 has joined #ocaml
zmt00 has joined #ocaml
carlosdagos has quit [Quit: Connection closed for inactivity]
hph^ has joined #ocaml
ziyourenxiang has joined #ocaml
kakadu has joined #ocaml
olle has joined #ocaml
iovec has joined #ocaml
freyr69 has joined #ocaml
hph^ has quit []
Haudegen has joined #ocaml
asymptotically has joined #ocaml
<freyr69> If Irmin is a git-based storage, does the storage contain both the current and the previous key's values? If so, how to deal with memory management? Does the storage consume more and more memory through the time without any way of freeing it?
themsay has quit [Ping timeout: 246 seconds]
olle has quit [Ping timeout: 244 seconds]
layeredeggplant has joined #ocaml
layeredeggplant has quit [Client Quit]
layeredeggplant has joined #ocaml
layeredeggplant has quit [Client Quit]
layeredeggplant has joined #ocaml
rwmjones has joined #ocaml
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
layeredeggplant has quit [Quit: WeeChat 2.3]
netsu has joined #ocaml
netsu65 has joined #ocaml
marvin2 has quit [Ping timeout: 272 seconds]
mfp has joined #ocaml
zolk3ri has joined #ocaml
Haudegen has quit [Remote host closed the connection]
gravicappa has quit [Ping timeout: 250 seconds]
netsu has quit [Remote host closed the connection]
netsu65 has quit [Remote host closed the connection]
gravicappa has joined #ocaml
iovec has quit [Quit: Connection closed for inactivity]
ggole has joined #ocaml
decentpenguin has joined #ocaml
marvin2 has joined #ocaml
GreyFaceNoSpace has quit [Remote host closed the connection]
GreyFaceNoSpace has joined #ocaml
ollehar has joined #ocaml
notnotdan has joined #ocaml
Ptival has quit [Ping timeout: 268 seconds]
Ptival has joined #ocaml
ostera2112 has joined #ocaml
ostera1974 has joined #ocaml
ostera2112 has quit [Ping timeout: 245 seconds]
zlsyx has joined #ocaml
jaar has joined #ocaml
silver has joined #ocaml
<ollehar> CAAAAAMEL
<ollehar> CAMEEEEEL
<ollehar> Hm.
<ollehar> No bots in this channel?
<notnotdan> :?
freyr69 has quit [Remote host closed the connection]
<adrien> ollehar: what are you after? :)
<ollehar> adrien: Nice ASCII art, as in the #train channel when you yell BRAAAAAINS or TRAAAAAINS.
<ollehar> Or TYYYYYPES, even.
<notnotdan> dont have my ascii art scripts on this machine, sorry
<adrien> ollehar: typically the spammy bots have been frowned upon here :)
<Drup> Γ ⊢ v : τ
<vsiles> Drup++
<Drup> I can appear to your greek fetish :3
<Drup> appeal*
zlsyx has quit [Quit: Leaving...]
<ollehar> ^^
<ollehar> adrien: Are you calling simply typed lambda calculus spam?
<companion_cube> yeah, it's too verbose
<ollehar> huh
<ollehar> oh well
<companion_cube> spam, spam, spam, spam, and λ
<ollehar> wonderful spam, beautiful spaaaaam.
<companion_cube> well otherwise it wouldn't be called "simply typed" :p
freyr69 has joined #ocaml
<freyr69> How to add common flags for all dune libraries within the same project? Should I add them to dune-project or dune-workspace in the root?
ostera1974 has quit [Ping timeout: 244 seconds]
<theblatte> #subscribe ;) I have a Makefile that prepends a dune.common file to all my other dune files...
<companion_cube> there's `:include` too
<vsiles> theblatte: kinky...
<freyr69> It seems the answer is "no"?
<companion_cube> not aware of a way of doing it, anyway
<freyr69> The docs says "The default value for (flags ...) is taken from the environment"
<freyr69> Which variables should I set?
freyr69 has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
ostera1974 has joined #ocaml
ziyourenxiang has quit [Ping timeout: 245 seconds]
zolk3ri has quit [Quit: Lost terminal]
iovec has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
jaar has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
Denommus has joined #ocaml
SgrA has quit [Quit: EliteBNC - http://elitebnc.org (Auto-Removal: idle account/not being used)]
al-damiri has joined #ocaml
Denommus has quit [Remote host closed the connection]
Bronsa has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
Ptival has quit [Ping timeout: 244 seconds]
Ptival has joined #ocaml
Serpent7776 has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
<cemerick> Are there any other options for toplevels aside from utop I should try?
<cemerick> It seems it's common to create "custom toplevels", all just to be able to load and call local and/or library routines, but still without any option for easily reloading them from source.
<cemerick> i.e. despite all of its shortcomings, I'm mostly expecting ghci as a floor for "toplevel"/REPL-esque functionality
struktured has joined #ocaml
<cemerick> heh, wow
<octachron> cemerick, you seem to be describing either "dune utop" or '#require "lib";;'
<cemerick> that's certainly the long way 'round the barn
<cemerick> octachron: that sounds more close to home. I must be doing something wrong though; `dune utop src` appears to still not see a module defined in `src/foo.ml`?
<octachron> if your library is named "Public_name" and wrapped, you might need "Public_name.Foo"
<cemerick> ah-ha, that definitely helps, thank you
<cemerick> that, and "This subcommand only supports loading libraries. Executables aren’t supported."
gravicappa has quit [Read error: No route to host]
<cemerick> this wrapped-library business is interesting
<cemerick> strongly recommended in the dune docs, etc., but apparently rarely used?
ggole has quit [Quit: ggole]
<octachron> This is the default mode, so this should be used not that unfrequently by newer libraries
<cemerick> just luck of the draw then
ravenousmoose has joined #ocaml
ostera1974 has quit [Ping timeout: 268 seconds]
orbifx has joined #ocaml
olle has joined #ocaml
struktured has quit [Quit: Konversation terminated!]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
Denommus has joined #ocaml
Denommus has quit [Remote host closed the connection]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
kakadu_ has joined #ocaml
Denommus has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
Denommus has quit [Read error: Connection reset by peer]
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
IbnFirnas has quit [Remote host closed the connection]
Serpent7776 has quit [Quit: leaving]
Haudegen has joined #ocaml
jnavila has joined #ocaml
jnavila has quit [Remote host closed the connection]
jnavila has joined #ocaml
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
jnavila has quit [Remote host closed the connection]
Spetznaz_ has joined #ocaml
bartholin has quit [Remote host closed the connection]
nullifidian_ has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
nullifidian has quit [Ping timeout: 246 seconds]
orbifx has joined #ocaml
kvda has joined #ocaml
bajamonti has joined #ocaml
bajamonti has quit [Client Quit]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
kvda has quit [Client Quit]
kvda has joined #ocaml
asymptotically has quit [Quit: Leaving]
IbnFirnas has joined #ocaml
Spetznaz_ has quit [Ping timeout: 244 seconds]
carlosdagos has joined #ocaml
kvda has quit [Read error: Connection reset by peer]
ziyourenxiang has joined #ocaml
Haudegen has quit [Remote host closed the connection]