waleee-cl has quit [Quit: Connection closed for inactivity]
vicfred has quit [Quit: Leaving]
Haudegen has joined #ocaml
valtr has quit [Ping timeout: 256 seconds]
valtr has joined #ocaml
ldbeth has joined #ocaml
<d_bot>
<undu> I also like gitlab CI because I can run it locally. It's. Shame it's less than ideal regarding ariable substitution. Full-ledged yaml format support doesn't help either
shawnw has joined #ocaml
ldbeth has quit [Ping timeout: 246 seconds]
ldbeth has joined #ocaml
bartholin has joined #ocaml
neiluj has joined #ocaml
wonko7 has joined #ocaml
neiluj has quit [Ping timeout: 264 seconds]
zv has quit [Ping timeout: 258 seconds]
vodkaInferno has quit [Read error: Connection reset by peer]
vodkaInf1rno has joined #ocaml
noonien2 has joined #ocaml
noonien has quit [Read error: Connection reset by peer]
noonien2 is now known as noonien
artymort has quit [Quit: Ping timeout (120 seconds)]
artymort has joined #ocaml
ldbeth has quit [Ping timeout: 240 seconds]
ldbeth has joined #ocaml
zv has joined #ocaml
ldbeth has quit [Ping timeout: 265 seconds]
ldbeth has joined #ocaml
neiluj has joined #ocaml
ldbeth has quit [Ping timeout: 240 seconds]
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
neiluj has quit [Client Quit]
jlr has joined #ocaml
Tuplanolla has joined #ocaml
ldbeth has joined #ocaml
ldbeth has quit [Ping timeout: 260 seconds]
ldbeth has joined #ocaml
Serpent7776 has joined #ocaml
ldbeth has quit [Ping timeout: 272 seconds]
ldbeth has joined #ocaml
ldbeth has quit [Remote host closed the connection]
tane has joined #ocaml
ldbeth has joined #ocaml
strmpnk has joined #ocaml
l1x has joined #ocaml
ec has joined #ocaml
mrallen1 has joined #ocaml
jmct has joined #ocaml
kristjansson has joined #ocaml
Duns_Scrotus has joined #ocaml
mgsk has joined #ocaml
mbuf has joined #ocaml
ldbeth` has joined #ocaml
ldbeth has quit [Ping timeout: 240 seconds]
ldbeth`` has joined #ocaml
ldbeth`` has quit [Client Quit]
ldbeth` has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
<d_bot>
<cemerick> @undu what do you mean re: its yaml format support?
<d_bot>
<undu> Yes, the pitfalls of full-fledged yaml for defining workflows. Using references for defining a common step in several tasks feels smart until you get bitten by it. Or sometimes problems due to wrong indentation, or problems with the types of values, or other problems I've seen with yaml
Haudegen has joined #ocaml
borne has joined #ocaml
jlr has joined #ocaml
jbrown has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
gareppa has quit [Quit: Leaving]
jbrown has joined #ocaml
ArthurStrong has joined #ocaml
amiloradovsky has joined #ocaml
wonko7 has quit [Ping timeout: 264 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
jbrown has quit [Ping timeout: 272 seconds]
wonko7 has joined #ocaml
jbrown has joined #ocaml
Leonidas has quit [Quit: An ideal world is left as an exercise to the reader]
narimiran has quit [Ping timeout: 256 seconds]
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
Leonidas has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
lisq has quit [Quit: lisq]
lisq has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
lisq has quit [Client Quit]
lisq has joined #ocaml
hnOsmium0001 has joined #ocaml
Yagotzirck has joined #ocaml
<d_bot>
<inkbottle> ```ocaml
<d_bot>
<inkbottle> open Base
<d_bot>
<inkbottle> let open Option.Let_syntax in
<d_bot>
<inkbottle> let* a = List.hd [1;2] in
<d_bot>
<inkbottle> Option.return a```
<d_bot>
<inkbottle> That doesn't work.
<d_bot>
<inkbottle> I don't find the maybe monad syntax.
<d_bot>
<EduardoRFS> yeah the idea is that by looking at the tag I can then know the type of the key, so there would be no reason for this to be impossible
<d_bot>
<EduardoRFS> like GADTs
bartholin has quit [Quit: Leaving]
neiluj has quit [Ping timeout: 264 seconds]
bartholin has joined #ocaml
bartholin has quit [Client Quit]
wonko7 has quit [Ping timeout: 256 seconds]
wonko7 has joined #ocaml
tane has quit [Quit: Leaving]
<d_bot>
<inkbottle> ```ocaml
<d_bot>
<inkbottle> type _ a = X : int -> int a;;
<d_bot>
<inkbottle>
<d_bot>
<inkbottle> module M = struct
<d_bot>
<inkbottle> type t
<d_bot>
<inkbottle> type b = {key : t a}
<d_bot>
<inkbottle> end;;
<d_bot>
<inkbottle>
<d_bot>
<inkbottle> let v = M.{key = X 3};;
<d_bot>
<inkbottle> ```
<d_bot>
<inkbottle> ```
<d_bot>
<inkbottle> 67 | let v = M.{key = X 3};;
<d_bot>
<inkbottle> ^^^
<d_bot>
<inkbottle> Error: This expression has type int a but an expression was expected of type
<d_bot>
<inkbottle> t a
<d_bot>
<inkbottle> Type int is not compatible with type t