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
<cemerick> companion_cube: re: "what does it mean to have a cache", I think https://github.com/actions/cache is the entry point you need
<companion_cube> Yeah, I tried it, seems to work
Serpent7776 has quit [Ping timeout: 265 seconds]
<companion_cube> Highly unintuitive though
<cemerick> ah, glad you managed
<cemerick> yeah, I've never dug into github actions, everything seems pretty scattered re: documentation and such
wonko7 has quit [Ping timeout: 264 seconds]
<companion_cube> I long for local validation
<companion_cube> CI that you could run locally first would be amazing
<companion_cube> (actually if it could run on developers' machines, it'd also be cheaper than good stuff)
Jeanne-Kamikaze has joined #ocaml
amiloradovsky has joined #ocaml
<cemerick> companion_cube: this is one of many reasons I appreciate gitlab: https://medium.com/@umutuluer/how-to-test-gitlab-ci-locally-f9e6cef4f054
<cemerick> eh, that's old, actually. It looks like they've documented it all officially since the last time I looked: https://docs.gitlab.com/runner/commands/#gitlab-runner-exec
amiloradovsky has quit [Remote host closed the connection]
Tuplanolla has quit [Quit: Leaving.]
nullcone has quit [Quit: Connection closed for inactivity]
madroach_ has joined #ocaml
madroach has quit [Ping timeout: 256 seconds]
mfp has quit [Ping timeout: 256 seconds]
zv has quit [Ping timeout: 240 seconds]
narimiran has joined #ocaml
emp has quit [Quit: ZNC 1.8.2 - https://znc.in]
emp has joined #ocaml
Jeanne-Kamikaze has quit [Quit: Leaving]
borne has quit [Ping timeout: 272 seconds]
borne has joined #ocaml
nullcone has joined #ocaml
zv has joined #ocaml
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]
raver has quit [Ping timeout: 256 seconds]
Haudegen has quit [Quit: Bin weg.]
mbuf has quit [Ping timeout: 240 seconds]
borne has quit [Ping timeout: 260 seconds]
dborisog has joined #ocaml
Haudegen has joined #ocaml
waleee-cl has joined #ocaml
drewolson has quit [Quit: The Lounge - https://thelounge.chat]
drewolson has joined #ocaml
shawnw has quit [Ping timeout: 268 seconds]
raver has joined #ocaml
jlr has quit [Ping timeout: 260 seconds]
decentpenguin has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
decentpenguin has joined #ocaml
cantstanya has quit [Ping timeout: 240 seconds]
cantstanya has joined #ocaml
octachron has quit [Ping timeout: 268 seconds]
octachron has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
octachron has quit [Quit: ZNC 1.7.5 - https://znc.in]
octachron has joined #ocaml
jnavila has joined #ocaml
octachron has quit [Quit: ZNC 1.7.5 - https://znc.in]
dborisog has quit [Ping timeout: 240 seconds]
octachron has joined #ocaml
octachron has quit [Client Quit]
octachron has joined #ocaml
mbuf has quit [Quit: Leaving]
Anarchos has joined #ocaml
gareppa has joined #ocaml
nullcone has joined #ocaml
<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.
<companion_cube> are you using Ocaml >= 4.08 ?
<d_bot> <inkbottle> ```ocaml
<d_bot> <inkbottle> let open Option.Let_syntax in
<d_bot> <inkbottle> List.hd [1;2] >>= Option.return;;```
jlr has quit [Quit: bye]
<d_bot> <inkbottle> Yes, Ocaml 4.11.
<d_bot> <inkbottle> The `let*` syntax would be nice, but I can't find it.
neiluj has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
<d_bot> <mnxn> The `Let_syntax` module is for `ppx_let`, not the 4.08 let operator syntax
<d_bot> <mnxn> I'm not sure if Base works with let operators yet
<d_bot> <EduardoRFS> is it possible to create this record type?
<d_bot> <EduardoRFS> ```ocaml
<d_bot> <EduardoRFS> type a = {key : 'a. 'a typ}
<d_bot> <EduardoRFS> ```
<d_bot> <EduardoRFS> @inkbottle you can always do `let (let*) = (>>=)`
<companion_cube> Enjolras: I think so, what is `typ` though?
<d_bot> <EduardoRFS> Sorry I updated the example, but you guys probably didn't see it
<d_bot> <EduardoRFS> ```ocaml
<d_bot> <EduardoRFS> type _ a = | X: int a
<d_bot> <EduardoRFS> type b = {key : 'a. 'a a}
<d_bot> <EduardoRFS> ```
<d_bot> <inkbottle> IIUC the second line is referring to explicit polymorphism, and the first line would be defeating that?
<d_bot> <inkbottle> I get `Error: This field value has type int a which is less general than 'a. 'a a`, consistent with
<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
<d_bot> <inkbottle> ```
wonko7 has quit [Ping timeout: 258 seconds]
Haudegen has quit [Ping timeout: 260 seconds]