#ocaml on 2019-09-24 — 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:03 crichoux has joined #ocaml

00:03 Haudegen has quit [Ping timeout: 240 seconds]

00:08 crichoux has quit [Ping timeout: 276 seconds]

00:11 GreyFaceNoSpace has quit [Quit: Ex-Chat]

00:33 kvda has joined #ocaml

00:40 kleisli has quit [Ping timeout: 246 seconds]

01:04 bitwinery has quit [Remote host closed the connection]

01:05 bitwinery has joined #ocaml

01:15 iovec has quit [Quit: Connection closed for inactivity]

01:20 jao has quit [Ping timeout: 245 seconds]

01:29 kleisli has joined #ocaml

01:36 mfp has quit [Ping timeout: 245 seconds]

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

02:07 vicfred has quit [Quit: Leaving]

02:39 tormen_ has joined #ocaml

02:43 tormen has quit [Ping timeout: 268 seconds]

02:51 rople has joined #ocaml

03:34 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:36 kvda has joined #ocaml

04:09 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:10 kvda has joined #ocaml

04:15 mbuf has joined #ocaml

04:27 _whitelogger has joined #ocaml

04:32 gravicappa has joined #ocaml

04:45 andreas303 has quit [Remote host closed the connection]

04:48 andreas303 has joined #ocaml

04:50 crichoux has joined #ocaml

04:53 FreeBirdLjj has joined #ocaml

04:53 mal`` has quit [Quit: Leaving]

04:54 crichoux has quit [Ping timeout: 245 seconds]

05:00 vicfred has joined #ocaml

05:02 mal`` has joined #ocaml

05:17 FreeBirdLjj has quit [Remote host closed the connection]

05:17 FreeBirdLjj has joined #ocaml

05:18 FreeBirdLjj has quit [Remote host closed the connection]

05:25 bbbold has joined #ocaml

05:28 narimiran has joined #ocaml

05:30 kleisli has quit [Ping timeout: 264 seconds]

05:35 bbbold has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]

05:45 Haudegen has joined #ocaml

05:50 bbbold has joined #ocaml

05:51 kleisli has joined #ocaml

06:11 kakadu has quit [Ping timeout: 268 seconds]

06:16 kakadu has joined #ocaml

06:22 bitwinery has quit [Quit: Leaving]

06:50 cartwright has quit [Remote host closed the connection]

06:51 cartwright has joined #ocaml

07:05 barockobamo has joined #ocaml

08:11 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:21 bbbold has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]

08:31 jaar has joined #ocaml

08:41 mbuf has quit [Remote host closed the connection]

08:43 kakadu has quit [Remote host closed the connection]

08:43 mbuf has joined #ocaml

08:43 sagax has quit [Remote host closed the connection]

08:44 maker has quit [Ping timeout: 245 seconds]

08:44 shenghi has quit [Ping timeout: 245 seconds]

08:45 emias has quit [Ping timeout: 245 seconds]

08:45 theblatte has quit [Ping timeout: 245 seconds]

08:45 gikiam has quit [Ping timeout: 245 seconds]

08:45 gikiam has joined #ocaml

08:46 theblatte has joined #ocaml

08:46 emias has joined #ocaml

08:48 kakadu has joined #ocaml

09:11 shenghi has joined #ocaml

09:12 maker has joined #ocaml

09:12 dmiles has quit [Ping timeout: 268 seconds]

09:16 logicmoo has joined #ocaml

09:27 mfp has joined #ocaml

09:44 porchetta has quit [Ping timeout: 276 seconds]

09:47 porchetta has joined #ocaml

10:12 kleisli has quit [Ping timeout: 264 seconds]

10:17 liberiga has joined #ocaml

10:19 AtumT has joined #ocaml

10:20 pino|work has quit [Quit: brb]

10:20 pino|work has joined #ocaml

10:47 jbrown has joined #ocaml

11:06 rople has quit [Ping timeout: 265 seconds]

11:06 jaar has quit [Ping timeout: 276 seconds]

11:25 jaar has joined #ocaml

11:29 barockobamo has quit [Remote host closed the connection]

11:35 sagax has joined #ocaml

11:38 jao has joined #ocaml

11:54 Haudegen has quit [Quit: Bin weg.]

12:11 ggole has joined #ocaml

12:14 tane has joined #ocaml

12:37 kleisli has joined #ocaml

13:02 analogue has joined #ocaml

13:06 Haudegen has joined #ocaml

13:06 kleisli has quit [Ping timeout: 265 seconds]

13:31 nullifidian has joined #ocaml

13:32 nullifidian_ has quit [Ping timeout: 265 seconds]

13:42 malina has joined #ocaml

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

13:50 <porchetta> in the ocamlc -dlambda syntax

13:50 <porchetta> what does (field 1 lt/1210) means, with function lt/1210?

13:51 <octachron> access the field of index 1 in lt/1210

13:52 <porchetta> https://paste.ofcode.org/9D8rXR9URKDHqdaCn6mQYe

13:52 <porchetta> but what lt/1210 is in this context?

13:52 <porchetta> isn't it a function?

13:53 <porchetta> Basically I don't understand the meaning of the if clauses at line 6 and line 11

13:59 <def`> lt/1210 is the parameter of the function

13:59 barockobamo has joined #ocaml

13:59 <def`> (function named a/1209)

14:04 <porchetta> but how can that be a boolean?

14:05 <porchetta> what is it testing here? (if (field 1 lt/1210) (exit 1) "K3 2"))

14:07 bartholin has quit [Remote host closed the connection]

14:08 bartholin has joined #ocaml

14:11 FreeBirdLjj has joined #ocaml

14:15 crichoux has joined #ocaml

14:16 kleisli has joined #ocaml

14:17 <def`> this is not a boolean

14:17 <def`> lt is apparently a "record", which second field is a boolean

14:21 analogue has quit [Ping timeout: 252 seconds]

14:24 guest556 has joined #ocaml

14:24 guest556 has quit [Remote host closed the connection]

14:30 <porchetta> I don't understand, I'll paste the whole program along with the lambda representation

14:30 <porchetta> https://paste.ofcode.org/suGNh2WvuKPB7TWk4BBLkr

14:31 <porchetta> why is the line 12 needed?

14:31 <porchetta> and what is (field 1 lt/1210) ?

14:36 <ggole> line 12 is a test whether the argument is the empty list; that field 1 is the tail of the cons.

14:36 <ggole> What are you looking for here?

14:46 smazga has joined #ocaml

14:53 q9929t has joined #ocaml

15:07 pino|work has quit [Quit: brb]

15:08 pino|work has joined #ocaml

15:10 q9929t has quit [Quit: q9929t]

15:10 malina has joined #ocaml

15:18 crichoux has quit [Ping timeout: 245 seconds]

15:35 FreeBirdLjj has quit [Remote host closed the connection]

15:39 FreeBirdLjj has joined #ocaml

15:39 narimiran has quit [Ping timeout: 265 seconds]

15:44 FreeBirdLjj has quit [Ping timeout: 240 seconds]

15:44 unyu has joined #ocaml

15:48 Haudegen has quit [Quit: Bin weg.]

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

16:03 FreeBirdLjj has joined #ocaml

16:05 jao has quit [Ping timeout: 252 seconds]

16:06 <cemerick> "you can't ask for binary-formatted integers via Printf" *oh no*

16:06 kleisli has quit [Ping timeout: 240 seconds]

16:09 <Drup> well, you kinda can, you just have to write the formatter yourself

16:13 Serpent7776 has joined #ocaml

16:15 malina has quit [Remote host closed the connection]

16:17 malina has joined #ocaml

16:28 gareppa has joined #ocaml

16:29 mbuf has quit [Quit: Leaving]

16:32 liberiga has quit [Ping timeout: 260 seconds]

16:34 gareppa has quit [Remote host closed the connection]

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

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

16:45 jaar has quit [Ping timeout: 245 seconds]

16:49 FreeBirdLjj has joined #ocaml

16:53 porchetta has quit [Ping timeout: 268 seconds]

16:53 dstolfa_ has quit [Quit: ZNC 1.7.3 - https://znc.in]

16:53 Haudegen has joined #ocaml

16:54 FreeBirdLjj has quit [Ping timeout: 240 seconds]

16:54 porchetta has joined #ocaml

16:56 FreeBirdLjj has joined #ocaml

17:01 slice has quit [Ping timeout: 268 seconds]

17:06 ggole has quit [Ping timeout: 245 seconds]

17:06 kleisli has joined #ocaml

17:07 ggole has joined #ocaml

17:07 gareppa has joined #ocaml

17:19 unyu has quit [Quit: stupid emacs]

17:19 unyu has joined #ocaml

17:21 kakadu_ has joined #ocaml

17:21 jao has joined #ocaml

17:32 zolk3ri has joined #ocaml

17:32 zolk3ri has quit [Client Quit]

17:41 landonf has joined #ocaml

17:41 nullifidian has quit [Read error: Connection reset by peer]

17:42 nullifidian has joined #ocaml

17:58 gareppa has quit [Quit: Leaving]

18:00 kleisli has quit [Ping timeout: 245 seconds]

18:09 slice has joined #ocaml

18:14 slice has quit [Ping timeout: 268 seconds]

18:21 slice has joined #ocaml

18:34 gareppa has joined #ocaml

18:38 logicmoo is now known as dmiles

18:38 ggole has quit [Quit: Leaving]

18:49 wham has joined #ocaml

18:52 narimiran has joined #ocaml

19:01 wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:05 wham has joined #ocaml

19:13 yomimono has joined #ocaml

19:31 kleisli has joined #ocaml

19:44 FreeBirdLjj has quit [Read error: Connection reset by peer]

19:46 FreeBirdLjj has joined #ocaml

19:46 wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:46 Jesin has quit [Quit: Leaving]

19:50 wham has joined #ocaml

20:02 Jesin has joined #ocaml

20:12 gravicappa has quit [Ping timeout: 268 seconds]

20:14 bitwinery has joined #ocaml

20:15 infinity0 has quit [Remote host closed the connection]

20:23 <reynir> How do you handle '\000' terminated 'strings' in a cstruct?

20:23 <reynir> I mean, how do you extract it as a string?

20:31 bitwinery has quit [Quit: Leaving]

20:35 Serpent7776 has quit [Quit: leaving]

20:36 jao has quit [Ping timeout: 265 seconds]

20:39 tane has quit [Quit: Leaving]

20:40 <yomimono> reynir: I think you'd have to write something with Cstruct.iter that looked for '\000' characters in the length function?

20:50 Jesin has quit [Quit: Leaving]

20:53 gareppa has quit [Quit: Leaving]

20:58 infinity0 has joined #ocaml

20:59 jao has joined #ocaml

21:09 narimiran has quit [Ping timeout: 240 seconds]

21:15 Jesin has joined #ocaml

21:41 wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:05 pino|work has quit [Ping timeout: 268 seconds]

22:11 nullifidian_ has joined #ocaml

22:11 nullifidian has quit [Read error: Connection reset by peer]

22:35 bitwinery has joined #ocaml

22:49 Haudegen has quit [Ping timeout: 245 seconds]

22:55 kakadu_ has quit [Remote host closed the connection]

22:55 zmt00 has joined #ocaml

23:23 smazga has quit [Quit: leaving]

23:25 ziyourenxiang has joined #ocaml

23:34 nullifidian__ has joined #ocaml

23:37 nullifidian_ has quit [Ping timeout: 240 seconds]

23:39 kvda has joined #ocaml

23:40 ygrek_ has joined #ocaml

23:50 ygrek_ has quit [Ping timeout: 240 seconds]