<Corbin>
Does OCaml do peephole optimization for bytecode? I'm reading through whitepapers about the CAM and want to compare their explanations to what is actually implemented decades later.
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
xiongxin has joined #ocaml
rgrinberg has joined #ocaml
spip has quit [Ping timeout: 245 seconds]
ns12 has joined #ocaml
ralu has quit [Ping timeout: 250 seconds]
ralu has joined #ocaml
ns12 has quit [Quit: bye]
ns12 has joined #ocaml
b0o has joined #ocaml
namkeleser has quit [Quit: Client closed]
xiongxin has quit [Ping timeout: 240 seconds]
xiongxin has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
average has quit [Quit: Connection closed for inactivity]
klu has joined #ocaml
klu has quit [Changing host]
klu has joined #ocaml
average has joined #ocaml
mbuf has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gravicappa has joined #ocaml
b0o has quit [Quit: WeeChat 3.3]
average has quit [Quit: Connection closed for inactivity]
Tuplanolla has joined #ocaml
Haudegen has joined #ocaml
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
<Drup>
Corbin: barely. The design of the bytecode hasn't significantely evolved since then, there are a bunch of new instructions to handle new language constructs, but that's it
olle has joined #ocaml
<d_bot>
<Continuation Calculus> From `Format` docs: "within a vertical box, break hints always split the line,". But sometimes, I have `@;` break hints in `@[<v>@]` boxes that don't break the line. Is there something that I am missing?
<d_bot>
<octachron> As long as the current active box is a vertical box, as far as I can see, break hints should always break the line?
<d_bot>
<Continuation Calculus> Not the case here. I only have `<v>` boxes, and only use `@;` (checked with a grep), 😦
<Drup>
can you show a minimal piece of code ?
<d_bot>
<Continuation Calculus> I'll try to, once the current modification typechecks
<d_bot>
<Continuation Calculus> which it now does, woooo
<d_bot>
<Continuation Calculus> still producing the minimal example. just-in-case-because-one-never-knows, there is no easy/hackish way to produce a trace of fprintf calls, and just translate it into regular ocaml code that only prints stuff, isn't it?
<d_bot>
<Continuation Calculus> So the problem was: at some point, I used a `to_string` function (I'm converting a code that is `to_string` based to a code that is `formatter` based), which used a format. and so there were two different format execution contexts
<d_bot>
<Continuation Calculus> The additional thing that I should have grepped for was `asprintf`
bartholin has quit [Ping timeout: 268 seconds]
ymherklotz has quit [Read error: Connection reset by peer]
namkeleser has joined #ocaml
hyphen_ has quit [Ping timeout: 265 seconds]
hyphen has joined #ocaml
bartholin has joined #ocaml
lagash has quit [Ping timeout: 268 seconds]
waleee has joined #ocaml
cedric has joined #ocaml
lagash has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<companion_cube>
Given your nick, you might also like kasprintf ;)
mro has joined #ocaml
mro has quit [Remote host closed the connection]
salkin has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
bartholin has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
xiongxin has quit [Remote host closed the connection]
<d_bot>
<let Butanium = raise Not_found;;> let () = while (*user didn't manually stop*) || time_spent > max_time do compute_solution() done; (*create some log file and display the best solution found during the search*)
<d_bot>
<let Butanium = raise Not_found;;> ```
<d_bot>
<NULL> It is, but you can write bad-style code to still catch it
average has quit [Quit: Connection closed for inactivity]
gravicappa has quit [Ping timeout: 268 seconds]
jsoo has joined #ocaml
romildo has joined #ocaml
romildo has quit [Quit: Leaving]
<d_bot>
<arbipher> May I ask what is the exact library conating `Parse` module? I tried `#require` all `compiler-libs` but I still have the error on `Parse`.
<d_bot>
<arbipher> `utop-full` works for me.
<d_bot>
<Et7f3> I let other answer
<d_bot>
<arbipher> I also have a newbie question on clangml: `Clang.Ast.parse_file` works with setting `Cxx17`