<donoban>
what means let `IPv4 (ip, _) = packet in ?
<Drup>
donoban: it's a pattern matching with only one case
<donoban>
do you mean, match Router.target t ip with ?
<Drup>
`let `IPv4 (ip, _) = packet in ...` is the same as `match packet with `Ipv4 (ip, _) -> ...`
<Drup>
It matches "packet" with "`Ipv4 (ip, _)"
<donoban>
ah, ok ty
<donoban>
what happens if that match fails?
<donoban>
it raises an exception?
<Drup>
yes :/
<donoban>
hehe ok thanks
<reynir>
donoban: o/ are you the same donoban as from the qubes mailing list?
marsam has joined #ocaml
marsam has quit [Remote host closed the connection]
jnavila has quit [Read error: No route to host]
jnavila_ has joined #ocaml
ziyourenxiang has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Remote host closed the connection]
jnavila_ has quit [Ping timeout: 252 seconds]
jnavila_ has joined #ocaml
jnavila_ is now known as jnavila
cthuluh has quit [Remote host closed the connection]
jbrown has quit [Quit: Leaving]
Guest62991 is now known as j0ni
jnavila has quit [Ping timeout: 252 seconds]
solrize has quit [Ping timeout: 255 seconds]
solrize has joined #ocaml
solrize has quit [Changing host]
solrize has joined #ocaml
donoban has quit [Ping timeout: 260 seconds]
bacam has quit [Quit: reboot]
bacam has joined #ocaml
Guest82172 has quit []
ELLIOTTCABLE has joined #ocaml
ELLIOTTCABLE is now known as Guest35368
Guest35368 has quit [Client Quit]
ec has joined #ocaml
raphaelss has quit [Remote host closed the connection]
andreas_ has quit [Quit: Connection closed for inactivity]
<aantron>
Drup, do you know anything about the status of the ocsigen docs site, jenkins, etc.?
argent_smith has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
simpson has joined #ocaml
<simpson>
Hi! I have a strange question: Are there docs on the OCaml bytecode format itself which would be sufficient to let me compile my own thing to portable bytecode?
<simpson>
I have a category, you see, and there's a lambda calculus for that category, and OCaml's well-known for having the best CAML runtime, so it seemed like a reasonable idea at the time.
<simpson>
Ooh, and it even has arithmetic and bigints! That is nice indeed. I might wrap this a little in NixOS if it's not already available.
pierpa has joined #ocaml
<reynir>
simpson: If no one gives an answer to your question you could try check out js_of_ocaml - they compile OCaml bytecode to javascript, so maybe there are references to useful documentation in there somewhere
<simpson>
reynir: Honestly, shelling out to malfunction sounds like a great kind of hack. This would work well with the interactive part of my desires; I'd like to take high-level queries on my category and turn them into programs for when they can't be solved symbolically.
sh0t has joined #ocaml
andreas_ has joined #ocaml
sh0t has quit [Remote host closed the connection]
silver has quit [Read error: Connection reset by peer]
<Drup>
aantron: life support until the alternatives are good enough to replace them
<aantron>
Drup: thanks
<Drup>
simpson: note: malfunction currently only emits native code, note bytecode. But it's just a matter of implementing it
<Drup>
there is no fundamental problem
<Drup>
While malfunction is designed as a backend language for compilers, if you want to really manipulate bytecode, there is https://github.com/bvaugon/obytelib
mk9 has joined #ocaml
Jesin has quit [Ping timeout: 264 seconds]
<simpson>
Drup: No, I really want to emit CAML-like instructions and have some native binary eval them.
<Drup>
simpson: malfunction seem more appropriate for your
jimmyrcom has joined #ocaml
Jesin has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
webshinra has quit [Remote host closed the connection]