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
bartholin has quit [Remote host closed the connection]
<companion_cube> https://github.com/c-cube/printbox/ I've been updating this, it's getting better \o/
<Drup> damn, you are using *tyxml*
<Drup> my lobying is in fact working :D
<Leonidas> companion_cube: I like the foldy thing in your readme, had to look up how its done :-)
<companion_cube> yeah I discovered that recently!
<companion_cube> Drup: it's been a while, really.
pierpal has joined #ocaml
<companion_cube> zozozo and I have been using that years ago
<companion_cube> but the text renderer is getting better
FreeBirdLjj has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
Haudegen has quit [Remote host closed the connection]
silver has quit [Read error: Connection reset by peer]
iovec has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
nicoo has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 245 seconds]
_whitelogger has joined #ocaml
Jeanne-Kamikaze has joined #ocaml
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
gravicappa has joined #ocaml
Jeanne-Kamikaze has quit [Remote host closed the connection]
crowley95 has quit [Ping timeout: 250 seconds]
crowley95 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
nicoo has joined #ocaml
_whitelogger has joined #ocaml
gravicappa has quit [Ping timeout: 272 seconds]
jao has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
_whitelogger has joined #ocaml
rpcope has quit [Ping timeout: 244 seconds]
rpcope has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
crowley95 has quit [Ping timeout: 246 seconds]
crowley95 has joined #ocaml
crowley95 has quit [Read error: Connection reset by peer]
crowley95 has joined #ocaml
crowley95 has quit [Read error: Connection reset by peer]
crowley95 has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
FreeBirdLjj has joined #ocaml
crowley95 has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
crowley95 has joined #ocaml
FreeBirdLjj has joined #ocaml
crowley95 has quit [Read error: Connection reset by peer]
crowley95 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
crowley95 has quit [Read error: Connection reset by peer]
crowley95 has joined #ocaml
themsay has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
crowley95 has quit [Read error: Connection reset by peer]
crowley95 has joined #ocaml
layeredeggplant has joined #ocaml
tane_ has joined #ocaml
crowley95 has quit [Read error: Connection reset by peer]
crowley95 has joined #ocaml
Serpent7776 has joined #ocaml
crowley95 has quit [Read error: Connection reset by peer]
crowley95 has joined #ocaml
asymptotically has joined #ocaml
crowley95 has quit [Read error: Connection timed out]
crowley95 has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
kakadu_ has joined #ocaml
orbifx has joined #ocaml
ravenousmoose has joined #ocaml
crowley95 has quit [Ping timeout: 245 seconds]
mfp has joined #ocaml
crowley95 has joined #ocaml
Spetznaz_ has joined #ocaml
layeredeggplant has quit [Remote host closed the connection]
notnotdan` has quit [Remote host closed the connection]
notnotdan` has joined #ocaml
layeredeggplant has joined #ocaml
Haudegen has joined #ocaml
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
jnavila has joined #ocaml
GeoffK has joined #ocaml
jnavila has quit [Ping timeout: 244 seconds]
tane_ has quit [Ping timeout: 240 seconds]
ziyourenxiang has joined #ocaml
gravicappa has joined #ocaml
silver has joined #ocaml
<GeoffK> in utop how do i get access for filter_map from Core_list?
<Drup> companion_cube: how do you make sure the code has access to the local libraries for the mdx test ?
GeoffK has quit [Quit: Leaving]
decentpenguin has joined #ocaml
jnavila has joined #ocaml
bartholin has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
tane_ has joined #ocaml
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 252 seconds]
decentpenguin has quit [Quit: WeeChat 2.3]
decentpenguin has joined #ocaml
ravenousmoose has joined #ocaml
jnavila has joined #ocaml
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
ravenousmoose has joined #ocaml
jao has joined #ocaml
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
Fardale has quit [Ping timeout: 250 seconds]
Fistine has quit [Ping timeout: 252 seconds]
tobiasBora has quit [Ping timeout: 245 seconds]
Fistine has joined #ocaml
Fardale has joined #ocaml
tobiasBora has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Fardale has quit [Ping timeout: 268 seconds]
Fistine has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
<Leonidas> hmm, when building a tarball with dune-release it seems %{project_root} is unset
FreeBirdLjj has quit [Ping timeout: 250 seconds]
Fistine has joined #ocaml
Fardale has joined #ocaml
orbifx has quit [Quit: WeeChat 2.3]
nicoo has quit [Ping timeout: 256 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
gareppa has joined #ocaml
Lewisflame has joined #ocaml
<companion_cube> Drup: when it's run through dune it seems that `require` works
Lewisflame has left #ocaml [#ocaml]
<Drup> huh, really ? It's not because the library is installed ?
gareppa has quit [Quit: Leaving]
nicoo has joined #ocaml
klntsky has joined #ocaml
<companion_cube> well it works on travis, so either the travis script installs before running tests (I doubt so) or dune makes it works
<companion_cube> I think I tested locally after uninstalling the lib, just to be sure
<Drup> ok, that makes it really nice indeed
<companion_cube> (you're more than welcome to test the hypothesis separately)
<companion_cube> but yeah, mdx is pretty nice in the end
<companion_cube> and `...` allows to skip some parts of the output (useful if it contains some non-deterministic part)
gravicappa has quit [Ping timeout: 240 seconds]
gravicappa has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
so has quit [Ping timeout: 246 seconds]
so has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
jonh has joined #ocaml
maker has joined #ocaml
<cemerick> style question: it seems that a lot of APIs expect unit funs (`() -> 'a`) where a `'a Lazy.t` would maybe be more appropriate (i.e. to avoid inadvertent repeated side effects). Is that just a historical artifact, or is there something more to it?
<companion_cube> unit -> a can be more lightweight if used only once
<companion_cube> lazy has to do additional bookeeping to memoize the value once computed
<cemerick> that's fair
pierpal has quit [Quit: Poof]
<cemerick> I'd almost expect that extra bookkeeping to get optimized away if it's clear that it's only forced once, but probably not a focus of the compiler
pierpal has joined #ocaml
<cemerick> companion_cube: I ask because I started using this, if you remember our convo about a lazy `<+>`
<cemerick> been using `let (<|>) a b = if Option.is_some a then a else Lazy.force b` just because lazys end up just looking nicer vs. lots of `fun _ ->`'s
decentpenguin has joined #ocaml
AnAverageHuman has joined #ocaml
gravicappa has quit [Ping timeout: 246 seconds]
lorp has joined #ocaml
<lorp> hey people, new to ocaml, question - is there a way to make a product type in ocaml by "mixing in" two types, like & in typescript?
<lorp> i specifically mean in records, the use case is to construct a type to be json representable by mixing multiple types
<Drup> lorp: You can't really do that directly in OCaml. Polymorphic variants are a slightly more limited version of that
<lorp> Drup, thanks, i guess all i need is some support in atd for mixing/embeddings, maybe someone here knows if such a thing exists
<Drup> I'm surprised if atdgen doesn't already have everything you need
<lorp> trying to explain what i'm trying to achieve: https://paste.ofcode.org/tbqcgACPLz2tucnXberhWc
Haudegen has quit [Remote host closed the connection]
Jeanne-Kamikaze has joined #ocaml
themsay has joined #ocaml
<AnAverageHuman> Is there an opam switch that refers to the system ocaml?
themsay has quit [Ping timeout: 240 seconds]
asymptotically has quit [Quit: Leaving]
jao has joined #ocaml
bartholin has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
jack5638 has quit [Ping timeout: 246 seconds]
bartholin has joined #ocaml
jack5638 has joined #ocaml
<kjak> AnAverageHuman: do you mean "opam switch system" ? is that what you're looking for or do you mean something else?
<AnAverageHuman> kjak: I'm trying to package ocamlformat for a distro but the Makefile is trying to execute `opam switch show`, which complains that `opam init` hasn't been run. So I tried to swap out '@OPAM_SWITCH@` for `system` in the dune-workspace https://github.com/ocaml-ppx/ocamlformat/blob/master/dune-workspace.in but then I get [ERROR] The current switch (system) is an unknown compiler switch.
decentpenguin has quit [Quit: WeeChat 2.3]
jnavila has quit [Ping timeout: 246 seconds]
jnavila has joined #ocaml
<companion_cube> cemerick: in a way yes, `lazy` looks better, but `fun() -> …` is fine too
iovec has quit [Quit: Connection closed for inactivity]
Serpent7776 has quit [Quit: leaving]
jnavila has quit [Remote host closed the connection]
<companion_cube> yay, I re-discovered a bug in uutf! 🎉
webshinra has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 245 seconds]
webshinra has joined #ocaml
shakalaka has quit [Ping timeout: 246 seconds]
kvda has joined #ocaml
tane_ has quit [Quit: Leaving]
kakadu_ has quit [Remote host closed the connection]
zmt01 is now known as zmt00
infinity0 has quit [Remote host closed the connection]
nopf has quit [Ping timeout: 246 seconds]
Jeanne-Kamikaze has quit [Remote host closed the connection]
bartholin has quit [Remote host closed the connection]