adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
hio has quit [Quit: Connection closed for inactivity]
ziyourenxiang has joined #ocaml
Hrundi_V_Bakshi has quit [Remote host closed the connection]
dedgrant has joined #ocaml
ski has quit [Ping timeout: 245 seconds]
ski has joined #ocaml
dedgrant has quit [Quit: Leaving]
Haudegen has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 272 seconds]
AtumT has quit [Quit: AtumT]
keep_learning_M has joined #ocaml
Jeanne-Kamikaze has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
Jesin has quit [Ping timeout: 272 seconds]
gravicappa has joined #ocaml
hio has joined #ocaml
kotrcka has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
keep_learning_M has quit [Quit: This computer has gone to sleep]
FreeBirdLjj has joined #ocaml
narimiran has joined #ocaml
gravicappa has quit [Ping timeout: 245 seconds]
traviss has joined #ocaml
keep_learning_M has joined #ocaml
iovec has joined #ocaml
narimiran has quit [Ping timeout: 268 seconds]
ggole has joined #ocaml
Jeanne-Kamikaze has quit [Quit: Leaving]
_whitelogger has joined #ocaml
traviss has quit [Quit: Leaving]
_whitelogger has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
mfp has joined #ocaml
narimiran has joined #ocaml
iovec has quit [Quit: Connection closed for inactivity]
<dmbaturin> I'm not seriously thinking of making a "purity ring" with the types of monad engraved on it. The only problem is that the one who borrowed my tools is evaluating my request to return them lazily.
<dmbaturin> * now
Haudegen has joined #ocaml
<Drup> You just need to terminate the call, so that the borrow returns.
<dmbaturin> Good point.
<dmbaturin> Anyone got an example of a formatter for Logs that outputs just the message, without the process name and level?
FreeBirdLjj has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
<Leonidas> print_endline?
khodzha has joined #ocaml
<dmbaturin> Leonidas: But then you don't get free verbosity level separation.
jao has joined #ocaml
silver has joined #ocaml
<aecepoglu[m]> free verbosity level separation?
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
<dmbaturin> aecepoglu[m]: Well, with logging libs, it's trivial to separate debug messages from normal output, just use different levels.
<aecepoglu[m]> Ah, I didn't even read the question properly. The verbosity levels for logger
<aecepoglu[m]> I couldn't make sense of "free verbosity level separation" for some reason
<dmbaturin> aecepoglu[m]: The original question was about getting rid of the process name and level in Logs, to avoid visual clutter when run as an interactive process.
AtumT has joined #ocaml
<def`> t
Hrundi_V_Bakshi has joined #ocaml
<oni-on-ion> =)
jmiven has quit [Quit: reboot]
jmiven has joined #ocaml
<def`> oops :)
gravicappa has joined #ocaml
<oni-on-ion> ^_^
<dmbaturin> _, _
<oni-on-ion> _/|\_
<dmbaturin> Is it something from Agda?
<oni-on-ion> praying hands
<dmbaturin> That should be a valid operator.
<dmbaturin> https://github.com/dmbaturin/soupault It's very much a preview, but I think it's time to post it.
<Drup> oh no, another one
<Drup> ;)
<dmbaturin> Drup: I couldn't find any that would use the same principles.
<dmbaturin> It's really the bunch of "MPP can't do it" adhocery from my custom generator made into a standalone project.
sapristi has joined #ocaml
<sapristi> hello
<dmbaturin> Hi sapristi!
<sapristi> With dune, is there a way to have files in a folder with a test stanza also compile as documentation ?
<dmbaturin> Hhm. I'm still to try test with dune.
<sapristi> it's quite simple
<sapristi> well for that project i'm not even using a test package like otest, just compiling and running a file
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
Hrundi_V_Bakshi has quit [Ping timeout: 245 seconds]
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
Jeanne-Kamikaze has joined #ocaml
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
kalio has quit [Quit: WeeChat 2.4]
sapristi has quit [Remote host closed the connection]
kalio has joined #ocaml
SpiceGuid has joined #ocaml
jnavila has joined #ocaml
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]
hannes has quit [Remote host closed the connection]
ggole has quit [Quit: Leaving]
hannes has joined #ocaml
jao has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
gravicappa has quit [Ping timeout: 244 seconds]
Serpent7776 has joined #ocaml
Jeanne-Kamikaze has quit [Quit: Leaving]
SpiceGuid has joined #ocaml
Hrundi_V_Bakshi has quit [Ping timeout: 245 seconds]
silver has quit [Ping timeout: 272 seconds]
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]
jnavila has joined #ocaml
narimiran has quit [Remote host closed the connection]
Serpent7776 has quit [Quit: leaving]
jnavila has quit [Ping timeout: 246 seconds]
Hrundi_V_Bakshi has joined #ocaml
ygrek has joined #ocaml
dimitarvp has joined #ocaml
dimitarvp has quit [Remote host closed the connection]
nullifidian has quit [Ping timeout: 248 seconds]
nullifidian has joined #ocaml