#ocaml on 2019-01-02 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:04 jao has joined #ocaml

00:18 pierpal has quit [Ping timeout: 246 seconds]

00:24 tormen has quit [Ping timeout: 246 seconds]

00:31 tormen has joined #ocaml

01:00 pierpal has joined #ocaml

01:13 keep_learning_M has joined #ocaml

01:27 jao has quit [Ping timeout: 244 seconds]

01:29 recj has joined #ocaml

02:16 iovec has quit [Quit: Connection closed for inactivity]

02:58 mfp has quit [Ping timeout: 246 seconds]

03:15 quarters has quit [Changing host]

03:15 quarters has joined #ocaml

03:21 tormen_ has joined #ocaml

03:24 tormen has quit [Ping timeout: 240 seconds]

04:18 hcarty[m] has joined #ocaml

04:28 Jeanne-Kamikaze has joined #ocaml

04:44 pierpal has quit [Quit: Poof]

04:45 pierpal has joined #ocaml

05:14 KeyJoo has joined #ocaml

05:27 gravicappa has joined #ocaml

05:38 Jeanne-Kamikaze has quit [Quit: Leaving]

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

06:40 _whitelogger____ has joined #ocaml

06:40 _whitelogger has quit [Ping timeout: 250 seconds]

06:41 sonologico has joined #ocaml

06:42 _whitelogger has joined #ocaml

06:42 _whitelogger_ has joined #ocaml

06:42 _whitelogger__ has joined #ocaml

06:42 _whitelogger___ has joined #ocaml

07:04 iovec has joined #ocaml

07:06 keep_learning has quit [Quit: Ping timeout (120 seconds)]

07:09 keep_learning has joined #ocaml

07:09 keep_learning has quit [Client Quit]

07:09 keep_learning has joined #ocaml

07:11 keep_learning has quit [Client Quit]

07:36 _whitelogger has joined #ocaml

08:21 sonologico has quit [Remote host closed the connection]

08:22 sonologico has joined #ocaml

08:42 keep_learning has joined #ocaml

08:42 keep_learning has quit [Remote host closed the connection]

08:42 keep_learning has joined #ocaml

08:46 flodin has joined #ocaml

08:47 keep_learning has quit [Remote host closed the connection]

08:47 keep_learning has joined #ocaml

09:07 sonologico has quit [Remote host closed the connection]

09:07 kakadu has joined #ocaml

09:09 steenuil has joined #ocaml

09:26 keep_learning_M has quit [Quit: Leaving]

09:27 marvin2 has joined #ocaml

09:28 mengu has joined #ocaml

09:33 jnavila has joined #ocaml

10:12 jaar has joined #ocaml

10:15 dinosaure has joined #ocaml

10:35 mfp has joined #ocaml

10:49 KeyJoo has quit [Quit: KeyJoo]

10:59 mengu_ has joined #ocaml

11:00 mengu has quit [Ping timeout: 246 seconds]

11:36 Serpent7776 has joined #ocaml

11:45 _whitelogger has joined #ocaml

12:03 mengu has joined #ocaml

12:04 parrotcelsus has joined #ocaml

12:15 jnavila has quit [Ping timeout: 252 seconds]

12:19 parrotcelsus has quit [Ping timeout: 256 seconds]

12:47 mengu_ has joined #ocaml

12:47 mengu has quit [Read error: Connection reset by peer]

12:52 Ptival has quit [Ping timeout: 250 seconds]

12:54 Ptival has joined #ocaml

13:09 mengu_ has quit [Remote host closed the connection]

13:15 mengu has joined #ocaml

13:20 mengu has quit [Ping timeout: 272 seconds]

13:26 pierpal has quit [Quit: Poof]

13:26 pierpal has joined #ocaml

13:30 Serpent7776 has quit [Ping timeout: 250 seconds]

13:33 mengu has joined #ocaml

13:42 _whitelogger has joined #ocaml

13:43 Serpent7776 has joined #ocaml

13:55 kaustuv has joined #ocaml

13:58 estrom has joined #ocaml

13:59 <kaustuv> dune newbie question: what is the best way to generate a version.ml file based on the version stanza in dune-project? I want my program to know its own version at compile time.

14:01 nullifidian_ has joined #ocaml

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

14:06 Serpent7776 has quit [Ping timeout: 272 seconds]

14:20 Serpent7776 has joined #ocaml

14:25 rwmjones_ has joined #ocaml

14:25 rwmjones has quit [Ping timeout: 260 seconds]

14:27 FreeBirdLjj has joined #ocaml

14:29 kaustuv has left #ocaml ["ERC (IRC client for Emacs 25.2.2)"]

14:34 Serpent7776 has quit [Quit: leaving]

14:36 mengu has quit [Read error: Connection reset by peer]

14:36 mengu has joined #ocaml

14:52 <companion_cube> https://github.com/c-cube/zipperposition/blob/master/src/prover/dune#L2 something like that, I'd say

14:52 <companion_cube> (only keep the `let version = …` line, the following one is irrelevant)

15:14 Guest85530 has joined #ocaml

15:16 KeyJoo has joined #ocaml

15:17 Guest85530 has quit [Remote host closed the connection]

15:26 jao has joined #ocaml

15:28 companion_cube has quit [Ping timeout: 250 seconds]

15:28 ocabot has quit [Ping timeout: 244 seconds]

15:33 jnavila has joined #ocaml

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

16:00 sammie has quit [Read error: Connection reset by peer]

16:01 al-damiri has joined #ocaml

16:14 pierpal has quit [Quit: Poof]

16:14 pierpal has joined #ocaml

16:17 gravicappa has joined #ocaml

16:19 jao has quit [Ping timeout: 245 seconds]

16:22 mengu has quit [Remote host closed the connection]

16:37 quipa has joined #ocaml

17:00 ocabot has joined #ocaml

17:00 companion_cube has joined #ocaml

17:12 pierpal has quit [Quit: Poof]

17:12 pierpal has joined #ocaml

17:15 marvin2 has quit [Ping timeout: 250 seconds]

17:16 marvin2 has joined #ocaml

17:52 jaar has quit [Ping timeout: 252 seconds]

18:07 estrom has quit [Remote host closed the connection]

18:20 roygbiv has joined #ocaml

18:21 KeyJoo has quit [Quit: KeyJoo]

18:29 rpcope has quit [Ping timeout: 245 seconds]

18:33 sonologico has joined #ocaml

18:34 rpcope has joined #ocaml

18:37 wilfredh has joined #ocaml

19:02 ygrek has joined #ocaml

19:04 quipa has quit [Remote host closed the connection]

19:05 quipa has joined #ocaml

19:10 quipa has quit [Excess Flood]

19:12 quipa has joined #ocaml

19:12 quipa has quit [Read error: Connection reset by peer]

19:17 pierpal has quit [Quit: Poof]

19:17 pierpal has joined #ocaml

19:34 gravicappa has quit [Ping timeout: 268 seconds]

19:46 sonologico has quit [Remote host closed the connection]

19:51 ahf has quit [Ping timeout: 246 seconds]

20:04 demonimin has quit [Ping timeout: 246 seconds]

20:10 ahf has joined #ocaml

20:28 roygbiv has quit [Quit: ™]

21:30 sagax has joined #ocaml

21:48 kjak has quit [Read error: Connection reset by peer]

22:04 kjak has joined #ocaml

22:04 kjak_ has joined #ocaml

22:05 kjak_ has left #ocaml [#ocaml]

22:06 mengu has joined #ocaml

22:25 jnavila has quit [Ping timeout: 246 seconds]

22:25 sonologico has joined #ocaml

22:26 jao has joined #ocaml

22:45 kjak has quit [Ping timeout: 246 seconds]

22:46 kjak has joined #ocaml

22:46 kjak__ has joined #ocaml

22:47 kjak__ has quit [Client Quit]

22:47 kjak has quit [Client Quit]

22:47 kjak has joined #ocaml

22:56 kjak has quit [Ping timeout: 246 seconds]

23:11 mengu has quit [Quit: Leaving...]

23:49 sonologico has quit [Ping timeout: 246 seconds]

23:52 unyu has joined #ocaml

23:53 kakadu has quit [Remote host closed the connection]

23:54 unyu has quit [Client Quit]

23:55 unyu has joined #ocaml

23:56 <unyu> How exactly is “let rec” implemented when the right-hand side is not a function?

23:59 <unyu> Actually, s/function/lambda abstraction/