studybot has quit [Remote host closed the connection]
Eyyub has quit [Ping timeout: 245 seconds]
q66 has quit [Quit: Leaving]
jwatzman|work has quit [Quit: jwatzman|work]
boogie has quit [Remote host closed the connection]
dant3 has quit [Quit: I'm using a Free IRC Bouncer from BNC4FREE - http://bnc4free.com/]
racycle has quit [Quit: ZZZzzz…]
eikke__ has quit [Ping timeout: 240 seconds]
dant3 has joined #ocaml
robink has quit [Read error: Connection reset by peer]
studybot has joined #ocaml
divyanshu has joined #ocaml
robink has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
fraggle_ has joined #ocaml
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
arjunguha has joined #ocaml
ontologiae has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
manizzle has quit [Ping timeout: 240 seconds]
johnnydiabetic has joined #ocaml
csakatoku has joined #ocaml
SethTisue has quit [Quit: SethTisue]
studybot has quit [Remote host closed the connection]
studybot has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
Eyyub has joined #ocaml
tnguyen has quit [Ping timeout: 240 seconds]
yacks has quit [Ping timeout: 265 seconds]
_tca has quit [Ping timeout: 252 seconds]
andreypopp has quit [Ping timeout: 265 seconds]
_tca has joined #ocaml
andreypopp has joined #ocaml
johnnydiabetic has quit [Ping timeout: 252 seconds]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
yacks has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
studybot has quit [Remote host closed the connection]
claudiuc has quit [Remote host closed the connection]
jao has quit [Ping timeout: 252 seconds]
manizzle has joined #ocaml
studybot has joined #ocaml
racycle_ has joined #ocaml
divyanshu has joined #ocaml
es917 has joined #ocaml
es917 has quit [Client Quit]
es917 has joined #ocaml
es917 has quit [Client Quit]
studybot has quit [Remote host closed the connection]
studybot has joined #ocaml
studybot_ has joined #ocaml
studybot has quit [Ping timeout: 272 seconds]
philtor has quit [Ping timeout: 255 seconds]
Eyyub has quit [Ping timeout: 255 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
csakatoku has quit [Remote host closed the connection]
studybot_ has quit [Remote host closed the connection]
axiles has joined #ocaml
racycle_ has quit [Quit: ZZZzzz…]
divyanshu has joined #ocaml
<gasche>
whitequark: if you write -ppx filters, you are effectively part of the compiler
<gasche>
it's your responsability to produce a correct AST
siddharthv_away is now known as siddharthv
<gasche>
I agree of course that there should be a sanitization process (I don't follow closely but I think Alain has implemented or is doing something in this direction)
<gasche>
but you probably understand that the compiler was not planned to be used that way
<gasche>
there is no secret elf workforce that magically started enforcing and documenting all sorts of invariants the day Alain started to work on -ppx, and he was not commanded to do that before the code was merged in trunk
<gasche>
which brings us today; if you want a better -ppx, it's the collective responsibility of -ppx authors (that is, mostly Alain and you for now)
csakatoku has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
claudiuc has joined #ocaml
Eyyub has joined #ocaml
Eyyub has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
studybot has joined #ocaml
ivan\ has joined #ocaml
ggole has joined #ocaml
ivan\ is now known as root
root is now known as Guest49897
Guest49897 is now known as ivan\
tlockney is now known as tlockney_away
ygrek has quit [Ping timeout: 240 seconds]
<adrien>
no elf workforce? but how does santa claus handle all these presents then?
studybot has quit [Remote host closed the connection]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
studybot has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
Arsenik has joined #ocaml
iorivur has joined #ocaml
Simn has joined #ocaml
avsm has joined #ocaml
studybot has quit [Remote host closed the connection]
arj has joined #ocaml
<wwilly>
salute
remy2 has joined #ocaml
remy2 is now known as remyzorg
ygrek has joined #ocaml
zpe has joined #ocaml
hnrgrgr_ has joined #ocaml
chris2 has quit [Ping timeout: 245 seconds]
hnrgrgr has quit [Ping timeout: 245 seconds]
chris2 has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
Submarine has joined #ocaml
studybot has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
ygrek has joined #ocaml
eikke__ has joined #ocaml
yacks has quit [Ping timeout: 265 seconds]
ikaros has joined #ocaml
yacks has joined #ocaml
avsm has joined #ocaml
thomasga has joined #ocaml
dapz has joined #ocaml
remyzorg has quit [Quit: WeeChat 0.4.3]
remy_ has joined #ocaml
remy_ is now known as remyzorg
remyzorg has quit [Client Quit]
remy2 has joined #ocaml
remy2 is now known as remyzorg
manizzle has quit [Ping timeout: 252 seconds]
hnrgrgr_ is now known as hnrgrgr
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dapz has joined #ocaml
mpmilano has quit [Remote host closed the connection]
<rwmjones>
I've been testing it on aarch64 for a while and it works for me & fixes a pretty glaringly obvious bug on aarch64
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
yetanotherion has quit [Remote host closed the connection]
dapz has joined #ocaml
eizo has joined #ocaml
bobry has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
manizzle has joined #ocaml
dapz has joined #ocaml
dapz has quit [Max SendQ exceeded]
BitPuffin has joined #ocaml
manizzle has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
BitPuffin has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
rand000 has joined #ocaml
zpe has joined #ocaml
thomasga has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
iorivur has quit [Ping timeout: 245 seconds]
iorivur has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
arjunguha has joined #ocaml
hyperboreean has quit [Ping timeout: 265 seconds]
BitPuffin has joined #ocaml
Kakadu has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
dsheets has joined #ocaml
ollehar has quit [Ping timeout: 255 seconds]
ygrek has quit [Ping timeout: 245 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has joined #ocaml
_andre has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomassa has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
eikke__ has quit [Ping timeout: 240 seconds]
csakatoku has quit [Remote host closed the connection]
SethTisue has joined #ocaml
ontologiae has quit [Ping timeout: 265 seconds]
ontologiae has joined #ocaml
SethTisue_______ has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
emias has quit [Ping timeout: 252 seconds]
divyanshu has joined #ocaml
emias has joined #ocaml
shinnya has joined #ocaml
eikke__ has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
studybot has quit [Remote host closed the connection]
thomasga has joined #ocaml
ygrek has joined #ocaml
<ggole>
It'd be nice if Buffer could be reimplemented with more functionality by a third party. Unfortunately, I don't think bprintf coudl be provided.
emias has quit [Remote host closed the connection]
thomasga has quit [Ping timeout: 252 seconds]
<whitequark>
ggole: not even with new GADT printf?
thomasga has joined #ocaml
<ggole>
Dunno
<ggole>
Printf has an internal mkprintf that isn't exposed
<whitequark>
seems like you could use CamlinternalFormat
<ggole>
Maybe: seems awfully hacky though
<whitequark>
seems fine to me
<ggole>
I mean, depending on internals is a bit hacky.
<ggole>
Their design isn't the problem.
<eikke__>
just yesterday I came by the need for something like iksprintf, but couldn't implement it due to make_printf being internal
<ggole>
I'm tempted to do it anyway, but the GADT might break something
<whitequark>
... Unix doesn't expose fsync? wtf
<rwmjones>
whitequark: no, I had to write a binding for it
<whitequark>
hmmm, I have a really intricate question about interoperability of POSIX and OCaml
<whitequark>
tl;dr: I want to gracefully recover from SIGBUS
* eikke__
tends to respond to such things with "If that's important to you, chances are high you should as well protect against power outages, which might be even more common, so better let your app crash" :)
ygrek has quit [Ping timeout: 252 seconds]
<whitequark>
eikke__: SIGBUS arrives if you try to read or write to an mmapped file which was truncated.
<whitequark>
and it's not possible to check it beforehand with fstat because 1) slow 2) it's broken anyway due to race condition
<eikke__>
ah, right
<eikke__>
I was thinking of RAM failures
<adrien_oww>
ggole: I like Buffer for its imperative style too ;p
<whitequark>
I don't think you'll get SIGBUS on a RAM failure on a typical machine
<adrien_oww>
but apart from that, it's trivial
<whitequark>
you'd need ECC memory or something
<ggole>
adrien: I like Buffer fine, just wish it had a bit more functionality
dsheets has quit [Ping timeout: 240 seconds]
<ggole>
Just Buffer.get : Buffer.t -> int -> char would be a large improvement (since you could build a bunch on top of that).
<adrien_oww>
whitequark: ECC probably wouldn't sigbus either
<adrien_oww>
possible but last time I've seen something with ECC, there was a hardware exception in L3
<adrien_oww>
cache
<whitequark>
depends on the platform, I guess
<adrien_oww>
probably some prefetch and once the data was in L3 it goes "woops, actually that data is bad" but it was recovered
<jpdeplaix>
whitequark: how avoid llvm segfaulting when doing something wrong with internal types ? The debian packages doesn't compile with asserts ?
<whitequark>
I hope that it could be revisited. right now it means that the use for mmapped files is quite limited in OCaml
Eyyub has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
nikki93 has quit [Remote host closed the connection]
<whitequark>
(while the probability of such a race is small, the result is quite drastic, and some workloads will frequently trigger it anyway, e.g. something like a combination of inotify and temporary files)
<adrien>
there's another issue you might be interested in
<adrien>
regarding bigarrays
<whitequark>
adrien_: ohh?
<adrien>
I don't have the link ready but it was opened by Martin Jambon I believe
<adrien>
about memory usage probably
Submarine has quit [Remote host closed the connection]