#ocaml on 2019-08-18 — 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:02 Algebr has joined #ocaml

00:06 crowley95 has quit [Read error: Connection reset by peer]

00:08 crowley95 has joined #ocaml

00:12 crowley95 has quit [Read error: Connection reset by peer]

00:14 crowley95 has joined #ocaml

00:15 crowley95 has quit [Read error: Connection reset by peer]

00:17 crowley95 has joined #ocaml

00:23 crowley95 has quit [Read error: Connection reset by peer]

00:25 crowley95 has joined #ocaml

00:47 lizzin has joined #ocaml

00:53 crowley95 has quit [Read error: Connection reset by peer]

00:54 crowley95 has joined #ocaml

01:01 crowley95 has quit [Read error: Connection reset by peer]

01:02 bitwinery has quit [Quit: Leaving]

01:03 crowley95 has joined #ocaml

01:04 crowley95 has quit [Read error: Connection reset by peer]

01:06 crowley95 has joined #ocaml

01:23 Algebr has quit [Remote host closed the connection]

01:53 jao has quit [Ping timeout: 272 seconds]

01:53 jao- has joined #ocaml

01:56 AtumT has quit [Ping timeout: 245 seconds]

01:59 crowley95 has quit [Read error: Connection reset by peer]

02:00 mfp has quit [Ping timeout: 248 seconds]

02:01 crowley95 has joined #ocaml

02:03 crowley95 has quit [Read error: Connection reset by peer]

02:05 crowley95 has joined #ocaml

02:16 tormen has joined #ocaml

02:19 tormen_ has quit [Ping timeout: 246 seconds]

02:21 quarters has quit [Changing host]

02:21 quarters has joined #ocaml

02:37 crowley95 has quit [Read error: Connection reset by peer]

02:39 crowley95 has joined #ocaml

03:11 iovec has quit [Quit: Connection closed for inactivity]

03:40 ziyourenxiang has quit [Quit: Leaving]

03:45 ziyourenxiang has joined #ocaml

03:45 bitwinery has joined #ocaml

03:47 jao- has quit [Ping timeout: 268 seconds]

04:20 gravicappa has joined #ocaml

04:44 hannes has quit [Remote host closed the connection]

04:59 nullifidian__ has joined #ocaml

05:00 nullifidian_ has quit [Read error: Connection reset by peer]

05:43 narimiran has joined #ocaml

05:44 Jesin has quit [Ping timeout: 268 seconds]

05:54 kakadu has joined #ocaml

06:11 malina has joined #ocaml

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

06:29 kakadu has quit [Ping timeout: 245 seconds]

06:33 malina has joined #ocaml

07:12 narimiran has quit [Ping timeout: 272 seconds]

07:16 ravenous_ has joined #ocaml

07:41 bitwinery has quit [Quit: Leaving]

07:41 ggole has joined #ocaml

07:50 liberiga has joined #ocaml

08:09 _whitelogger has joined #ocaml

08:33 liberiga has quit [Ping timeout: 260 seconds]

08:45 Haudegen has joined #ocaml

09:07 Niamkik has joined #ocaml

09:27 mfp has joined #ocaml

09:33 Niamkik has quit [Ping timeout: 272 seconds]

09:36 Nikkel has quit [Ping timeout: 264 seconds]

09:38 klntsky has quit [Remote host closed the connection]

09:38 klntsky has joined #ocaml

09:39 Nikkel has joined #ocaml

09:49 jnavila has joined #ocaml

10:11 Niamkik has joined #ocaml

10:12 hcit has joined #ocaml

10:21 ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:39 bacam has quit [Quit: reboot]

10:41 bacam has joined #ocaml

10:42 ravenous_ has joined #ocaml

11:10 ravenous_ has quit [Remote host closed the connection]

12:16 vesper11 has joined #ocaml

12:20 vesper has joined #ocaml

12:21 vesper11 has quit [Ping timeout: 245 seconds]

12:22 AtumT has joined #ocaml

12:31 tane has joined #ocaml

12:40 ravenous_ has joined #ocaml

13:26 malina has quit [Remote host closed the connection]

13:33 oni-on-ion has joined #ocaml

13:39 oni-on-ion has quit [Remote host closed the connection]

13:39 jao has joined #ocaml

13:39 oni-on-ion has joined #ocaml

13:44 oni-on-ion has quit [Ping timeout: 264 seconds]

13:46 narimiran has joined #ocaml

13:53 FreeBirdLjj has joined #ocaml

14:11 ravenous_ has quit [Read error: Connection reset by peer]

14:11 ravenous_ has joined #ocaml

14:23 vicfred has joined #ocaml

14:36 oni-on-ion has joined #ocaml

14:55 nullifidian_ has joined #ocaml

14:58 nullifidian__ has quit [Ping timeout: 272 seconds]

15:02 pyan has quit [Quit: pyoooooooon~]

15:06 pyan has joined #ocaml

15:10 nullifidian__ has joined #ocaml

15:14 nullifidian_ has quit [Ping timeout: 272 seconds]

15:22 ziyourenxiang has quit [Ping timeout: 248 seconds]

15:22 ziyourenxiang has joined #ocaml

16:07 ziyourenxiang has quit [Ping timeout: 246 seconds]

16:26 andrewlitteken has joined #ocaml

16:26 FreeBirdLjj has quit [Remote host closed the connection]

16:27 FreeBirdLjj has joined #ocaml

16:27 andrewlitteken has quit [Client Quit]

16:31 ravenou__ has joined #ocaml

16:31 FreeBirdLjj has quit [Ping timeout: 245 seconds]

16:33 ravenous_ has quit [Ping timeout: 264 seconds]

17:00 lizzin has quit [Ping timeout: 268 seconds]

17:14 ravenous_ has joined #ocaml

17:16 ravenou__ has quit [Ping timeout: 264 seconds]

17:20 ravenous_ has quit [Ping timeout: 250 seconds]

17:20 ravenou__ has joined #ocaml

17:31 ocabot has quit [Ping timeout: 245 seconds]

17:33 ocabot has joined #ocaml

17:33 companion_cube has quit [Ping timeout: 268 seconds]

17:46 companion_cube has joined #ocaml

18:02 <notnotdan> I have this bug in my pretty-printer, that if I invoke it twice on the same input it produces different output. So doing `Format.printf "Term: %a\n" pp_term ex` twice in a row produces different text

18:02 Anarchos has joined #ocaml

18:02 <notnotdan> but i flush the printer inbetween, with `printf "%!"`, then it works fine

18:02 <notnotdan> any suggestions on how to even debug this?

18:03 <notnotdan> i checked if i have a matching closing box for every opening box, and it seems to be the case..

18:09 ravenou__ has quit [Read error: Connection reset by peer]

18:14 ravenous_ has joined #ocaml

18:17 <ggole> The bare newline might be screwing things up.

18:18 <ggole> Usually you use the Format line breaking functionality to get newlines, or @. if you want to finish pretty printing the current thing and start a new line (which flushes the printer).

18:23 companion_cube has quit [Ping timeout: 246 seconds]

18:23 ocabot has quit [Ping timeout: 258 seconds]

18:25 ocabot has joined #ocaml

18:37 companion_cube has joined #ocaml

18:37 nullifidian_ has joined #ocaml

18:41 nullifidian__ has quit [Ping timeout: 258 seconds]

18:43 iovec has joined #ocaml

18:49 vyorkin has joined #ocaml

18:50 ocabot has quit [Ping timeout: 245 seconds]

18:51 companion_cube has quit [Ping timeout: 246 seconds]

18:52 ocabot has joined #ocaml

19:01 stux|RC-only has quit [Remote host closed the connection]

19:05 companion_cube has joined #ocaml

19:19 Haudegen has quit [Quit: Bin weg.]

19:19 Haudegen has joined #ocaml

19:21 ocabot has quit [Ping timeout: 268 seconds]

19:22 ocabot has joined #ocaml

19:22 companion_cube has quit [Ping timeout: 245 seconds]

19:27 tane has quit [Quit: Leaving]

19:35 companion_cube has joined #ocaml

19:39 oni-on-ion has quit [Remote host closed the connection]

19:39 oni-on-ion has joined #ocaml

19:40 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

19:46 ocabot has quit [Ping timeout: 248 seconds]

19:46 companion_cube has quit [Ping timeout: 244 seconds]

19:48 ocabot has joined #ocaml

19:55 bitwinery has joined #ocaml

20:00 companion_cube has joined #ocaml

20:16 ocabot has quit [Ping timeout: 248 seconds]

20:17 companion_cube has quit [Ping timeout: 244 seconds]

20:17 ocabot has joined #ocaml

20:25 gravicappa has quit [Ping timeout: 244 seconds]

20:27 ggole has quit [Quit: Leaving]

20:30 companion_cube has joined #ocaml

20:30 narimiran has quit [Ping timeout: 268 seconds]

20:33 nahra has quit [Remote host closed the connection]

20:38 nahra has joined #ocaml

20:38 Xizor_ has left #ocaml [#ocaml]

20:41 Xizor has joined #ocaml

20:41 companion_cube has quit [Ping timeout: 246 seconds]

20:42 ocabot has quit [Ping timeout: 272 seconds]

20:43 vyorkin has quit [Read error: Connection reset by peer]

20:43 ocabot has joined #ocaml

20:47 ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:53 Hrundi_V_Bakshi has joined #ocaml

20:56 companion_cube has joined #ocaml

21:00 ocabot has quit [Ping timeout: 246 seconds]

21:02 ocabot has joined #ocaml

21:02 companion_cube has quit [Ping timeout: 268 seconds]

21:11 stux|RC-only has joined #ocaml

21:12 ocabot has quit [Ping timeout: 244 seconds]

21:14 ocabot has joined #ocaml

21:16 companion_cube has joined #ocaml

21:18 ocabot has quit [Ping timeout: 246 seconds]

21:19 <notnotdan> oh ggole was right it seems. thx

21:20 companion_cube has quit [Ping timeout: 245 seconds]

21:22 ocabot has joined #ocaml

21:32 companion_cube has joined #ocaml

21:34 jnavila has quit [Remote host closed the connection]

21:38 okiwi has joined #ocaml

21:38 okiwi has quit [Remote host closed the connection]

22:06 Hrundi_V_Bakshi has quit [Ping timeout: 245 seconds]

22:07 Hrundi_V_Bakshi has joined #ocaml

22:47 AtumT has quit [Quit: AtumT]

22:55 Hrundi_V_Bakshi has quit [Ping timeout: 248 seconds]

23:08 ziyourenxiang has joined #ocaml

23:11 amiloradovsky has joined #ocaml

23:11 Haudegen has quit [Ping timeout: 246 seconds]

23:12 iovec has quit [Quit: Connection closed for inactivity]

23:23 liberiga has joined #ocaml