connorjacobsen has quit [Read error: Connection reset by peer]
connorja_ has quit [Read error: Connection reset by peer]
connorjacobsen has joined #ocaml
connorjacobsen has quit [Read error: Connection reset by peer]
connorja_ has joined #ocaml
connorja_ has quit [Read error: Connection reset by peer]
connorjacobsen has joined #ocaml
BitPuffin has quit [Read error: Connection reset by peer]
cbot has joined #ocaml
connorja_ has joined #ocaml
connorjacobsen has quit [Read error: Connection reset by peer]
connorja_ has quit [Remote host closed the connection]
connorjacobsen has joined #ocaml
troydm has quit [Remote host closed the connection]
troydm has joined #ocaml
jlam_ has joined #ocaml
coventry has quit [Remote host closed the connection]
Denommus has quit [Ping timeout: 255 seconds]
connorja_ has joined #ocaml
connorjacobsen has quit [Read error: Connection reset by peer]
connorjacobsen has joined #ocaml
connorja_ has quit [Read error: Connection reset by peer]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 248 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 248 seconds]
connorjacobsen has quit [Remote host closed the connection]
connorjacobsen has joined #ocaml
connorjacobsen has quit [Remote host closed the connection]
malc_ has joined #ocaml
jimt has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
al-damiri has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
enterprisey has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
mfp__ has quit [Ping timeout: 255 seconds]
iitalics has quit [Quit: /thread]
magistr has joined #ocaml
pierpa has quit [Quit: Page closed]
pzp has joined #ocaml
vramana_ has quit [Ping timeout: 248 seconds]
samrat has joined #ocaml
nomicflux has joined #ocaml
iitalics has joined #ocaml
nomicflux has quit [Quit: nomicflux]
mbuf has joined #ocaml
sh0t has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
vramana_ has joined #ocaml
iitalics has quit [Quit: /thread]
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 248 seconds]
fraggle_ has quit [Ping timeout: 240 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
fraggle_ has joined #ocaml
samrat has quit [Ping timeout: 248 seconds]
pluplog has joined #ocaml
nightmared has quit [*.net *.split]
rwmjones has quit [*.net *.split]
dmj` has quit [*.net *.split]
rootmos has quit [*.net *.split]
Murmus has quit [*.net *.split]
chenglou has quit [*.net *.split]
littleli has quit [*.net *.split]
rbocquet has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
jkni has quit [*.net *.split]
dxtr has quit [*.net *.split]
mankyKitty has quit [*.net *.split]
dxtr has joined #ocaml
rbocquet has joined #ocaml
rwmjones has joined #ocaml
chenglou has joined #ocaml
littleli has joined #ocaml
jkni has joined #ocaml
nightmared has joined #ocaml
Murmus has joined #ocaml
dmj` has joined #ocaml
tg has quit [Ping timeout: 240 seconds]
Geekingfrog has joined #ocaml
rootmos has joined #ocaml
govg has joined #ocaml
MercurialAlchemi has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
tg has joined #ocaml
iitalics has joined #ocaml
ski has joined #ocaml
pluplog has quit [Quit: Leaving.]
iitalics has quit [Quit: /thread]
enterprisey_ has joined #ocaml
enterprisey has quit [Read error: Connection reset by peer]
infinity0 has quit [Ping timeout: 248 seconds]
infinity0 has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 252 seconds]
cbot has quit [Quit: Leaving]
enterprisey_ has quit [Remote host closed the connection]
Simn has joined #ocaml
mankyKitty has joined #ocaml
enterprisey has joined #ocaml
samrat has joined #ocaml
andreas__ has joined #ocaml
igstan has joined #ocaml
jlam has quit [Quit: Leaving]
jlam has joined #ocaml
enterprisey has quit [Remote host closed the connection]
pigeonv has joined #ocaml
freusque has joined #ocaml
dhil has joined #ocaml
<sgnb>
rgrinberg: circular dependencies, when dependencies of opam itself start using jbuilder
<sgnb>
(and, apparently, opam itself started using jbuilder)
MercurialAlchemi has quit [Remote host closed the connection]
sam___ has joined #ocaml
MercurialAlchemi has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
sam___ has quit [Ping timeout: 240 seconds]
superherointj has joined #ocaml
sepp2k has joined #ocaml
pigeonv has quit [Quit: WeeChat 1.9]
pigeonv has joined #ocaml
jeffmo has quit [Ping timeout: 276 seconds]
jeffmo has joined #ocaml
jeroud has quit [Ping timeout: 276 seconds]
jeroud has joined #ocaml
argent_smith has joined #ocaml
MercurialAlchemi has quit [Quit: Lost terminal]
MercurialAlchemi has joined #ocaml
dhil has joined #ocaml
samrat has quit [Ping timeout: 252 seconds]
dakk has quit [Ping timeout: 240 seconds]
BitPuffin|osx has joined #ocaml
kakadu has joined #ocaml
samrat has joined #ocaml
AltGr has joined #ocaml
govg has quit [Ping timeout: 248 seconds]
govg has joined #ocaml
mfp__ has joined #ocaml
xuanrui has joined #ocaml
vramana has joined #ocaml
vramana_ has quit [Ping timeout: 240 seconds]
ShalokShalom_ has joined #ocaml
connorjacobsen has joined #ocaml
ShalokShalom has quit [Ping timeout: 240 seconds]
connorjacobsen has quit [Ping timeout: 252 seconds]
ShalokShalom_ is now known as ShalokShalom
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
clog has quit [Ping timeout: 248 seconds]
TheLemonMan has joined #ocaml
Fistine has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
igstan has quit [Quit: igstan]
igstan has joined #ocaml
igstan has quit [Quit: igstan]
tautologico has quit [Quit: Connection closed for inactivity]
copy_ has joined #ocaml
<rgrinberg>
sgnb: iirc opam still has a way to build it using make files. Make cold or whatever I believe. Jbuilder is for development on opam itself and for modularizing it into a set of libraries
Fistine has joined #ocaml
ziyourenxiang has joined #ocaml
tobiasBora has quit [Ping timeout: 240 seconds]
Fardale has quit [Ping timeout: 240 seconds]
Fardale has joined #ocaml
tobiasBora has joined #ocaml
xuanrui has quit [Remote host closed the connection]
superherointj2 has joined #ocaml
superherointj has quit [Ping timeout: 248 seconds]
_andre has joined #ocaml
malina has joined #ocaml
sspi has quit [Ping timeout: 276 seconds]
ome has quit [Ping timeout: 276 seconds]
nomicflux has joined #ocaml
ome has joined #ocaml
grandy____ has quit [Ping timeout: 276 seconds]
grandy____ has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
rjungemann has quit [Ping timeout: 276 seconds]
chenglou has quit [Ping timeout: 276 seconds]
chenglou has joined #ocaml
rjungemann has joined #ocaml
sam____ has joined #ocaml
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
clog has joined #ocaml
nomicflux has joined #ocaml
vramana_ has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
<AltGr>
the newer version relies on jbuilder, but has the machinery to bootstrap it using Makefiles
vramana has quit [Ping timeout: 240 seconds]
nomicflux has quit [Quit: nomicflux]
mbuf has quit [Quit: Leaving]
jbrown has joined #ocaml
dhil has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
freusque has joined #ocaml
govg has quit [Ping timeout: 248 seconds]
govg has joined #ocaml
freusque has quit [Client Quit]
freusque has joined #ocaml
dakk has joined #ocaml
sh0t has joined #ocaml
sh0t has quit [Ping timeout: 252 seconds]
sh0t has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
Relax has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
FreeBirdLjj has joined #ocaml
sam____ has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
govg has quit [Ping timeout: 240 seconds]
freusque has quit [Ping timeout: 255 seconds]
freusque has joined #ocaml
sspi has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 252 seconds]
samrat has joined #ocaml
dakk has quit [Remote host closed the connection]
Mercuria1Alchemi has quit [Ping timeout: 248 seconds]
_andre has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
sam___ has joined #ocaml
MercurialAlchemi has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
sam___ has quit [Ping timeout: 240 seconds]
xuanrui has joined #ocaml
dhil has joined #ocaml
xuanrui has quit [Max SendQ exceeded]
xuanrui has joined #ocaml
argent_smith has quit [Quit: Leaving.]
xuanrui has quit [Client Quit]
xuanrui has joined #ocaml
govg has joined #ocaml
xuanrui has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
xuanrui has joined #ocaml
xuanrui has quit [Max SendQ exceeded]
xuanrui has joined #ocaml
xuanrui has quit [Max SendQ exceeded]
xuanrui has joined #ocaml
xuanrui has quit [Max SendQ exceeded]
xuanrui has joined #ocaml
xuanrui has quit [Max SendQ exceeded]
xuanrui has joined #ocaml
xuanrui has quit [Max SendQ exceeded]
xuanrui has joined #ocaml
xuanrui has quit [Max SendQ exceeded]
magistr has quit [Ping timeout: 260 seconds]
bruce_r has joined #ocaml
sam___ has joined #ocaml
al-damiri has joined #ocaml
malina has quit [Remote host closed the connection]
sam___ has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
samrat has quit [Ping timeout: 248 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 246 seconds]
superherointj2 has quit [Quit: Leaving]
jlam__ has quit [Ping timeout: 248 seconds]
jlam_ has joined #ocaml
samrat has joined #ocaml
danieli has quit [Read error: Connection reset by peer]
danieli has joined #ocaml
malina has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
sam___ has joined #ocaml
<redcedar>
can anyone point me toward instructions on how to set up ocaml with emacs org babel? my searches and attempts haven't borne out
sam___ has quit [Ping timeout: 240 seconds]
malina has quit [Ping timeout: 240 seconds]
tokomak has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
superherointj has joined #ocaml
mengu has quit [Remote host closed the connection]
superherointj has quit [Quit: Leaving]
pzp has quit [Quit: Connection closed for inactivity]
tane has joined #ocaml
sam___ has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
mengu has joined #ocaml
jbrown has joined #ocaml
sam___ has quit [Ping timeout: 252 seconds]
mengu has quit [Ping timeout: 240 seconds]
pigeonv has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
superherointj has joined #ocaml
ygrek has joined #ocaml
aciniglio has joined #ocaml
TheLemonMan has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
mbuf has quit [Quit: Leaving]
malina has joined #ocaml
superherointj has quit [Quit: Leaving]
jbrown has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
yegods_ has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 260 seconds]
yegods has quit [Ping timeout: 240 seconds]
sam___ has quit [Ping timeout: 248 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
jbrown has joined #ocaml
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 248 seconds]
malina has quit [Remote host closed the connection]
yegods_ has quit [Ping timeout: 252 seconds]
sepp2k has quit [Quit: Leaving.]
malina has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 248 seconds]
argent_smith has joined #ocaml
silenc3r has joined #ocaml
pigeonv has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
AltGr has left #ocaml [#ocaml]
sam____ has joined #ocaml
pierpa has joined #ocaml
sam____ has quit [Ping timeout: 240 seconds]
argent_smith has quit [Quit: Leaving.]
jimmyrcom_ has quit [Ping timeout: 240 seconds]
kolko has joined #ocaml
enterprisey has joined #ocaml
sz0 has joined #ocaml
tane has quit [Quit: Leaving]
govg has quit [Quit: leaving]
_andre has quit [Quit: leaving]
copy_ has quit [Quit: Connection closed for inactivity]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (wilhelm.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
Relax has quit [Ping timeout: 248 seconds]
toolslive has joined #ocaml
malina has quit [Remote host closed the connection]
<toolslive>
ok. my ci started failing with "Error: The nonrec flag is not supported by ppx_deriving" was there a ppx_deviring update on opam ?
<smondet[m]>
toolslive: yes there was, and the new version explicitly fails on `nonrec`
enterprisey has quit [Remote host closed the connection]
coventry has joined #ocaml
<coventry>
Is there a syntax for atomic update of multiple mutable record fields?
<coventry>
Or, any way to do that, apart from sticking the entire record in a ref?
<Drup>
atomic compared to what ? Lwt or system threads ?
toolslive_ has quit [Ping timeout: 252 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
iitalics has quit [Quit: /thread]
<coventry>
Atomic in the sense that if not all updates can be computed due to some kind of exception, the update does not take place. In clojure this is usually done by building the updated object, then switching the ref to it.
malina has quit [Remote host closed the connection]
toolslive_ has joined #ocaml
<zozozo>
coventry: you can always use the same strategy in ocaml: compute the new values for the fields, and once these are computed the field updates alone should not throw any exception
<coventry>
Yep, I will. Thanks.
<Drup>
Yes, as zozozo said, 'x.field <- v' will never fail if 'v' is already a fully executed value
<coventry>
Oh, I misunderstood. OK, that's a bit easier.
<Drup>
(As you said, you can do it with a reference too)
<Drup>
(amusingly, this is easier if you use functional updates)
tokomak is now known as toko|wrong-compu
toko|wrong-compu is now known as toko|wrong-comp
cbot has joined #ocaml
pigeonv has quit [Ping timeout: 252 seconds]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
connorjacobsen has joined #ocaml
Nephe has quit [Quit: No Ping reply in 180 seconds.]
Nephe has joined #ocaml
Simn has quit [Ping timeout: 240 seconds]
ziyourenxiang has quit [Ping timeout: 240 seconds]
<sh0t>
hey guys could you please help me understand me polymorphic variants in particular with this piece of code?
<sh0t>
I don't understand why it does not type check thanks to subtyping
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 240 seconds]
<Drup>
So, polymorphic variants is not subtyping, it's row polymorphisms and you can see the difference in this example
<sh0t>
Hi Drup
<Drup>
in order to have a subtyping-like behavior, you need row variables. This means that the compiler will only figure out things through unification when you use elements of type [< foo] where [> bar] is expected (such that foo is included in bar
<Drup>
here, you do not have such row variables, all your types are fixed
<Drup>
so unification doesn't work
<sh0t>
by row variable you mean type variable ?
<Drup>
You can still make things work by inserting explicit coertions: `Hashtbl.add proj a (v1 :> codmem)`
<sh0t>
^^ I guess that's not nice?
<Drup>
For that particular use case, it's fine
<sh0t>
I understand
<Drup>
row variables are particular type variables (that can only be used for polymorphic variants)