casastortaAway has quit [Quit: ZNC 1.10.1 - https://znc.in]
casastorta has joined #ocaml
Exa has joined #ocaml
casastortaAway has joined #ocaml
Exa has quit [Remote host closed the connection]
Exa has joined #ocaml
Exa has quit [Quit: see ya!]
<discocaml>
<kinokasai> To be clear, this is from Frederic Bour's phd work
Exa has joined #ocaml
Haudegen has joined #ocaml
Exa has quit [Quit: see ya!]
Exa has joined #ocaml
Exa has quit [Quit: see ya!]
Tuplanolla has joined #ocaml
Exa has joined #ocaml
steenuil has quit [Read error: Connection reset by peer]
switchy has quit [Ping timeout: 258 seconds]
zarakshR has quit [Ping timeout: 258 seconds]
Frostillicus has quit [Ping timeout: 258 seconds]
tremon has quit [Ping timeout: 258 seconds]
agentcasey has quit [Ping timeout: 258 seconds]
tronexte has quit [Ping timeout: 258 seconds]
hsw has quit [Ping timeout: 258 seconds]
olle has quit [Ping timeout: 258 seconds]
olle has joined #ocaml
Frostillicus has joined #ocaml
itszor has quit [*.net *.split]
jutty has quit [*.net *.split]
Serpent7776 has quit [*.net *.split]
nemin has quit [*.net *.split]
nyuhu has quit [*.net *.split]
dylanj has quit [*.net *.split]
chrisz has quit [*.net *.split]
ymherklotz has quit [*.net *.split]
leah2 has quit [*.net *.split]
probablyrobert has quit [*.net *.split]
kurfen has quit [*.net *.split]
Guest1333 has quit [*.net *.split]
caasih has quit [*.net *.split]
companion_cube has quit [*.net *.split]
slothby has quit [*.net *.split]
buoy49__ has quit [*.net *.split]
richardhuxton has quit [*.net *.split]
GreaseMonkey has quit [*.net *.split]
Techcable has quit [*.net *.split]
pandeyan has quit [*.net *.split]
end has quit [*.net *.split]
b0o has quit [*.net *.split]
pgiarrusso has quit [*.net *.split]
phaebz has quit [*.net *.split]
mal`` has quit [*.net *.split]
nirvdrum7410 has quit [*.net *.split]
sailorTheCat has quit [*.net *.split]
jbowen has quit [*.net *.split]
spynxic has quit [*.net *.split]
chiselfuse has quit [*.net *.split]
Exa has quit [*.net *.split]
casastorta has quit [*.net *.split]
bcksl has quit [*.net *.split]
shwouchk has quit [*.net *.split]
troydm has quit [*.net *.split]
dstein64 has quit [*.net *.split]
theblatte has quit [*.net *.split]
xenu has quit [*.net *.split]
johnel has quit [*.net *.split]
pie_ has quit [*.net *.split]
rak has quit [*.net *.split]
terrorjack has quit [*.net *.split]
bibi_ has quit [*.net *.split]
ced2 has quit [*.net *.split]
leonardus has quit [*.net *.split]
ggb has quit [*.net *.split]
priime has quit [*.net *.split]
octachron has quit [*.net *.split]
andrzejku has quit [*.net *.split]
remexre has quit [*.net *.split]
mercxry has quit [*.net *.split]
pippijn has quit [*.net *.split]
oisota has quit [*.net *.split]
hazelmeow has quit [*.net *.split]
casastortaAway has quit [*.net *.split]
amadaluzia has quit [*.net *.split]
habnabit_ has quit [*.net *.split]
igemnace has quit [*.net *.split]
ohperitel has quit [*.net *.split]
inline_ has quit [*.net *.split]
JSharp has quit [*.net *.split]
noddy has quit [*.net *.split]
ocabot has quit [*.net *.split]
energizer has quit [*.net *.split]
Leonidas has quit [*.net *.split]
kron has quit [*.net *.split]
ridcully has quit [*.net *.split]
tomku has quit [*.net *.split]
germ has quit [*.net *.split]
Ekho has quit [*.net *.split]
sleepydog has quit [*.net *.split]
henrytill has quit [*.net *.split]
farn__ has quit [*.net *.split]
lobo has quit [*.net *.split]
deadmarshal has quit [*.net *.split]
wickedshell has quit [*.net *.split]
abbe__ has quit [*.net *.split]
mstevens has quit [*.net *.split]
vbramselaar has quit [*.net *.split]
za3k has quit [*.net *.split]
copy has quit [*.net *.split]
xgqt has quit [*.net *.split]
slondr has quit [*.net *.split]
greenonions has quit [*.net *.split]
cawfee has quit [*.net *.split]
exfalsoquodlibet has quit [*.net *.split]
immutable has quit [*.net *.split]
arya_elfren has quit [*.net *.split]
pmk has quit [*.net *.split]
nore has quit [*.net *.split]
jsoo has quit [*.net *.split]
discocaml has quit [*.net *.split]
megeve has quit [*.net *.split]
Mister_Magister has quit [*.net *.split]
mima has quit [*.net *.split]
j0lol has quit [*.net *.split]
berberman has quit [*.net *.split]
schplaf has quit [*.net *.split]
gentauro has quit [*.net *.split]
cbarrett has quit [*.net *.split]
semarie has quit [*.net *.split]
nfc_ has quit [*.net *.split]
CalimeroTeknik has quit [*.net *.split]
malte has quit [*.net *.split]
Duns_Scrotus has quit [*.net *.split]
grobe0ba has quit [*.net *.split]
lane has quit [*.net *.split]
bacam has quit [*.net *.split]
Fardale has quit [*.net *.split]
infinity0 has quit [*.net *.split]
gahr has quit [*.net *.split]
ski has quit [*.net *.split]
beo has quit [*.net *.split]
xvilka has quit [*.net *.split]
pluviaq has quit [*.net *.split]
cross has quit [*.net *.split]
lisq has quit [*.net *.split]
quernd1 has quit [*.net *.split]
sadiq has quit [*.net *.split]
hanker has quit [*.net *.split]
whereiseveryone has quit [*.net *.split]
seeg has quit [*.net *.split]
_alix has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
dh` has quit [*.net *.split]
SquidDev has quit [*.net *.split]
cr1901 has quit [*.net *.split]
divya has quit [*.net *.split]
emp has quit [*.net *.split]
ursa-major has quit [*.net *.split]
Ankhers has quit [*.net *.split]
collide2954 has quit [*.net *.split]
deavmi has quit [*.net *.split]
thizanne has quit [*.net *.split]
welterde has quit [*.net *.split]
eilvelia has quit [*.net *.split]
nlocalhost has quit [*.net *.split]
afrosenpai has quit [*.net *.split]
Johann has quit [*.net *.split]
zozozo has quit [*.net *.split]
philipwhite has quit [*.net *.split]
rustyne has quit [*.net *.split]
adrien has quit [*.net *.split]
cedb_ has quit [*.net *.split]
Putonlalla has quit [*.net *.split]
jyc has quit [*.net *.split]
drakonis has quit [*.net *.split]
cwypt has quit [*.net *.split]
Armael has quit [*.net *.split]
tronexte_ has joined #ocaml
Exa has joined #ocaml
agentcasey_ has joined #ocaml
casastortaAway has joined #ocaml
zarakshR has joined #ocaml
amadaluzia has joined #ocaml
casastorta has joined #ocaml
rak has joined #ocaml
itszor has joined #ocaml
jutty has joined #ocaml
nemin has joined #ocaml
ymherklotz has joined #ocaml
ridcully has joined #ocaml
Serpent7776 has joined #ocaml
leah2 has joined #ocaml
pmk has joined #ocaml
habnabit_ has joined #ocaml
nore has joined #ocaml
buoy49__ has joined #ocaml
chiselfuse has joined #ocaml
probablyrobert has joined #ocaml
nyuhu has joined #ocaml
igemnace has joined #ocaml
dylanj has joined #ocaml
richardhuxton has joined #ocaml
ohperitel has joined #ocaml
bibi_ has joined #ocaml
inline_ has joined #ocaml
GreaseMonkey has joined #ocaml
kurfen has joined #ocaml
abbe__ has joined #ocaml
cbarrett has joined #ocaml
Mister_Magister has joined #ocaml
Techcable has joined #ocaml
JSharp has joined #ocaml
Guest1333 has joined #ocaml
jsoo has joined #ocaml
noddy has joined #ocaml
ski has joined #ocaml
caasih has joined #ocaml
mstevens has joined #ocaml
companion_cube has joined #ocaml
discocaml has joined #ocaml
ocabot has joined #ocaml
megeve has joined #ocaml
pandeyan has joined #ocaml
terrorjack has joined #ocaml
mima has joined #ocaml
slothby has joined #ocaml
chrisz has joined #ocaml
energizer has joined #ocaml
Leonidas has joined #ocaml
nfc_ has joined #ocaml
end has joined #ocaml
bcksl has joined #ocaml
semarie has joined #ocaml
germ has joined #ocaml
ced2 has joined #ocaml
shwouchk has joined #ocaml
Ankhers has joined #ocaml
leonardus has joined #ocaml
b0o has joined #ocaml
pgiarrusso has joined #ocaml
beo has joined #ocaml
phaebz has joined #ocaml
vbramselaar has joined #ocaml
sleepydog has joined #ocaml
Ekho has joined #ocaml
henrytill has joined #ocaml
xvilka has joined #ocaml
pluviaq has joined #ocaml
farn__ has joined #ocaml
mal`` has joined #ocaml
nirvdrum7410 has joined #ocaml
sailorTheCat has joined #ocaml
kron has joined #ocaml
lobo has joined #ocaml
jbowen has joined #ocaml
deadmarshal has joined #ocaml
wickedshell has joined #ocaml
za3k has joined #ocaml
collide2954 has joined #ocaml
spynxic has joined #ocaml
cr1901 has joined #ocaml
troydm has joined #ocaml
tomku has joined #ocaml
deavmi has joined #ocaml
copy has joined #ocaml
xgqt has joined #ocaml
greenonions has joined #ocaml
slondr has joined #ocaml
j0lol has joined #ocaml
divya has joined #ocaml
dstein64 has joined #ocaml
thizanne has joined #ocaml
theblatte has joined #ocaml
xenu has joined #ocaml
cawfee has joined #ocaml
ggb has joined #ocaml
johnel has joined #ocaml
Armael has joined #ocaml
priime has joined #ocaml
pie_ has joined #ocaml
CalimeroTeknik has joined #ocaml
cwypt has joined #ocaml
octachron has joined #ocaml
berberman has joined #ocaml
exfalsoquodlibet has joined #ocaml
malte has joined #ocaml
andrzejku has joined #ocaml
immutable has joined #ocaml
cross has joined #ocaml
arya_elfren has joined #ocaml
Duns_Scrotus has joined #ocaml
remexre has joined #ocaml
welterde has joined #ocaml
emp has joined #ocaml
mercxry has joined #ocaml
grobe0ba has joined #ocaml
pippijn has joined #ocaml
oisota has joined #ocaml
hazelmeow has joined #ocaml
dmbaturin has joined #ocaml
dh` has joined #ocaml
seeg has joined #ocaml
_alix has joined #ocaml
whereiseveryone has joined #ocaml
lisq has joined #ocaml
zozozo has joined #ocaml
ursa-major has joined #ocaml
nlocalhost has joined #ocaml
quernd1 has joined #ocaml
philipwhite has joined #ocaml
sadiq has joined #ocaml
gentauro has joined #ocaml
bacam has joined #ocaml
hanker has joined #ocaml
Fardale has joined #ocaml
infinity0 has joined #ocaml
gahr has joined #ocaml
drakonis has joined #ocaml
Johann has joined #ocaml
jyc has joined #ocaml
Putonlalla has joined #ocaml
cedb_ has joined #ocaml
afrosenpai has joined #ocaml
SquidDev has joined #ocaml
adrien has joined #ocaml
rustyne has joined #ocaml
schplaf has joined #ocaml
eilvelia has joined #ocaml
lane has joined #ocaml
olle has quit [Ping timeout: 240 seconds]
Exa has quit [Quit: see ya!]
Exa has joined #ocaml
tremon has joined #ocaml
switchy has joined #ocaml
Everything has joined #ocaml
steenuil has joined #ocaml
inline_ is now known as inline
Haudegen has quit [Quit: Bin weg.]
zarakshR has quit [Ping timeout: 252 seconds]
luc4 has joined #ocaml
euphores has joined #ocaml
Haudegen has joined #ocaml
ello_ has joined #ocaml
ello_ has quit [Client Quit]
Serpent7776 has quit [Ping timeout: 245 seconds]
ello_ has joined #ocaml
zarakshR has joined #ocaml
Frostillicus has quit [Ping timeout: 258 seconds]
dh` has quit [Server closed connection]
dh` has joined #ocaml
Frostillicus has joined #ocaml
zarakshR has quit [Ping timeout: 258 seconds]
Everything has quit [Ping timeout: 256 seconds]
ced2 has quit [Changing host]
ced2 has joined #ocaml
ced2 is now known as cedb
zarakshR has joined #ocaml
dh` has joined #ocaml
dh` has quit [Changing host]
casastortaAway has quit [Ping timeout: 248 seconds]
Frostillicus has quit [Remote host closed the connection]
Frostillicus has joined #ocaml
Frostillicus has quit [Ping timeout: 248 seconds]
casastortaAway has joined #ocaml
Frostillicus has joined #ocaml
bartholin has joined #ocaml
Frostillicus has quit [Ping timeout: 258 seconds]
Frostillicus has joined #ocaml
Serpent7776 has joined #ocaml
luc4 has quit [Ping timeout: 260 seconds]
luc4 has joined #ocaml
Anarchos has joined #ocaml
Frostillicus has quit [Remote host closed the connection]
Frostillicus has joined #ocaml
end has quit [Quit: end]
bcksl has quit [Quit: \]
luc4 has quit [Quit: Konversation terminated!]
nemin has quit [Quit: nemin]
ursa-major has quit [Server closed connection]
ursa-major has joined #ocaml
dmbaturin has quit [Server closed connection]
dmbaturin has joined #ocaml
toastal has joined #ocaml
euphores has quit [Ping timeout: 258 seconds]
Tuplanolla has quit [Quit: Leaving.]
<discocaml>
<zarakshr> does anyone know how to get `ocamlformat` to default to `begin ... end` for nested `match` expressions? I want:
<discocaml>
<zarakshr> ```ocaml
<discocaml>
<zarakshr> match e with
<discocaml>
<zarakshr> | p1 -> e1
<discocaml>
<zarakshr> | p2 ->
<discocaml>
<zarakshr> match e' with
<discocaml>
<zarakshr> | p3 -> e3
<discocaml>
<zarakshr> | p4 -> e4
<discocaml>
<zarakshr> ```
<discocaml>
<zarakshr> to be formatted to
<discocaml>
<zarakshr> ```ocaml
<discocaml>
<zarakshr> match e with
<discocaml>
<zarakshr> | p1 -> e1
<discocaml>
<zarakshr> | p2 -> begin
<discocaml>
<zarakshr> match e' with
<discocaml>
<zarakshr> | p3 -> e3
<discocaml>
<zarakshr> | p4 -> e4
<discocaml>
<zarakshr> end
<discocaml>
<zarakshr> ```
bartholin has quit [Remote host closed the connection]
<discocaml>
<polyml> don't think there is an option for wrapping it by default, but there is an option that preserves begin end
<discocaml>
<polyml> afaik wrapping by default would only work for nested matches at the end, if its in the middle then the parser won't be able to disambiguate between which cases are for the inner vs outer matches
Anarchos has quit [Quit: Vision[]: Gone battling for revolution !]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
<discocaml>
<zarakshr> ah yeah, sorry I meant preserving
<discocaml>
<zarakshr> ok found it
Serpent7776 has quit [Ping timeout: 256 seconds]
Haudegen has quit [Quit: Bin weg.]
tremon has quit [Quit: getting boxed in]
<dh`>
polyml: it is reasonable for ocamlformat to assume it has been given valid input syntax
Frostillicus has quit [Ping timeout: 258 seconds]
_alix has quit [Server closed connection]
_alix has joined #ocaml
<discocaml>
<deepspacejohn> IIRC it can only work on valid syntax, since it parses it into an AST and then pretty-prints that
Frostillicus has joined #ocaml
Frostillicus has quit [Ping timeout: 258 seconds]
Frostillicus has joined #ocaml
Frostillicus has quit [Remote host closed the connection]
Frostillicus has joined #ocaml
itszor has quit [Read error: Connection reset by peer]