adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
jmiven has quit [Quit: co'o]
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
r3s1stanc3 has quit [Quit: ZNC 1.7.2 - https://znc.in]
ygrek has quit [Ping timeout: 250 seconds]
r3s1stanc3 has joined #ocaml
mal``` has quit [Quit: Leaving]
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
<freyr69> Was this mentioned in manual?
<freyr69> Indeed >_<
freyr69 has quit [Remote host closed the connection]
AnAverageHuman has joined #ocaml
Haudegen has quit [Remote host closed the connection]
Keodedad has quit [Ping timeout: 252 seconds]
yurug has quit [Ping timeout: 252 seconds]
AnAverageHuman has quit [Ping timeout: 256 seconds]
ygrek has quit [Ping timeout: 264 seconds]
ziyourenxiang_ has quit [Ping timeout: 250 seconds]
AnAverageHuman has joined #ocaml
okuu has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
Serpent7776 has joined #ocaml
Guest24779 has joined #ocaml
ygrek has joined #ocaml
mal`` has quit [Quit: Leaving]
amiloradovsky has quit [Ping timeout: 268 seconds]
okuu has quit [Ping timeout: 240 seconds]
mal`` has joined #ocaml
Bahman has joined #ocaml
KeyJoo has quit [Ping timeout: 264 seconds]
Guest24779 has quit [Read error: Connection reset by peer]
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
ale64bit has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
Haudegen has joined #ocaml
<Ankhers> Is there any sugar syntax for maps similar to that of lists having `[]' and arrays having `[||]'?
kakadu_ has joined #ocaml
Jesin has quit [Quit: Leaving]
aciniglio has quit [Remote host closed the connection]
<octachron> Ankhers, no
<Ankhers> octachron: Thanks.
Jesin has joined #ocaml
Bahman has quit [Quit: Ave atque vale]
jao has joined #ocaml
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
Bahman has joined #ocaml
ale64bit has quit [Ping timeout: 250 seconds]
wilfredh has quit [Quit: Connection closed for inactivity]
ggole has quit [Quit: Leaving]
tane has quit [Quit: Leaving]
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
Nikita has joined #ocaml
nikivi has quit [Quit: ZNC is awesome]
Nikita is now known as Guest8468
Guest8468 is now known as nikivi
ygrek has joined #ocaml
okuu has joined #ocaml
jnavila has quit [Remote host closed the connection]
silver has quit [Ping timeout: 268 seconds]
silver has joined #ocaml
Serpent7776 has quit [Quit: leaving]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Disconnected by services]
jao has joined #ocaml
Haudegen has quit [Remote host closed the connection]
spew has quit [Quit: Connection closed for inactivity]
Bahman has quit [Quit: Ave atque vale]
kakadu_ has quit [Remote host closed the connection]