adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
JimmyRcom_ has quit [Ping timeout: 252 seconds]
zmzm has joined #ocaml
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
silver_ has joined #ocaml
silver has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 240 seconds]
ziyourenxiang has quit [Ping timeout: 260 seconds]
jjmeyer0 has joined #ocaml
silver_ has quit [Read error: Connection reset by peer]
rwmjones has quit [Ping timeout: 260 seconds]
spew has quit [Ping timeout: 252 seconds]
zolk3ri_ has quit [Quit: Lost terminal]
gtrak has quit [Ping timeout: 240 seconds]
gtrak has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
zmzm has quit [Quit: zmzm]
isd has quit [Quit: Leaving.]
mfp has quit [Ping timeout: 245 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
<discord2> <BokuBeam!> @octachron Thank you! I'll test it out.
Guest36441 is now known as JSharp
JSharp is now known as Guest99925
Guest99925 has quit []
Guest99925 has joined #ocaml
hdon has joined #ocaml
dtornabene has quit [Quit: Leaving]
pierpa has joined #ocaml
Guest99925 has quit [Client Quit]
JSharp_ has joined #ocaml
JSharp_ is now known as JSharp
hdon has quit [Ping timeout: 256 seconds]
clog has quit [Ping timeout: 256 seconds]
emias has quit [Ping timeout: 256 seconds]
jjmeyer0 has quit [Ping timeout: 256 seconds]
dinosaure[s] has quit [Ping timeout: 256 seconds]
Khady has quit [Ping timeout: 256 seconds]
dinosaure[s] has joined #ocaml
jjmeyer0 has joined #ocaml
emias has joined #ocaml
Khady has joined #ocaml
Khady has joined #ocaml
gtrak has quit [Ping timeout: 252 seconds]
gtrak has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 260 seconds]
caltelt has quit [Quit: Ping timeout (120 seconds)]
caltelt has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
govg has joined #ocaml
loxs[m] has quit [*.net *.split]
Bluddy[m] has quit [*.net *.split]
drsmkl[m] has quit [*.net *.split]
neiluj has quit [*.net *.split]
RouvenAssouly[m] has quit [*.net *.split]
loxs[m] has joined #ocaml
Bluddy[m] has joined #ocaml
neiluj has joined #ocaml
RouvenAssouly[m] has joined #ocaml
drsmkl[m] has joined #ocaml
neiluj has quit [Max SendQ exceeded]
nicoo has quit [*.net *.split]
nicoo has joined #ocaml
Bluddy[m] has quit [Ping timeout: 240 seconds]
octachron has quit [Ping timeout: 260 seconds]
olopierpa[m] has quit [Ping timeout: 260 seconds]
remix2000[m] has quit [Ping timeout: 260 seconds]
drsmkl[m] has quit [Ping timeout: 240 seconds]
rgr[m] has quit [Ping timeout: 245 seconds]
pmetzger[m] has quit [Ping timeout: 245 seconds]
Haudegen[m] has quit [Ping timeout: 245 seconds]
isaachodes[m] has quit [Ping timeout: 245 seconds]
loxs[m] has quit [Ping timeout: 240 seconds]
RouvenAssouly[m] has quit [Ping timeout: 240 seconds]
M-martinklepsch has quit [Ping timeout: 255 seconds]
copy` has quit [Ping timeout: 255 seconds]
hcarty[m] has quit [Ping timeout: 260 seconds]
regnat[m] has quit [Ping timeout: 260 seconds]
smondet[m] has quit [Ping timeout: 260 seconds]
peddie[m] has quit [Ping timeout: 260 seconds]
Walter[m] has quit [Ping timeout: 255 seconds]
srenatus has quit [Ping timeout: 255 seconds]
equalunique[m] has quit [Ping timeout: 255 seconds]
ansiwen has quit [Ping timeout: 255 seconds]
aspiwack[m] has quit [Ping timeout: 255 seconds]
Khady has quit [*.net *.split]
emias has quit [*.net *.split]
sh0t has quit [*.net *.split]
wagle has quit [*.net *.split]
moei has quit [*.net *.split]
talyian[m] has quit [Ping timeout: 260 seconds]
multiocracy[m] has quit [Ping timeout: 256 seconds]
yetanotherion[m] has quit [Ping timeout: 256 seconds]
nkhodyunya has quit [Ping timeout: 256 seconds]
spectrumgomas[m] has quit [Ping timeout: 256 seconds]
bli[m] has quit [Ping timeout: 256 seconds]
flux[m] has quit [Ping timeout: 256 seconds]
caseypme[m] has quit [Ping timeout: 256 seconds]
neatonk[m] has quit [Ping timeout: 256 seconds]
mmmmmmmmmmmm[m] has quit [Ping timeout: 256 seconds]
tiksin[m] has quit [Ping timeout: 256 seconds]
emias has joined #ocaml
wagle has joined #ocaml
Khady has joined #ocaml
sh0t has joined #ocaml
orbifx[m] has quit [Ping timeout: 277 seconds]
moei has joined #ocaml
dlebrecht[m] has quit [Ping timeout: 277 seconds]
hdurer[m] has quit [Ping timeout: 277 seconds]
M-jimt has quit [Ping timeout: 277 seconds]
bglm[m] has quit [Ping timeout: 277 seconds]
octachron has joined #ocaml
moei has quit [Max SendQ exceeded]
moei has joined #ocaml
diginet has quit [Ping timeout: 240 seconds]
diginet has joined #ocaml
octachron has quit [*.net *.split]
JSharp has quit [*.net *.split]
sz0 has quit [*.net *.split]
vodkaInf1rno has quit [*.net *.split]
ELLIOTTCABLE has quit [*.net *.split]
averell has quit [*.net *.split]
unyu has quit [*.net *.split]
lobo has quit [*.net *.split]
bartholin has quit [*.net *.split]
dkrm has quit [*.net *.split]
lopex has quit [*.net *.split]
m4lvin has quit [*.net *.split]
keep_learning has quit [*.net *.split]
zozozo has quit [*.net *.split]
shw has quit [*.net *.split]
dedgrant has quit [*.net *.split]
tobiasBora has quit [*.net *.split]
salc has quit [*.net *.split]
on_ion has quit [*.net *.split]
tilpner has quit [*.net *.split]
johnelse_ has quit [*.net *.split]
xvilka has quit [*.net *.split]
Armael has quit [*.net *.split]
SegFaultAX has quit [*.net *.split]
Robdor has quit [*.net *.split]
xa0 has quit [*.net *.split]
sh0t has quit [Quit: Leaving]
keep_learning has joined #ocaml
zozozo has joined #ocaml
Armael has joined #ocaml
shw has joined #ocaml
salc has joined #ocaml
tilpner has joined #ocaml
tobiasBora has joined #ocaml
on_ion has joined #ocaml
Robdor has joined #ocaml
johnelse_ has joined #ocaml
SegFaultAX has joined #ocaml
dedgrant has joined #ocaml
xvilka has joined #ocaml
xa0 has joined #ocaml
octachron has joined #ocaml
ELLIOTTCABLE has joined #ocaml
vodkaInf1rno has joined #ocaml
JSharp has joined #ocaml
dkrm has joined #ocaml
bartholin has joined #ocaml
averell has joined #ocaml
lobo has joined #ocaml
unyu has joined #ocaml
sz0 has joined #ocaml
lopex has joined #ocaml
m4lvin has joined #ocaml
ELLIOTTCABLE has quit [Max SendQ exceeded]
sz0 has quit [Max SendQ exceeded]
gtrak has quit [*.net *.split]
exarkun has quit [*.net *.split]
hannes has quit [*.net *.split]
dejanr has quit [*.net *.split]
Soni has quit [*.net *.split]
kalio has quit [*.net *.split]
cow-orker has quit [*.net *.split]
butterthebuddha has quit [*.net *.split]
xaimus has quit [*.net *.split]
cobbal has quit [*.net *.split]
jrslepak has quit [*.net *.split]
Drup has quit [*.net *.split]
andrewalker has quit [*.net *.split]
iZsh has quit [*.net *.split]
malina has quit [*.net *.split]
Exagone313 has quit [*.net *.split]
jack5638 has quit [*.net *.split]
groovy2shoes has quit [*.net *.split]
bairui has quit [*.net *.split]
zmt00 has quit [*.net *.split]
nullifidian has quit [*.net *.split]
Fistine has quit [*.net *.split]
theglass has quit [*.net *.split]
riveter has quit [*.net *.split]
Guest55519 has quit [*.net *.split]
markhkim has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
Guest96492 has quit [*.net *.split]
tokenrove has quit [*.net *.split]
Cypi has quit [*.net *.split]
seliopou has quit [*.net *.split]
iZsh has joined #ocaml
Soni has joined #ocaml
cow-orker has joined #ocaml
Drup has joined #ocaml
butterthebuddha has joined #ocaml
andrewalker has joined #ocaml
kalio has joined #ocaml
jrslepak has joined #ocaml
cobbal has joined #ocaml
xaimus has joined #ocaml
dejanr has joined #ocaml
hannes has joined #ocaml
exarkun has joined #ocaml
gtrak has joined #ocaml
Soni has quit [Max SendQ exceeded]
butterthebuddha has quit [Max SendQ exceeded]
butterthebuddha has joined #ocaml
Soni has joined #ocaml
markhkim has joined #ocaml
riveter has joined #ocaml
theglass has joined #ocaml
nullifidian has joined #ocaml
Fistine has joined #ocaml
Guest55519 has joined #ocaml
Asmadeus has joined #ocaml
groovy2shoes has joined #ocaml
tokenrove has joined #ocaml
bairui has joined #ocaml
zmt00 has joined #ocaml
Cypi has joined #ocaml
Guest96492 has joined #ocaml
Exagone313 has joined #ocaml
jack5638 has joined #ocaml
malina has joined #ocaml
seliopou has joined #ocaml
sz0 has joined #ocaml
ELLIOTTCABLE has joined #ocaml
dinosaure[s] has quit [*.net *.split]
infinity0 has quit [*.net *.split]
letoh has quit [*.net *.split]
reynir has quit [*.net *.split]
shakalaka has quit [*.net *.split]
weird_error has quit [*.net *.split]
neatonk has quit [*.net *.split]
jimmyrcom has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
bramford has quit [*.net *.split]
adrien has quit [*.net *.split]
discord2 has quit [*.net *.split]
tizoc has quit [*.net *.split]
tg has quit [*.net *.split]
jmiven has quit [*.net *.split]
stux|RC has quit [*.net *.split]
tianon has quit [*.net *.split]
flodin has quit [*.net *.split]
TC01 has quit [*.net *.split]
dogui has quit [*.net *.split]
mikeyhc has quit [*.net *.split]
eagleflo has quit [*.net *.split]
profan has quit [*.net *.split]
malina has quit [*.net *.split]
Exagone313 has quit [*.net *.split]
jack5638 has quit [*.net *.split]
groovy2shoes has quit [*.net *.split]
bairui has quit [*.net *.split]
zmt00 has quit [*.net *.split]
nullifidian has quit [*.net *.split]
Fistine has quit [*.net *.split]
theglass has quit [*.net *.split]
riveter has quit [*.net *.split]
Guest55519 has quit [*.net *.split]
markhkim has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
Guest96492 has quit [*.net *.split]
tokenrove has quit [*.net *.split]
Cypi has quit [*.net *.split]
seliopou has quit [*.net *.split]
gtrak has quit [*.net *.split]
exarkun has quit [*.net *.split]
hannes has quit [*.net *.split]
dejanr has quit [*.net *.split]
kalio has quit [*.net *.split]
cow-orker has quit [*.net *.split]
xaimus has quit [*.net *.split]
cobbal has quit [*.net *.split]
jrslepak has quit [*.net *.split]
Drup has quit [*.net *.split]
andrewalker has quit [*.net *.split]
iZsh has quit [*.net *.split]
octachron has quit [*.net *.split]
JSharp has quit [*.net *.split]
vodkaInf1rno has quit [*.net *.split]
averell has quit [*.net *.split]
unyu has quit [*.net *.split]
lobo has quit [*.net *.split]
bartholin has quit [*.net *.split]
dkrm has quit [*.net *.split]
lopex has quit [*.net *.split]
m4lvin has quit [*.net *.split]
keep_learning has quit [*.net *.split]
zozozo has quit [*.net *.split]
shw has quit [*.net *.split]
tobiasBora has quit [*.net *.split]
dedgrant has quit [*.net *.split]
salc has quit [*.net *.split]
on_ion has quit [*.net *.split]
tilpner has quit [*.net *.split]
johnelse_ has quit [*.net *.split]
xvilka has quit [*.net *.split]
Armael has quit [*.net *.split]
SegFaultAX has quit [*.net *.split]
Robdor has quit [*.net *.split]
xa0 has quit [*.net *.split]
Soni has quit [*.net *.split]
butterthebuddha has quit [*.net *.split]
Khady has quit [*.net *.split]
emias has quit [*.net *.split]
wagle has quit [*.net *.split]
nicoo has quit [*.net *.split]
pierpa has quit [*.net *.split]
RalfJ has quit [*.net *.split]
Duns_Scrotus has quit [*.net *.split]
flux has quit [*.net *.split]
mattg has quit [*.net *.split]
banjiewen has quit [*.net *.split]
runciter has quit [*.net *.split]
eikke has quit [*.net *.split]
ioanluca has quit [*.net *.split]
Guest46527 has quit [*.net *.split]
Madars has quit [*.net *.split]
pitastrudl has quit [*.net *.split]
philtor has quit [*.net *.split]
opios has quit [*.net *.split]
sheijk has quit [*.net *.split]
jerith has quit [*.net *.split]
_habnabit has quit [*.net *.split]
maker has quit [*.net *.split]
Chobbes has quit [*.net *.split]
mrallen1 has quit [*.net *.split]
ipfix has quit [*.net *.split]
jmct has quit [*.net *.split]
Guest13947 has quit [*.net *.split]
stephe has quit [*.net *.split]
jun has quit [*.net *.split]
chindy has quit [*.net *.split]
ahf has quit [*.net *.split]
freusque has quit [*.net *.split]
sveit has quit [*.net *.split]
madroach has quit [*.net *.split]
bacam has quit [*.net *.split]
Muzer has quit [*.net *.split]
Guest70885 has quit [*.net *.split]
monad_cat has quit [*.net *.split]
rfv has quit [*.net *.split]
mehdib has quit [*.net *.split]
igitoor has quit [*.net *.split]
sonologico has quit [*.net *.split]
orbitz has quit [*.net *.split]
ilovezfs_ has quit [*.net *.split]
strmpnk has quit [*.net *.split]
vinoski has quit [*.net *.split]
adi_____ has quit [*.net *.split]
caw_______ has quit [*.net *.split]
haesbaert has quit [*.net *.split]
vbmithr has quit [*.net *.split]
TallerGhostWalt has quit [*.net *.split]
govg has quit [*.net *.split]
caltelt has quit [*.net *.split]
tormen_ has quit [*.net *.split]
jjmeyer0 has quit [*.net *.split]
greenbagels has quit [*.net *.split]
le4fy has quit [*.net *.split]
chelfi has quit [*.net *.split]
sspi has quit [*.net *.split]
Guest85232 has quit [*.net *.split]
sz0 has quit [*.net *.split]
moei has quit [*.net *.split]
cschneid_ has quit [*.net *.split]
mcspud has quit [*.net *.split]
Guest48474 has quit [*.net *.split]
lukky513 has quit [*.net *.split]
leah2 has quit [*.net *.split]
clockish has quit [*.net *.split]
kini has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
mrvn has quit [*.net *.split]
magicbit has quit [*.net *.split]
aegray_ has quit [*.net *.split]
steenuil has quit [*.net *.split]
cross has quit [*.net *.split]
inr has quit [*.net *.split]
srax1 has quit [*.net *.split]
engil has quit [*.net *.split]
mathsm has quit [*.net *.split]
rom1504 has quit [*.net *.split]
DrWhax has quit [*.net *.split]
thegameg has quit [*.net *.split]
_whitelogger has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
discord3 has quit [Read error: No route to host]
discord4 has joined #ocaml
ansiwen has joined #ocaml
multiocracy[m] has joined #ocaml
spectrumgomas[m] has joined #ocaml
RouvenAssouly[m] has joined #ocaml
remix2000[m] has joined #ocaml
srenatus has joined #ocaml
aspiwack[m] has joined #ocaml
M-martinklepsch has joined #ocaml
M-jimt has joined #ocaml
neiluj has joined #ocaml
copy` has joined #ocaml
drsmkl[m] has joined #ocaml
equalunique[m] has joined #ocaml
bglm[m] has joined #ocaml
hdurer[m] has joined #ocaml
Walter[m] has joined #ocaml
smondet[m] has joined #ocaml
peddie[m] has joined #ocaml
pmetzger[m] has joined #ocaml
talyian[m] has joined #ocaml
hcarty[m] has joined #ocaml
rgr[m] has joined #ocaml
regnat[m] has joined #ocaml
caseypme[m] has joined #ocaml
loxs[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
olopierpa[m] has joined #ocaml
mmmmmmmmmmmm[m] has joined #ocaml
tiksin[m] has joined #ocaml
isaachodes[m] has joined #ocaml
neatonk[m] has joined #ocaml
flux[m] has joined #ocaml
Haudegen[m] has joined #ocaml
orbifx[m] has joined #ocaml
nkhodyunya has joined #ocaml
bli[m] has joined #ocaml
Bluddy[m] has joined #ocaml
dlebrecht[m] has joined #ocaml
yaewa has joined #ocaml
moei has quit [Ping timeout: 260 seconds]
yaewa has quit [Remote host closed the connection]
moei has joined #ocaml
hdon has joined #ocaml
on_ion has quit [Ping timeout: 260 seconds]
dxtr has quit [Ping timeout: 245 seconds]
dxtr has joined #ocaml
on_ion has joined #ocaml
pierpa has quit [Quit: Page closed]
hdon has quit [Ping timeout: 256 seconds]
clog has joined #ocaml
pierpal has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
pierpal has quit [Quit: Poof]
on_ion has quit [Ping timeout: 260 seconds]
mbuf has joined #ocaml
shinnya has joined #ocaml
on_ion has joined #ocaml
pierpal has joined #ocaml
malina has joined #ocaml
govg has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
tarptaeya has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
ziyourenxiang has joined #ocaml
hannes has quit [Quit: Coyote finally caught me]
hannes has joined #ocaml
Haudegen has joined #ocaml
rwmjones has joined #ocaml
jaar has joined #ocaml
argent_smith has joined #ocaml
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
mk9 has joined #ocaml
mfp has joined #ocaml
hdon has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
hdon has quit [Ping timeout: 252 seconds]
zolk3ri has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 260 seconds]
shinnya has quit [Ping timeout: 265 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
weird_error has quit [Quit: weird_error]
Bronsa has quit [Remote host closed the connection]
yaewa has joined #ocaml
moei has quit [Ping timeout: 255 seconds]
mk9 has quit [Quit: mk9]
exarkun has quit [Read error: Connection reset by peer]
exarkun has joined #ocaml
kakadu has joined #ocaml
jjmeyer0 has quit [Ping timeout: 256 seconds]
pierpal has quit [Ping timeout: 252 seconds]
shinnya has joined #ocaml
pierpal has joined #ocaml
argent_smith has joined #ocaml
argent_smith1 has quit [Ping timeout: 268 seconds]
argent_smith1 has joined #ocaml
argent_smith2 has joined #ocaml
argent_smith has quit [Ping timeout: 252 seconds]
argent_smith1 has quit [Ping timeout: 248 seconds]
<adrien> has anyone seen examples of https://github.com/gfngfn/SATySFi ?
FreeBirdLjj has joined #ocaml
_andre has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
sh0t has joined #ocaml
mbuf has quit [Quit: Leaving]
pierpal has quit [Ping timeout: 240 seconds]
<Drup> rks`: pour la PR sur les locs a travers les substs. ce que tu indiques dans la description de la PR est pas exactement ce que tu obtiens dans les tests. Je suppose que c'est parce qu'il manque -keel-locs ? Tu pourrais l'ajouter dans le test ?
<Drup> keep*
Haudegen has joined #ocaml
sh0t has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
pierpal has joined #ocaml
hdon has quit [Ping timeout: 268 seconds]
gtrak has quit [Ping timeout: 248 seconds]
gtrak has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
malina has quit [Remote host closed the connection]
pierpal has joined #ocaml
sh0t has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
BitPuffin has joined #ocaml
jao has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
mk9 has quit [Quit: mk9]
noitakomentaja has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
spew has joined #ocaml
gtrak has quit [Ping timeout: 256 seconds]
pierpal has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
noitakomentaja has quit [Ping timeout: 250 seconds]
Bronsa has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
mk9 has joined #ocaml
gtrak has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
gtrak has quit [Ping timeout: 260 seconds]
neatonk has quit [Ping timeout: 252 seconds]
gtrak has joined #ocaml
neatonk has joined #ocaml
FreeBirdLjj has joined #ocaml
mk9 has quit [Ping timeout: 240 seconds]
gtrak has quit [Ping timeout: 256 seconds]
gtrak has joined #ocaml
noitakomentaja has joined #ocaml
neatonk has quit [Quit: neatonk]
neatonk has joined #ocaml
neatonk has quit [Ping timeout: 276 seconds]
Haudegen has quit [Read error: Connection reset by peer]
hdon has joined #ocaml
freusque has quit [Quit: WeeChat 2.0]
hdon has quit [Ping timeout: 264 seconds]
argent_smith2 has quit [Quit: Leaving.]
neatonk has joined #ocaml
argent_smith has joined #ocaml
neatonk has quit [Ping timeout: 264 seconds]
noitakomentaja has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
neatonk has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
_etc has joined #ocaml
<_etc> Hi! Does anyone know if you can import rules in ocamllex lexers from other .mll files?
neatonk has quit [Ping timeout: 240 seconds]
<discord4> <Perry> I don't remember reading of such a facility.
ziyourenxiang has quit [Ping timeout: 248 seconds]
<_etc> :/ ah well thanks!
Haudegen has joined #ocaml
<discord4> <Perry> BTW, just FYI, the discord (https://discord.gg/cCYQbqN) is more active at the moment than the IRC channel.
<companion_cube> good for them
FreeBirdLjj has joined #ocaml
jaar has quit [Quit: Leaving]
<companion_cube> wait, if it's an OCaml discord, why is it not linked to IRC? :s
silver has joined #ocaml
<discord4> <Perry> It is, but there is more than the irc channel.
<discord4> <Perry> There's a channel bridged to IRC and also some specialized conversation channels.
<companion_cube> it'd make sense to bridge the general channel, I think, then
<companion_cube> oh well…
<discord4> <Perry> BTW, still soliciting comments on https://github.com/ocaml/ocaml/pull/1802 and especially on whether I should be checking for UTF-8 encoding validity in the lexer.
<Drup> My vote goes for no
jnavila has joined #ocaml
<companion_cube> grr, discord is so annoying
<companion_cube> too many chat clients
<discord4> <Perry> Drup: so you think leave the patch as is. Would you comment on that?
<discord4> <Perry> companion_cube: I'm currently running eight. It's irritating.
<companion_cube> I already have two, and that's one too many
<Drup> :+1:
<discord4> <Perry> I don't disagree in principle. It's just a problem I'm ill equipped to fix, unlike, say, bugs in my own code. 😦
<companion_cube> maybe merging the main discord chan with this IRC chan would help
<discord4> <Perry> I will say this: having markdown is nice. IRC clients should support Markdown.
<discord4> <Perry> Esp. for things like inline code samples.
<discord4> <Perry> And I really like seeing what I missed while I was away.
<Drup> Amusingly, discord doesn't really support markdown
<Drup> you can use links in the form [foo](url).
<Drup> can't*
_etc has quit [Quit: leaving]
<discord4> <Perry> It sort of supports it. Part of the problem is that there are 15 different implementations of Markdown. Anyway, IRC doesn't support it at all...
FreeBirdLjj has quit [Remote host closed the connection]
<companion_cube> it should just support putting stuff in ``` ```
<discord4> <Perry> Hrm. On the Discord side, that came out as a blank box.
<companion_cube> ahah :D
<companion_cube> two sets of triple backquotes
jnavila has quit [Ping timeout: 256 seconds]
hdon has joined #ocaml
neatonk has joined #ocaml
sh0t has joined #ocaml
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
jnavila has joined #ocaml
shinnya has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 240 seconds]
JimmyRcom_ has joined #ocaml
JimmyRcom_ has quit [Quit: Leaving]
tg has quit [Ping timeout: 255 seconds]
neatonk1 has joined #ocaml
neatonk has quit [Ping timeout: 276 seconds]
neatonk1 is now known as neatonk
mk9 has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
sgnb` has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
zolk3ri_ has joined #ocaml
pierpal has quit [Ping timeout: 248 seconds]
dmbaturin_ has joined #ocaml
adrien_ has joined #ocaml
mk9 has quit [Quit: mk9]
bramford_ has joined #ocaml
letoh_ has joined #ocaml
baroud has joined #ocaml
tizoc` has joined #ocaml
shakalaka_ has joined #ocaml
tizoc has quit [Disconnected by services]
tizoc` is now known as tizoc
jnavila has joined #ocaml
zolk3ri has quit [*.net *.split]
dinosaure[s] has quit [*.net *.split]
infinity0 has quit [*.net *.split]
shakalaka has quit [*.net *.split]
letoh has quit [*.net *.split]
reynir has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
jimmyrcom has quit [*.net *.split]
bramford has quit [*.net *.split]
adrien has quit [*.net *.split]
tizoc has quit [Changing host]
tizoc has joined #ocaml
pierpal has joined #ocaml
infinity0 has joined #ocaml
letoh_ is now known as letoh
tg has joined #ocaml
dinosaure[s] has joined #ocaml
jimmyrcom has joined #ocaml
reynir has joined #ocaml
Anarchos has joined #ocaml
alicemaz has quit [Quit: WeeChat 1.4]
Haudegen has quit [Remote host closed the connection]
al-damiri has joined #ocaml
pierpal has quit [Quit: Poof]
jao has joined #ocaml
pierpal has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
ocaml435 has joined #ocaml
kakadu has joined #ocaml
<ocaml435> Eliom Q from a novice : what is the best way to create a table based on query results when you don't know how many rows will be present? My only idea at present is get my type t list (based on an outside module dependency), then DOM API manipulation to append child tr and td nodes to a table.
<spew> which style do you all prefer for multi line "pipelines" with "|>"
pierpal has quit [Ping timeout: 256 seconds]
<spew> have the "|>" at the beginning or end of the line?
<spew> and if you have it at the end, do you indent?
<companion_cube> beginning of the line
<spew> thanks
<octachron> spew, aligning `|>` at the beginning of the lines makes the pipeline structure much more visible
<steenuil> beginning of the next line, no indent
<spew> thanks all
argent_smith has joined #ocaml
<flux[m]> spew: I usually put them in the beginning, and indent | at the same level as the first expression
Haudegen has joined #ocaml
<ocaml435> \quit
ocaml435 has quit []
pierpal has joined #ocaml
jnavila has quit [Ping timeout: 276 seconds]
exarkun has quit [Read error: Connection reset by peer]
pierpal has quit [Ping timeout: 255 seconds]
mk9 has joined #ocaml
exarkun has joined #ocaml
larhat has joined #ocaml
baroud has quit [Remote host closed the connection]
nahra has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
gtrak has quit [Ping timeout: 240 seconds]
neatonk has quit [Quit: neatonk]
neatonk has joined #ocaml
jnavila has joined #ocaml
sh0t has quit [Ping timeout: 256 seconds]
pierpa has joined #ocaml
jnavila has quit [Remote host closed the connection]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
gtrak has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
navaja has joined #ocaml
mk9 has quit [Quit: mk9]
gtrak has quit [Ping timeout: 248 seconds]
moei has quit [Quit: Leaving...]
mk9 has joined #ocaml
navaja has quit [Ping timeout: 268 seconds]
mk9 has quit [Quit: mk9]
Haudegen has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
shinnya has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
gtrak has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
gtrak has quit [Ping timeout: 256 seconds]
larhat has quit [Quit: Leaving.]
rostero has joined #ocaml
argent_smith has quit [Quit: Leaving.]
zolk3ri_ has quit [Quit: leaving]
neatonk has quit [Remote host closed the connection]
lyxia has quit [Remote host closed the connection]
lyxia has joined #ocaml
kakadu has quit [Remote host closed the connection]
lyxia has quit [Client Quit]
lyxia has joined #ocaml
moei has joined #ocaml