companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Tuplanolla has quit [Ping timeout: 246 seconds]
henistein has quit [Quit: Connection closed]
mxns has joined #ocaml
mxns has quit [Ping timeout: 276 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
rock64 has quit [Ping timeout: 256 seconds]
ollehar3 has quit [Ping timeout: 260 seconds]
rock64 has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
zebrag has quit [Read error: Connection reset by peer]
zebrag has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
_whitelogger has joined #ocaml
Jeanne-Kamikaze has quit [Quit: Leaving]
mbuf has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
newgreyhawke has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
nullcone has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
narimiran has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
vicfred has quit [Quit: Leaving]
narimiran has quit [Ping timeout: 264 seconds]
decentpenguin has quit [Quit: ZNC crashed or something]
decentpenguin has joined #ocaml
newgreyhawke has quit [Ping timeout: 276 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
mbuf has quit [Quit: Leaving]
narimiran has joined #ocaml
shawnw has joined #ocaml
benc has joined #ocaml
tane has joined #ocaml
Haudegen has joined #ocaml
hosewiejacke has joined #ocaml
newgreyhawke has joined #ocaml
newgreyhawke has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
benc has quit [Ping timeout: 256 seconds]
tane has quit [Quit: Leaving]
mfp has joined #ocaml
newgreyhawke has joined #ocaml
newgreyhawke has quit [Ping timeout: 276 seconds]
tane has joined #ocaml
arecaceae has quit [Remote host closed the connection]
arecaceae has joined #ocaml
newgreyhawke has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
newgreyhawke has quit [Ping timeout: 260 seconds]
mbuf has joined #ocaml
newgreyhawke has joined #ocaml
hosewiejacke has quit [Ping timeout: 245 seconds]
olle has joined #ocaml
hosewiejacke has joined #ocaml
benc has joined #ocaml
Haudegen has joined #ocaml
hosewiejacke has quit [Ping timeout: 245 seconds]
hosewiejacke has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
hosewiejacke has quit [Remote host closed the connection]
hosewiejacke2 has joined #ocaml
hosewiejacke2 has quit [Remote host closed the connection]
hosewiejacke2 has joined #ocaml
hosewiejacke2 has quit [Quit: Leaving]
xandkar1 has quit [Quit: xandkar1]
TheLemonMan has joined #ocaml
mxns has joined #ocaml
shawnw has quit [Ping timeout: 264 seconds]
mxns has quit [Ping timeout: 260 seconds]
zebrag has joined #ocaml
SquidDev has quit [Quit: Ping timeout (120 seconds)]
SquidDev has joined #ocaml
<d_bot_> <Cyclomatic Complexity> hi
<d_bot_> <Cyclomatic Complexity> how can i get dune to print the last command it ran before failing?
<vsiles> you cry. I usually dune clean and then dune build --display=short
<vsiles> but if the command was a ppx, it doesn't work
<vsiles> (to the best of my knowledge)
<vsiles> there is --display=verbose if you need to see the actual command (like calls to ocamlopt & cie)
<d_bot_> <Cyclomatic Complexity> I see. `--verbose` helped, thanks
<theblatte> you can find these in the logs
<d_bot_> <Cyclomatic Complexity> Now, I am getting a fatal error from `dune utop`
<d_bot_> <Cyclomatic Complexity> I am just trying to find where a module comes from
<d_bot_> <Cyclomatic Complexity> One of my dependencies is shadowed, I don't use any open, so it must come from another dependency
<d_bot_> <Cyclomatic Complexity> How can I know which one it comes from?
<d_bot_> <Cyclomatic Complexity> I usually use merlin locate, but it is broken
benc has quit [Remote host closed the connection]
<d_bot_> <Christophe> I will ask here so I don't interrupt the other conversation πŸ˜ƒ
<d_bot_> <Christophe> I've been trying to understand the Reader monad, I have been doing that https://sketch.sh/s/wl8ahAdgUd4L7kTn8gtOdt/
<d_bot_> <Christophe> I am wondering two things mainly , in what I have seen the reader type was using a variant, does it help with anything?
<d_bot_> <Christophe> Also, I have a lot of weak types when I am trying to make the reader instances, and I think it shouldn't be necessary, but I don't see how to get rid of them
<d_bot_> <octachron> Weak types are a known problem with combinator library, the usual solution of eta-expanding should work at the price of elegance.
<d_bot_> <octachron> For the variant, it sounds like Haskell implementation defining an explicit type in order to hook the monad class type?
<d_bot_> <Christophe> It was actually a OCaml solution I was looking at, but probably inspired from Haskell; I was wondering about the utility
benc has joined #ocaml
<d_bot_> <Christophe> I'll try to see how I can eta-expand, it was not really obvious to me, I'll try again πŸ™‚
newgreyhawke has quit [Quit: leaving]
<d_bot_> <Christophe> I cannot see how to eta-expand this for instance: ` let ask () = fun env -> env`, i've tried to annotate it to `let ask:'a. ('a, 'a) t = fun () -> fun env -> env` but it didn't change : `ask ()` is weakly polymorphic
<d_bot_> <Christophe> (i forgot the `unit ->` in my type when I copied)
<d_bot_> <octachron> The result of `ask ()` will always be weakly polymorphic if it is not inside a function body.
<d_bot_> <Christophe> I see, maybe I can somehow change the definition of my type t to solve that … or see how I can put it inside a function
<d_bot_> <Christophe> I have the same problem with `return` that would be more fundamental I guess
benc has quit [Remote host closed the connection]
benc has joined #ocaml
benc has quit [Client Quit]
DanC has quit [Ping timeout: 272 seconds]
DanC has joined #ocaml
xandkar1 has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
vicfred has joined #ocaml
Tuplanolla has joined #ocaml
mbuf has quit [Quit: Leaving]
bartholin has quit [Quit: Leaving]
Haudegen has joined #ocaml
olle has quit [Ping timeout: 246 seconds]
Frothy has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Frothy has quit [Quit: Leaving]
vicfred has quit [Ping timeout: 256 seconds]
neiluj has joined #ocaml
neiluj has joined #ocaml
filpAM has joined #ocaml
waleee-cl has joined #ocaml
<d_bot_> <Christophe> I found out what would be the 'function body' that you were talking about Octachron, thanks, I replaced `let first_name = ask () >>| fun env -> env`by `let first_name () = ask () >>| fun env -> env`, it's more verbose to use but working great πŸ‘
filpAM has quit [Ping timeout: 265 seconds]
terrorjack has quit [Ping timeout: 246 seconds]
mxns has joined #ocaml
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
terrorjack has joined #ocaml
mxns has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
mxns has joined #ocaml
narimiran has quit [Ping timeout: 246 seconds]
mxns has quit [Ping timeout: 264 seconds]
<d_bot_> <ostera> has anyone written a tool like bspack that runs on ocaml ~>4.11 ? πŸ€”
<d_bot_> <ostera> essentially, many .ml/.mli in -> one .ml out
<d_bot_> <anmonteiro> bspack doesn't?
<d_bot_> <ostera> certainly seems to complain if I try to compile it under 4.11.1+flambda
<d_bot_> <ostera> but a quick scan showed me it includes a copy of the parsetree lib
<d_bot_> <rgrinberg> Why do you need such a tool? I hope it’s not to publish anything
Serpent7776 has quit [Quit: leaving]
<d_bot_> <ostera> not for others to consume, I was just exploring bundling in ppx support into caramel
tane has quit [Quit: Leaving]
shawnw has joined #ocaml
<d_bot_> <antron> doesn't dune itself have something like that? not suggesting that it's a good idea for general use, of course
richbridger has quit [Quit: Leaving]
richbridger has joined #ocaml