ShalokShalom_ has quit [Ping timeout: 244 seconds]
ricekrispie2 has joined #ocaml
ricekrispie has quit [Ping timeout: 250 seconds]
silver_ has quit [Read error: Connection reset by peer]
_whitelogger has joined #ocaml
AnAverageHuman has joined #ocaml
<Ankhers>
Is there a simple way of compare type constructors? For example, `type foo = | Foo of int | Bar of int'. I want `Foo 1 = Foo 2' to be true because they are both `Foo'.
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 245 seconds]
caltelt_ has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ygrek has quit [Ping timeout: 245 seconds]
vsss has joined #ocaml
kvda has joined #ocaml
sonologico has joined #ocaml
_whitelogger has joined #ocaml
gravicappa has joined #ocaml
<rixed>
Ankhers: Obj.tag (Foo 1) will be the same as Obj.tag (Foo 2) I guess, but you will have to also check Obj.is_block because the same tag values are reused for constructors with and without arguments. Unless you have many (as in: automatically generated many) I would stay away from this solution though.
smondet has quit [Ping timeout: 250 seconds]
smondet has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
sonologico has quit [Remote host closed the connection]
caltelt_ has quit [Ping timeout: 255 seconds]
nopf has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
bartholin has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
_whitelogger has joined #ocaml
flodin has joined #ocaml
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
_whitelogger has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kjak has quit [Ping timeout: 255 seconds]
kjak has joined #ocaml
Haudegen[m] has quit [Remote host closed the connection]
copy` has quit [Read error: Connection reset by peer]
smondet[m] has quit [Read error: Connection reset by peer]
regnat[m] has quit [Remote host closed the connection]
yetanotherion[m] has quit [Remote host closed the connection]
aspiwack[m] has quit [Remote host closed the connection]
nojb_[m] has quit [Remote host closed the connection]
lokydor[m] has quit [Remote host closed the connection]
spectrumgomas[m] has quit [Read error: Connection reset by peer]
isaachodes[m] has quit [Read error: Connection reset by peer]
otini has quit [Remote host closed the connection]
jimt[m] has quit [Write error: Connection reset by peer]
Virgile[m] has quit [Remote host closed the connection]
nojb[m] has quit [Remote host closed the connection]
rgr[m] has quit [Read error: Connection reset by peer]
peddie has quit [Write error: Connection reset by peer]
hdurer[m] has quit [Write error: Connection reset by peer]
karan[m] has quit [Read error: Connection reset by peer]
cgenie[m] has quit [Read error: Connection reset by peer]
aecepoglu[m] has quit [Remote host closed the connection]
sepp2k has quit [Write error: Connection reset by peer]
flux[m] has quit [Write error: Connection reset by peer]
dl3br[m] has quit [Write error: Connection reset by peer]
miguelbe[m] has quit [Remote host closed the connection]
Walter[m] has quit [Remote host closed the connection]
crowley95 has quit [Ping timeout: 255 seconds]
vsss has quit [Ping timeout: 245 seconds]
ricekrispie2 is now known as ricekrispie
vsss has joined #ocaml
vsss has quit [Max SendQ exceeded]
vsss has joined #ocaml
vsss has quit [Max SendQ exceeded]
vsss has joined #ocaml
vsss has quit [Max SendQ exceeded]
vsss has joined #ocaml
crowley95 has joined #ocaml
aspiwack[m] has joined #ocaml
ggole has joined #ocaml
smondet[m] has joined #ocaml
Haudegen[m] has joined #ocaml
copy` has joined #ocaml
flux[m] has joined #ocaml
cgenie[m] has joined #ocaml
peddie has joined #ocaml
sepp2k has joined #ocaml
hdurer[m] has joined #ocaml
jimt[m] has joined #ocaml
dl3br[m] has joined #ocaml
regnat[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
spectrumgomas[m] has joined #ocaml
rgr[m] has joined #ocaml
aecepoglu[m] has joined #ocaml
isaachodes[m] has joined #ocaml
Virgile[m] has joined #ocaml
Walter[m] has joined #ocaml
lokydor[m] has joined #ocaml
karan[m] has joined #ocaml
miguelbe[m] has joined #ocaml
nojb_[m] has joined #ocaml
nojb[m] has joined #ocaml
otini has joined #ocaml
Birdface has joined #ocaml
johnelse_ has joined #ocaml
johnelse has quit [Ping timeout: 245 seconds]
apache2 has quit [Remote host closed the connection]
apache2 has joined #ocaml
mfp has joined #ocaml
freyr69 has joined #ocaml
SomeDamnBody has quit [Ping timeout: 250 seconds]
barockobamo has joined #ocaml
kjak has quit [Ping timeout: 246 seconds]
kvda has joined #ocaml
Haudegen has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
ziyourenxiang has joined #ocaml
ziyourenxiang has quit [Client Quit]
ziyourenxiang has joined #ocaml
freyr69 has quit [Ping timeout: 252 seconds]
kjak has joined #ocaml
jaar has joined #ocaml
cgenie[m] has quit [Remote host closed the connection]
aspiwack[m] has quit [Read error: Connection reset by peer]
smondet[m] has quit [Read error: Connection reset by peer]
dl3br[m] has quit [Remote host closed the connection]
flux[m] has quit [Read error: Connection reset by peer]
nojb_[m] has quit [Read error: Connection reset by peer]
Virgile[m] has quit [Remote host closed the connection]
regnat[m] has quit [Remote host closed the connection]
Walter[m] has quit [Read error: Connection reset by peer]
jimt[m] has quit [Read error: Connection reset by peer]
copy` has quit [Read error: Connection reset by peer]
hdurer[m] has quit [Read error: Connection reset by peer]
yetanotherion[m] has quit [Remote host closed the connection]
karan[m] has quit [Remote host closed the connection]
rgr[m] has quit [Remote host closed the connection]
otini has quit [Remote host closed the connection]
aecepoglu[m] has quit [Remote host closed the connection]
Haudegen[m] has quit [Remote host closed the connection]
lokydor[m] has quit [Remote host closed the connection]
spectrumgomas[m] has quit [Read error: Connection reset by peer]
miguelbe[m] has quit [Remote host closed the connection]
nojb[m] has quit [Read error: Connection reset by peer]
isaachodes[m] has quit [Remote host closed the connection]
sepp2k has quit [Read error: Connection reset by peer]
peddie has quit [Read error: Connection reset by peer]
vsss has quit [Ping timeout: 250 seconds]
vsss has joined #ocaml
vsss has quit [Max SendQ exceeded]
vsss has joined #ocaml
vsss has quit [Excess Flood]
vsss has joined #ocaml
aspiwack[m] has joined #ocaml
kakadu has joined #ocaml
nojb_[m] has joined #ocaml
miguelbe[m] has joined #ocaml
otini has joined #ocaml
lokydor[m] has joined #ocaml
karan[m] has joined #ocaml
freyr69 has joined #ocaml
j-r has quit [Quit: Page closed]
Haudegen has quit [Remote host closed the connection]
johnelse_ has quit [Quit: leaving]
johnelse has joined #ocaml
barockobamo2 has joined #ocaml
barockobamo has quit [Ping timeout: 258 seconds]
Haudegen[m] has joined #ocaml
dl3br[m] has joined #ocaml
copy` has joined #ocaml
flux[m] has joined #ocaml
cgenie[m] has joined #ocaml
aecepoglu[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
smondet[m] has joined #ocaml
hdurer[m] has joined #ocaml
rgr[m] has joined #ocaml
spectrumgomas[m] has joined #ocaml
peddie has joined #ocaml
isaachodes[m] has joined #ocaml
regnat[m] has joined #ocaml
jimt[m] has joined #ocaml
sepp2k has joined #ocaml
Walter[m] has joined #ocaml
nojb[m] has joined #ocaml
Virgile[m] has joined #ocaml
ygrek has joined #ocaml
kvda has quit [Ping timeout: 244 seconds]
freyr69 has left #ocaml ["ERC (IRC client for Emacs 26.1)"]
freyr69 has joined #ocaml
jaar has quit [Ping timeout: 258 seconds]
<zozozo>
Ankhers: the simplesst solution would be to create a function 'foo_desc = function Foo _ -> 1 | Bar _ -> 2' and then compare the results of this function I think
smondet has quit [Ping timeout: 246 seconds]
smondet has joined #ocaml
<Ankhers>
rixed, zozozo: Thanks.
silver has joined #ocaml
jaar has joined #ocaml
SrPx has quit [Ping timeout: 258 seconds]
SrPx has joined #ocaml
Haudegen has joined #ocaml
SrPx has quit [Max SendQ exceeded]
SrPx has joined #ocaml
SrPx has quit [Max SendQ exceeded]
SrPx has joined #ocaml
SrPx has quit [Max SendQ exceeded]
SrPx has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 268 seconds]
smondet has quit [Quit: leaving]
barockobamo2 has quit [Ping timeout: 264 seconds]
barockobamo2 has joined #ocaml
barockobamo2 has quit [Remote host closed the connection]
mildtaste has quit [Remote host closed the connection]
spew has joined #ocaml
freyr69 has quit [Remote host closed the connection]
nullifidian__ has quit [Read error: Connection reset by peer]
nullifidian_ has joined #ocaml
AnAverageHuman has joined #ocaml
al-damiri has joined #ocaml
okuu has joined #ocaml
Haudegen has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
AnAverageHuman has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
govg has joined #ocaml
SomeDamnBody has joined #ocaml
Haudegen has joined #ocaml
jnavila has joined #ocaml
okuu has quit [Ping timeout: 246 seconds]
sonologico has joined #ocaml
okuu has joined #ocaml
okuu has quit [Quit: unyu~!!]
okuu has joined #ocaml
tane has joined #ocaml
okuu has quit [Ping timeout: 246 seconds]
jerme_ has joined #ocaml
SomeDamnBody has quit [Ping timeout: 258 seconds]
kakadu has quit [Quit: Konversation terminated!]
govg has quit [Ping timeout: 250 seconds]
jaar has quit [Quit: Leaving]
jerme_ has left #ocaml [#ocaml]
gravicappa has quit [Ping timeout: 246 seconds]
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
kakadu has joined #ocaml
Haudegen has quit [Remote host closed the connection]
averell has quit [Quit: .]
caltelt_ has joined #ocaml
caltelt_ has quit [Remote host closed the connection]
averell has joined #ocaml
Birdface has quit [Ping timeout: 245 seconds]
Serpent7776 has quit [Quit: leaving]
Jesin has quit [Quit: Leaving]
SomeDamnBody has joined #ocaml
malc_ has joined #ocaml
<malc_>
(current git of dune) has following in dune/src/dag/dag.ml:85 List.rev path @ [ v ], why not List.rev (v:path)?
Jesin has joined #ocaml
<ggole>
The former is optimised into rev_append irrc, saving one cons
<companion_cube>
wait, what?
<companion_cube>
since when does ocaml optimize `rev x @ y`‽
<ggole>
I don't know when it was added.
<companion_cube>
but the compiler does it‽‽‽‽
<ggole>
Huh, looks like they both are
<companion_cube>
I mean, List.rev is trivially inlined to List.rev_append, yes
<companion_cube>
but you still ahve to do the `@ [v]` afterwards
<companion_cube>
which sucks
<ggole>
Oh, did I misread the output? Lemme check.
<ggole>
ah, I misread camlStdlib__$40_1165@PLT
<ggole>
Silly names.
<ggole>
Looks like its less of a case of optimiging compilargy and more of not giving a damn then.
<companion_cube>
well it'd be super strange that the compiler optimizes that
<ggole>
That's what I get for trying to extract operational characteristics from ugly assembly this late at night -_-
<companion_cube>
:D
<companion_cube>
you can also try to read intermediate formats, like cmm
<ggole>
Please return to your scheduled linear time insertions.
<companion_cube>
a bit less inscrutable
ggole has quit [Quit: Leaving]
andrewlitteken has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
sonologico has quit [Ping timeout: 245 seconds]
jnavila has quit [Remote host closed the connection]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
okuu has joined #ocaml
Haudegen has joined #ocaml
discord7 has joined #ocaml
silver_ has joined #ocaml
ygrek_ has joined #ocaml
ziyourenxiang_ has joined #ocaml
rwmjones_ has joined #ocaml
sodastabbed has joined #ocaml
ftlight_nc has joined #ocaml
tarptaeya_ has joined #ocaml
pyon has joined #ocaml
mal``` has joined #ocaml
wagle_ has joined #ocaml
TheRuralJuror has joined #ocaml
rixed_ has joined #ocaml
jstolare1 has joined #ocaml
TC01_ has joined #ocaml
mal`` has quit [Ping timeout: 255 seconds]
ftlight has quit [Ping timeout: 255 seconds]
tristero has quit [Ping timeout: 255 seconds]
vodkaInf1rno has quit [Ping timeout: 255 seconds]
rixed has quit [Ping timeout: 255 seconds]
tane has quit [Ping timeout: 255 seconds]
stux|RC-only has quit [Ping timeout: 255 seconds]
discord5 has quit [Ping timeout: 255 seconds]
philtor has quit [Ping timeout: 255 seconds]
so has quit [Ping timeout: 255 seconds]
tormen_ has quit [Ping timeout: 255 seconds]
TC01 has quit [Ping timeout: 255 seconds]
wagle has quit [Ping timeout: 255 seconds]
keep_learning has quit [Ping timeout: 246 seconds]
okuu has quit [Ping timeout: 246 seconds]
jimt has quit [Ping timeout: 246 seconds]
jstolarek has quit [Ping timeout: 246 seconds]
rwmjones has quit [Ping timeout: 246 seconds]
tarptaeya has quit [Ping timeout: 246 seconds]
silver has quit [Ping timeout: 246 seconds]
ygrek has quit [Ping timeout: 246 seconds]
sodastab has quit [Ping timeout: 246 seconds]
eikke has quit [Ping timeout: 246 seconds]
Haudegen has quit [Ping timeout: 246 seconds]
ziyourenxiang has quit [Ping timeout: 246 seconds]
tormen has joined #ocaml
philt has joined #ocaml
sodastabbed is now known as sodastab
jimt has joined #ocaml
tane has joined #ocaml
so has joined #ocaml
tane has quit [Remote host closed the connection]
ygrek__ has joined #ocaml
ygrek_ has quit [Remote host closed the connection]
tristero has joined #ocaml
eikke has joined #ocaml
vodkaInferno has joined #ocaml
TheRuralJuror has quit [Ping timeout: 245 seconds]
stux|RC-only has joined #ocaml
Haudegen has joined #ocaml
<Armael>
oh, well that's my bad, I wrote that line