adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
_whitelogger has joined #ocaml
AtumT has quit [Quit: AtumT]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
ziyourenxiang has joined #ocaml
kvda has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
kvda has quit [Client Quit]
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
tormen has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tormen_ has quit [Ping timeout: 245 seconds]
vicfred has quit [Quit: Leaving]
Redfoxmoon has quit [Ping timeout: 244 seconds]
delysin has quit [Read error: Connection reset by peer]
delysin_ has joined #ocaml
gravicappa has joined #ocaml
vicfred has joined #ocaml
dh_work has quit [Read error: Connection reset by peer]
vicfred has quit [Quit: Leaving]
kvda has joined #ocaml
Redfoxmoon has joined #ocaml
Redfoxmoon has quit [Changing host]
Redfoxmoon has joined #ocaml
amiloradovsky has joined #ocaml
Birdface has joined #ocaml
amiloradovsky has quit [Ping timeout: 272 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
barockobamo has joined #ocaml
Haudegen has joined #ocaml
Bahman has joined #ocaml
jao has joined #ocaml
nullifidian has quit [Ping timeout: 252 seconds]
nullifidian has joined #ocaml
<xvilka> is there any way to sort Hashtbl or just iterate/fold in the ordered mode (via keys)?
<sgnb> cannot you use a map?
<octachron> xvilka, you need to sort the bindings by hand, a hashtbl does not have a notion of total order
<xvilka> ok
<xvilka> sgnb: maybe, just wondered if there some quick solution, without the change
aubian has quit [Ping timeout: 250 seconds]
Fardale has quit [Ping timeout: 250 seconds]
octarin has quit [Quit: Reconnecting]
octarin has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
aubian has joined #ocaml
Fardale has joined #ocaml
freyr69 has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
wilfredh has joined #ocaml
madroach has joined #ocaml
barockobamo has quit [Remote host closed the connection]
barockobamo has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
barockobamo has quit [Ping timeout: 245 seconds]
_whitelogger has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
AtumT has joined #ocaml
gareppa has joined #ocaml
ggole has joined #ocaml
malina has quit [Ping timeout: 245 seconds]
barockobamo has joined #ocaml
barockobamo has quit [Read error: Connection reset by peer]
barockobamo has joined #ocaml
barockobamo2 has joined #ocaml
barockobamo has quit [Ping timeout: 258 seconds]
gareppa has quit [Quit: Leaving]
malina has joined #ocaml
barockobamo2 has quit [Ping timeout: 245 seconds]
barockobamo has joined #ocaml
barockobamo has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
octarin has quit [Changing host]
octarin has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
nullifidian__ has joined #ocaml
7YSACM7E7 has joined #ocaml
nullifidian_ has quit [Ping timeout: 246 seconds]
barockobamo has joined #ocaml
malina has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spew has joined #ocaml
jao has joined #ocaml
jao is now known as Guest53475
malina has joined #ocaml
Guest53475 is now known as jao
ggole has quit [Quit: Leaving]
freyr69 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
Redfoxmoon has quit [Read error: Connection reset by peer]
Redfoxmoon has joined #ocaml
malina has quit [Ping timeout: 245 seconds]
barockobamo has quit [Remote host closed the connection]
Redfoxmoon has quit [Changing host]
Redfoxmoon has joined #ocaml
Haudegen has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 268 seconds]
mfp has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Client Quit]
gareppa has joined #ocaml
gareppa has quit [Quit: Leaving]
jnavila has joined #ocaml
thegameg has quit [Quit: Bye bye.]
thegameg has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
7YSACM7E7 has quit [Quit: Leaving.]
vicfred has joined #ocaml
Haudegen has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 244 seconds]
jnavila has quit [Ping timeout: 246 seconds]
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
jao has quit [Remote host closed the connection]
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian_ has joined #ocaml
jao has joined #ocaml
jao is now known as Guest2436
kakadu_ has joined #ocaml
Guest2436 is now known as jao
gravicappa has quit [Ping timeout: 245 seconds]
tane has joined #ocaml
AtumT_ has joined #ocaml
AtumT has quit [Read error: Connection reset by peer]
oni-on-ion has quit [Ping timeout: 264 seconds]
AtumT has joined #ocaml
AtumT_ has quit [Ping timeout: 248 seconds]
gacrux has joined #ocaml
gacrux has quit [Client Quit]
dh__ has joined #ocaml
dh__ has quit [Changing host]
dh__ has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Serpent7776 has quit [Quit: leaving]
gravicappa has joined #ocaml
dh__ is now known as dh_work
Hrundi_V_Bakshi has joined #ocaml
Birdface has quit [Ping timeout: 244 seconds]
bacam has quit [Quit: leaving]
bacam has joined #ocaml
tane has quit [Remote host closed the connection]
gravicappa has quit [Ping timeout: 245 seconds]
jmiven has quit [Quit: reboot]
jmiven has joined #ocaml
liberiga has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
nullifidian__ has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
AtumT has quit [Ping timeout: 245 seconds]
troydm has quit [Ping timeout: 246 seconds]
troydm has joined #ocaml
AtumT has joined #ocaml
Hrundi_V_Bakshi has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
spew has quit [Quit: Connection closed for inactivity]
ziyourenxiang has joined #ocaml
mfp_ has joined #ocaml
mfp has quit [Ping timeout: 268 seconds]