kakadu_ has quit [Remote host closed the connection]
jmiven has joined #ocaml
themsay has quit [Quit: Leaving]
themsay has joined #ocaml
themsay has quit [Remote host closed the connection]
themsay has joined #ocaml
jmiven has quit [Quit: co'o]
AtumT has quit [Quit: AtumT]
jmiven has joined #ocaml
keep_learning has quit [Remote host closed the connection]
themsay has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 258 seconds]
wiml has joined #ocaml
silver has quit [Quit: rakede]
mfp has quit [Ping timeout: 252 seconds]
zolk3ri has quit [Remote host closed the connection]
jbrown has joined #ocaml
zmt01 has quit [Quit: Leaving]
themsay has joined #ocaml
ziyourenxiang_ has joined #ocaml
zmt00 has joined #ocaml
keep_learning_M has quit [Ping timeout: 250 seconds]
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
keep_learning_M has joined #ocaml
themsay has quit [Ping timeout: 268 seconds]
themsay has joined #ocaml
caltelt_ has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 250 seconds]
stux|RC-only has joined #ocaml
wiml has quit [Quit: Leaving]
gravicappa has joined #ocaml
themsay has quit [Ping timeout: 268 seconds]
keep_learning has joined #ocaml
AnAverageHuman has joined #ocaml
sonologico has quit [Remote host closed the connection]
AnAverageHuman has quit [Ping timeout: 256 seconds]
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
ggole has joined #ocaml
kvda has joined #ocaml
caltelt_ has quit [Ping timeout: 255 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
amiloradovsky has joined #ocaml
jao has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
barockobamo has joined #ocaml
cemerick has quit [Read error: Connection reset by peer]
l1x has quit [Read error: Connection reset by peer]
cemerick has joined #ocaml
andreypopp has quit [Read error: Connection reset by peer]
l1x has joined #ocaml
andreypopp has joined #ocaml
Keodedad has joined #ocaml
Keodedad has quit [Ping timeout: 264 seconds]
Keodedad has joined #ocaml
freyr69 has joined #ocaml
jao has joined #ocaml
freyr69 has quit [Remote host closed the connection]
freyr69 has joined #ocaml
KeyJoo has joined #ocaml
gareppa has joined #ocaml
gravicappa has quit [Ping timeout: 264 seconds]
themsay has joined #ocaml
Haudegen has joined #ocaml
keep_learning has quit [Remote host closed the connection]
mfp has joined #ocaml
bartholin has quit [Ping timeout: 258 seconds]
bartholin has joined #ocaml
gareppa has quit [Quit: Leaving]
themsay has quit [Remote host closed the connection]
jao has quit [Ping timeout: 252 seconds]
xuib has joined #ocaml
Haudegen has quit [Remote host closed the connection]
jbrown has quit [Remote host closed the connection]
gareppa has joined #ocaml
jao has joined #ocaml
Keodedad has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Gertm has left #ocaml ["Leaving"]
Haudegen has joined #ocaml
Keodedad has joined #ocaml
barockobamo has quit [Ping timeout: 264 seconds]
ygrek has joined #ocaml
<CcxWrk>
Leonidas: Forgot to thank you the other day. You really helped.
<theblatte>
how do you print a binary AST, like foo.pp.ml generated by dune? (I keep forgetting)
<theblatte>
with ocamlformat?
<theblatte>
ah no, there's something in the compiler itself, isn't there?
barockobamo has joined #ocaml
silver has joined #ocaml
<theblatte>
couldn't find it... anyway there's a weird bug in PPXes and/or dune it seems: applying some preprocessing to a file with a warning 14 (illegal backslash in string) like `let _ = "\["` emits the warning while running the ppx but the Bla.pp.ml file is then "sanitised" it seems, so that the compiler doesn't then complain on that file
jao has quit [Ping timeout: 264 seconds]
<theblatte>
this is bad because then -warn-error +14 doesn't work
<Drup>
That warning is probably raised in the parser. dune uses serialized AST. No parsers, no warnings.
<theblatte>
yeah :(
<theblatte>
but then -warn-error is broken... not sure where to raise this. dune?
<theblatte>
or the compiler libs?
<Drup>
tricky. I don't see this being fixed on the compiler side, but you can try, and ping the dune people to see where they prefer to solve it
<theblatte>
maybe ideally (so not necessarily what we can actually get) the ppx invocations should be passed the list of warnings you want together with the -warn-error you want and handle them too
FliiFe has quit [Quit: Ping timeout (120 seconds)]
FliiFe has joined #ocaml
mal`` has joined #ocaml
barockobamo has quit [Remote host closed the connection]
yurug has joined #ocaml
<rks`>
we had the same problem with warning 50 a while back
<rks`>
I agree the compiler should probably pass the set of warnings to the ppx (it might already do so nowadays actually)
<rks`>
but unless you're doing "something weird", then it probably won't help you because dune invokes the ppx as a -pp himself, not through the compiler
<rks`>
so I guess you also need to update your driver (ppxlib?) to accept and parse -w and -warn-error, and get dune to pass these
<rks`>
have fun
<theblatte>
I see
<theblatte>
and then each individual ppx needs to be patched...
<rks`>
no?
<rks`>
well
<theblatte>
ah no just the driver
<rks`>
all the drivers
<theblatte>
presumably there are fewer of those
<rks`>
indeed
<rks`>
ppxlib, omp, perhaps ppx_deriving (though I'm not sure that one accepts source files)
<theblatte>
ah maybe a "better" solution would be for the AST to preserve errors like this :p
<theblatte>
so that tools have a more accurate view of what the source material was
<rks`>
what tools?
spew has joined #ocaml
<theblatte>
mostly the compiler in that case I guess...
<rks`>
errr, assuming the driver and dune get updated
<rks`>
I'd expect the file to never reach the compiler, and the failure to happen at the preprocessing step
<theblatte>
yes, I'm saying as an alternative to that
<rks`>
I see
<theblatte>
(that would avoid the need to patch ppx drivers & dune & other more exotic things that manipulate the AST)
<theblatte>
anyhow, too bad, my `make test` will continue not to fail when w14 are introduced /o\
q9929t has joined #ocaml
<rks`>
that alternative doesn't seem easy to implement
<rks`>
well, I guess it's not terrible either
<rks`>
but the change would have to be in the lexer (14) and parser (50) of the compiler, and the error would have to be stored as an attribute
<rks`>
which doesn't line up with how we retrieve errors from ppxes (these are I believe extension points left by the ppx, Armael will confirm)
<rks`>
it's not too bad… but it's probably not going to happen :)
q9929t has quit [Quit: q9929t]
AtumT has joined #ocaml
tane has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
gravicappa has joined #ocaml
gareppa has quit [Quit: Leaving]
dimitarvp has joined #ocaml
amiloradovsky1 has joined #ocaml
ygrek has joined #ocaml
amiloradovsky has quit [Ping timeout: 252 seconds]
amiloradovsky1 is now known as amiloradovsky
dimitarvp has quit [Read error: Connection reset by peer]
<freyr69>
An external function with more than 5 arguments requires a second stub function for native-code compilation
<freyr69>
what does it want from me?
<def`>
?
<freyr69>
Ah, I see, I need to write separate bytecode and native functions