#ocaml on 2019-08-06 — irc logs at freenode.irclog.whitequark.org

2019-06-16 15:10 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

00:21 _whitelogger has joined #ocaml

00:32 AtumT has quit [Quit: AtumT]

00:43 oni-on-ion has quit [Remote host closed the connection]

00:43 oni-on-ion has joined #ocaml

00:50 ziyourenxiang has joined #ocaml

01:15 kvda has joined #ocaml

01:18 jao has quit [Ping timeout: 246 seconds]

01:19 kvda has quit [Client Quit]

01:43 kvda has joined #ocaml

01:54 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:56 kvda has joined #ocaml

02:31 tormen has joined #ocaml

02:31 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:34 tormen_ has quit [Ping timeout: 245 seconds]

03:04 vicfred has quit [Quit: Leaving]

03:29 Redfoxmoon has quit [Ping timeout: 244 seconds]

03:42 delysin has quit [Read error: Connection reset by peer]

03:42 delysin_ has joined #ocaml

04:01 gravicappa has joined #ocaml

04:23 vicfred has joined #ocaml

04:52 dh_work has quit [Read error: Connection reset by peer]

05:14 vicfred has quit [Quit: Leaving]

05:19 kvda has joined #ocaml

05:57 Redfoxmoon has joined #ocaml

05:58 Redfoxmoon has quit [Changing host]

05:58 Redfoxmoon has joined #ocaml

06:00 amiloradovsky has joined #ocaml

06:28 Birdface has joined #ocaml

06:33 amiloradovsky has quit [Ping timeout: 272 seconds]

06:43 oni-on-ion has quit [Remote host closed the connection]

06:43 oni-on-ion has joined #ocaml

07:07 barockobamo has joined #ocaml

07:37 Haudegen has joined #ocaml

07:53 Bahman has joined #ocaml

08:06 jao has joined #ocaml

08:28 nullifidian has quit [Ping timeout: 252 seconds]

08:40 nullifidian has joined #ocaml

08:43 <xvilka> is there any way to sort Hashtbl or just iterate/fold in the ordered mode (via keys)?

08:45 <sgnb> cannot you use a map?

08:49 <octachron> xvilka, you need to sort the bindings by hand, a hashtbl does not have a notion of total order

08:53 <xvilka> ok

08:53 <xvilka> sgnb: maybe, just wondered if there some quick solution, without the change

09:18 aubian has quit [Ping timeout: 250 seconds]

09:18 Fardale has quit [Ping timeout: 250 seconds]

09:25 octarin has quit [Quit: Reconnecting]

09:25 octarin has joined #ocaml

09:28 jao has quit [Ping timeout: 248 seconds]

09:31 aubian has joined #ocaml

09:31 Fardale has joined #ocaml

09:41 freyr69 has joined #ocaml

09:41 madroach has quit [Ping timeout: 264 seconds]

09:41 wilfredh has joined #ocaml

09:42 madroach has joined #ocaml

09:43 barockobamo has quit [Remote host closed the connection]

09:48 barockobamo has joined #ocaml

09:50 nullifidian_ has joined #ocaml

09:51 nullifidian has quit [Read error: Connection reset by peer]

09:56 barockobamo has quit [Ping timeout: 245 seconds]

10:30 _whitelogger has joined #ocaml

10:36 Haudegen has quit [Quit: Bin weg.]

10:45 AtumT has joined #ocaml

11:18 gareppa has joined #ocaml

11:26 ggole has joined #ocaml

11:27 malina has quit [Ping timeout: 245 seconds]

11:33 barockobamo has joined #ocaml

11:36 barockobamo has quit [Read error: Connection reset by peer]

11:36 barockobamo has joined #ocaml

11:38 barockobamo2 has joined #ocaml

11:41 barockobamo has quit [Ping timeout: 258 seconds]

11:44 gareppa has quit [Quit: Leaving]

11:50 malina has joined #ocaml

11:51 barockobamo2 has quit [Ping timeout: 245 seconds]

11:53 barockobamo has joined #ocaml

11:57 barockobamo has quit [Ping timeout: 245 seconds]

12:00 Haudegen has joined #ocaml

12:15 octarin has quit [Changing host]

12:15 octarin has joined #ocaml

12:43 oni-on-ion has quit [Remote host closed the connection]

12:43 oni-on-ion has joined #ocaml

12:46 nullifidian__ has joined #ocaml

12:49 7YSACM7E7 has joined #ocaml

12:49 nullifidian_ has quit [Ping timeout: 246 seconds]

12:59 barockobamo has joined #ocaml

13:27 malina has quit [Ping timeout: 245 seconds]

13:30 FreeBirdLjj has joined #ocaml

13:34 FreeBirdLjj has quit [Ping timeout: 248 seconds]

13:37 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

13:38 spew has joined #ocaml

13:57 jao has joined #ocaml

13:57 jao is now known as Guest53475

14:06 malina has joined #ocaml

14:14 Guest53475 is now known as jao

14:25 ggole has quit [Quit: Leaving]

15:20 freyr69 has quit [Read error: Connection reset by peer]

15:24 Serpent7776 has joined #ocaml

15:27 Redfoxmoon has quit [Read error: Connection reset by peer]

15:28 Redfoxmoon has joined #ocaml

15:31 malina has quit [Ping timeout: 245 seconds]

15:41 barockobamo has quit [Remote host closed the connection]

15:45 Redfoxmoon has quit [Changing host]

15:45 Redfoxmoon has joined #ocaml

15:47 Haudegen has quit [Remote host closed the connection]

16:14 ziyourenxiang has quit [Ping timeout: 268 seconds]

16:38 mfp has joined #ocaml

16:41 gareppa has joined #ocaml

16:44 gareppa has quit [Client Quit]

16:46 gareppa has joined #ocaml

16:55 gareppa has quit [Quit: Leaving]

17:02 jnavila has joined #ocaml

17:08 thegameg has quit [Quit: Bye bye.]

17:08 thegameg has joined #ocaml

17:36 andreas303 has quit [Remote host closed the connection]

17:40 andreas303 has joined #ocaml

17:44 7YSACM7E7 has quit [Quit: Leaving.]

18:32 vicfred has joined #ocaml

18:43 Haudegen has joined #ocaml

18:43 oni-on-ion has quit [Remote host closed the connection]

18:43 oni-on-ion has joined #ocaml

18:47 nullifidian_ has joined #ocaml

18:51 nullifidian__ has quit [Ping timeout: 244 seconds]

19:06 jnavila has quit [Ping timeout: 246 seconds]

19:12 Birdface has quit [Remote host closed the connection]

19:14 Birdface has joined #ocaml

19:21 jao has quit [Remote host closed the connection]

19:26 nullifidian_ has quit [Read error: Connection reset by peer]

19:27 nullifidian_ has joined #ocaml

19:27 jao has joined #ocaml

19:27 jao is now known as Guest2436

19:28 kakadu_ has joined #ocaml

19:29 Guest2436 is now known as jao

19:37 gravicappa has quit [Ping timeout: 245 seconds]

19:45 tane has joined #ocaml

19:54 AtumT_ has joined #ocaml

19:54 AtumT has quit [Read error: Connection reset by peer]

20:06 oni-on-ion has quit [Ping timeout: 264 seconds]

20:07 AtumT has joined #ocaml

20:08 AtumT_ has quit [Ping timeout: 248 seconds]

20:11 gacrux has joined #ocaml

20:12 gacrux has quit [Client Quit]

20:17 dh__ has joined #ocaml

20:17 dh__ has quit [Changing host]

20:17 dh__ has joined #ocaml

20:21 Haudegen has quit [Quit: Bin weg.]

20:22 Serpent7776 has quit [Quit: leaving]

20:27 gravicappa has joined #ocaml

20:28 dh__ is now known as dh_work

20:32 Hrundi_V_Bakshi has joined #ocaml

20:41 Birdface has quit [Ping timeout: 244 seconds]

21:12 bacam has quit [Quit: leaving]

21:12 bacam has joined #ocaml

21:27 tane has quit [Remote host closed the connection]

21:33 gravicappa has quit [Ping timeout: 245 seconds]

21:37 jmiven has quit [Quit: reboot]

21:38 jmiven has joined #ocaml

21:55 liberiga has joined #ocaml

21:57 kakadu_ has quit [Remote host closed the connection]

22:05 nullifidian__ has joined #ocaml

22:08 nullifidian_ has quit [Read error: Connection reset by peer]

22:20 AtumT has quit [Ping timeout: 245 seconds]

22:22 troydm has quit [Ping timeout: 246 seconds]

22:24 troydm has joined #ocaml

22:31 AtumT has joined #ocaml

22:36 Hrundi_V_Bakshi has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

23:17 spew has quit [Quit: Connection closed for inactivity]

23:32 ziyourenxiang has joined #ocaml

23:43 mfp_ has joined #ocaml

23:47 mfp has quit [Ping timeout: 268 seconds]