#ocaml on 2019-01-19 — 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:00 orbifx has quit [Ping timeout: 246 seconds]

00:08 spew has quit [Quit: party time]

00:24 Jesin has quit [Quit: Leaving]

00:27 sheijk_ has left #ocaml [#ocaml]

00:27 sheijk has joined #ocaml

00:30 ostera2112 has quit [Ping timeout: 245 seconds]

00:42 Jesin has joined #ocaml

00:58 pierpal has quit [Read error: Connection reset by peer]

00:58 pierpal has joined #ocaml

01:00 ostera2112 has joined #ocaml

01:03 pierpal has quit [Ping timeout: 246 seconds]

01:05 ostera2112 has quit [Ping timeout: 268 seconds]

01:07 pierpal has joined #ocaml

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

01:11 Haudegen has quit [Remote host closed the connection]

01:18 pierpal has joined #ocaml

01:22 pierpal has quit [Ping timeout: 246 seconds]

01:37 kakadu_ has quit [Remote host closed the connection]

01:38 ostera2112 has joined #ocaml

01:39 pierpal has joined #ocaml

01:40 zv has joined #ocaml

01:43 ostera2112 has quit [Ping timeout: 272 seconds]

01:44 pierpal has quit [Ping timeout: 245 seconds]

01:50 olle has quit [Ping timeout: 272 seconds]

01:51 olle has joined #ocaml

01:52 abaiste^ has joined #ocaml

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

02:13 silver has quit [Read error: Connection reset by peer]

02:18 ostera2112 has joined #ocaml

02:19 pierpal has joined #ocaml

02:22 ostera2112 has quit [Ping timeout: 246 seconds]

02:24 pierpal has quit [Ping timeout: 250 seconds]

02:45 pierpal has joined #ocaml

02:47 pierpal has quit [Read error: Connection reset by peer]

02:48 pierpal has joined #ocaml

02:52 pierpal has quit [Ping timeout: 246 seconds]

03:11 tormen_ has joined #ocaml

03:12 recj has quit [Read error: Connection reset by peer]

03:14 tormen has quit [Ping timeout: 245 seconds]

03:16 ostera2112 has joined #ocaml

03:19 pierpal has joined #ocaml

03:20 ostera2112 has quit [Ping timeout: 246 seconds]

03:23 pierpal has quit [Ping timeout: 240 seconds]

03:31 pierpal has joined #ocaml

03:34 pierpal has quit [Read error: Connection reset by peer]

03:37 pierpal has joined #ocaml

03:41 pierpal has quit [Ping timeout: 244 seconds]

03:43 pierpal has joined #ocaml

03:47 pierpal has quit [Ping timeout: 272 seconds]

04:00 mfp has quit [Ping timeout: 240 seconds]

04:09 marvin2 has quit [Ping timeout: 245 seconds]

04:26 jlarocco has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]

04:31 zv has quit [Ping timeout: 252 seconds]

04:35 pierpal has joined #ocaml

04:41 pierpal has quit [Ping timeout: 250 seconds]

04:42 pierpal has joined #ocaml

04:48 _whitelogger has joined #ocaml

04:48 zv has joined #ocaml

04:49 pierpal has quit [Ping timeout: 245 seconds]

05:09 pierpal has joined #ocaml

05:15 pierpal has quit [Ping timeout: 245 seconds]

05:16 pierpal has joined #ocaml

05:17 ostera2112 has joined #ocaml

05:21 _whitelogger has joined #ocaml

05:22 ostera2112 has quit [Ping timeout: 250 seconds]

05:22 pierpal has quit [Ping timeout: 250 seconds]

05:28 pierpal has joined #ocaml

05:55 recj has joined #ocaml

06:18 zv has quit [Ping timeout: 250 seconds]

06:25 zv has joined #ocaml

06:39 jao has quit [Ping timeout: 250 seconds]

06:56 ostera2112 has joined #ocaml

07:03 zmt01 is now known as zmt00

07:08 pierpal has quit [Quit: Poof]

07:09 pierpal has joined #ocaml

07:19 ostera2112 has quit [Ping timeout: 246 seconds]

07:31 ostera2112 has joined #ocaml

07:40 JimmyRcom has quit [Ping timeout: 268 seconds]

07:46 ostera2112 has quit [Ping timeout: 245 seconds]

08:06 al-damiri has quit [Quit: Connection closed for inactivity]

08:18 olle has quit [Ping timeout: 272 seconds]

08:19 ostera2112 has joined #ocaml

08:23 marvin2 has joined #ocaml

08:23 ostera2112 has quit [Ping timeout: 250 seconds]

08:25 themsay has quit [Ping timeout: 245 seconds]

08:31 ostera2112 has joined #ocaml

08:35 ostera2112 has quit [Ping timeout: 240 seconds]

08:41 ostera2112 has joined #ocaml

08:46 ostera2112 has quit [Ping timeout: 268 seconds]

08:51 ostera2112 has joined #ocaml

09:03 ostera2112 has quit [Ping timeout: 272 seconds]

09:03 ostera2112 has joined #ocaml

09:30 orbifx has joined #ocaml

09:32 ostera2112 has quit [Ping timeout: 246 seconds]

09:34 ostera2112 has joined #ocaml

09:38 ostera2112 has quit [Ping timeout: 250 seconds]

09:46 asymptotically has joined #ocaml

09:49 zv has quit [Ping timeout: 252 seconds]

09:57 orbifx has quit [Quit: WeeChat 2.3]

10:02 ostera2112 has joined #ocaml

10:09 themsay has joined #ocaml

10:28 mfp has joined #ocaml

10:45 ostera2112 has quit [Ping timeout: 246 seconds]

10:49 bartholin has joined #ocaml

10:55 ostera2112 has joined #ocaml

10:57 pierpal has quit [Ping timeout: 268 seconds]

11:05 ostera2112 has quit [Ping timeout: 250 seconds]

11:07 ostera2112 has joined #ocaml

11:09 Haudegen has joined #ocaml

11:10 jnavila has joined #ocaml

11:20 pierpal has joined #ocaml

11:31 ostera2112 has quit [Ping timeout: 244 seconds]

11:32 ostera2112 has joined #ocaml

11:35 Haudegen has quit [Ping timeout: 245 seconds]

11:36 ostera2112 has quit [Ping timeout: 240 seconds]

11:38 Haudegen has joined #ocaml

11:48 themsay has quit [Ping timeout: 246 seconds]

11:48 themsay has joined #ocaml

11:48 silver has joined #ocaml

12:00 ostera2112 has joined #ocaml

12:02 Niamkik has quit [Ping timeout: 244 seconds]

12:08 Niamkik has joined #ocaml

12:09 pierpal has quit [Quit: Poof]

12:09 pierpal has joined #ocaml

12:32 decentpenguin has joined #ocaml

12:48 pierpal has quit [Quit: Poof]

12:49 pierpal has joined #ocaml

12:59 ggole has joined #ocaml

12:59 nullifidian__ has joined #ocaml

13:00 layeredeggplant has joined #ocaml

13:03 nullifidian_ has quit [Ping timeout: 250 seconds]

13:13 ostera2112 has quit [Ping timeout: 245 seconds]

13:18 jao has joined #ocaml

13:36 layeredeggplant has quit [Quit: WeeChat 2.3]

13:42 tane has joined #ocaml

13:59 FreeBirdLjj has joined #ocaml

14:08 decentpenguin has quit [Quit: WeeChat 2.3]

14:10 ostera2112 has joined #ocaml

14:13 FreeBirdLjj has quit [Remote host closed the connection]

14:14 ostera2112 has quit [Ping timeout: 246 seconds]

14:16 pierpal has quit [Quit: Poof]

14:17 pierpal has joined #ocaml

14:18 orbifx has joined #ocaml

14:20 FreeBirdLjj has joined #ocaml

14:24 jnavila has quit [Ping timeout: 246 seconds]

14:24 FreeBirdLjj has quit [Ping timeout: 268 seconds]

14:27 keep_learning has quit [Remote host closed the connection]

14:27 jbrown has quit [Remote host closed the connection]

14:49 decentpenguin has joined #ocaml

14:51 FreeBirdLjj has joined #ocaml

14:56 FreeBirdLjj has quit [Ping timeout: 244 seconds]

15:01 jbrown has joined #ocaml

15:11 marsam has joined #ocaml

15:25 FreeBirdLjj has joined #ocaml

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

15:39 _whitelogger has joined #ocaml

15:40 marsam has quit [Ping timeout: 252 seconds]

15:56 FreeBirdLjj has joined #ocaml

15:58 ostera2112 has joined #ocaml

16:01 FreeBirdLjj has quit [Ping timeout: 250 seconds]

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

16:14 ostera2112 has quit [Ping timeout: 250 seconds]

16:17 pierpal has quit [Ping timeout: 245 seconds]

16:30 ostera2112 has joined #ocaml

16:31 jnavila has joined #ocaml

16:37 FreeBirdLjj has joined #ocaml

16:42 FreeBirdLjj has quit [Ping timeout: 250 seconds]

16:42 pierpal has joined #ocaml

16:43 ostera2112 has quit [Ping timeout: 272 seconds]

17:11 FreeBirdLjj has joined #ocaml

17:14 ostera2112 has joined #ocaml

17:15 FreeBirdLjj has quit [Ping timeout: 246 seconds]

17:15 pierpal has quit [Quit: Poof]

17:16 pierpal has joined #ocaml

17:18 ostera2112 has quit [Ping timeout: 250 seconds]

17:21 pierpal has quit [Read error: Connection reset by peer]

17:22 pierpal has joined #ocaml

17:30 abaiste^ has quit []

17:34 pierpal has quit [Read error: Connection reset by peer]

17:35 pierpal has joined #ocaml

17:41 jnavila has quit [Ping timeout: 252 seconds]

17:44 pierpal has quit [Ping timeout: 246 seconds]

17:44 FreeBirdLjj has joined #ocaml

17:45 pierpal has joined #ocaml

17:46 ostera2112 has joined #ocaml

17:49 FreeBirdLjj has quit [Ping timeout: 268 seconds]

17:50 pierpal has quit [Ping timeout: 245 seconds]

17:51 ostera2112 has quit [Ping timeout: 268 seconds]

18:09 so has quit [Ping timeout: 246 seconds]

18:10 so has joined #ocaml

18:13 pierpal has joined #ocaml

18:15 jnavila has joined #ocaml

18:16 pierpal has quit [Read error: Connection reset by peer]

18:17 ostera2112 has joined #ocaml

18:18 pierpal has joined #ocaml

18:20 FreeBirdLjj has joined #ocaml

18:22 ostera2112 has quit [Ping timeout: 246 seconds]

18:22 pierpal has quit [Ping timeout: 268 seconds]

18:24 FreeBirdLjj has quit [Ping timeout: 246 seconds]

18:25 pierpal has joined #ocaml

18:26 pierpal has quit [Read error: Connection reset by peer]

18:27 orbifx has quit [Quit: WeeChat 2.3]

18:27 marsam has joined #ocaml

18:31 ggole has quit [Quit: ggole]

18:32 pierpal has joined #ocaml

18:34 nullifidian__ is now known as nullifidian

18:34 pierpal has quit [Read error: Connection reset by peer]

18:39 pierpal has joined #ocaml

18:40 pierpal has quit [Read error: Connection reset by peer]

18:49 initiumdoeslinux has joined #ocaml

18:50 pierpal has joined #ocaml

18:57 pierpal has quit [Ping timeout: 240 seconds]

18:58 marsam has quit [Ping timeout: 252 seconds]

18:59 FreeBirdLjj has joined #ocaml

19:00 kakadu has quit [Quit: Konversation terminated!]

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

19:04 FreeBirdLjj has quit [Ping timeout: 250 seconds]

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

19:08 pierpal has joined #ocaml

19:08 iovec has quit [Quit: Connection closed for inactivity]

19:15 JimmyRcom has joined #ocaml

19:17 loli has joined #ocaml

19:20 initiumdoeslinux has quit [Remote host closed the connection]

19:20 initiumdoeslinux has joined #ocaml

19:22 tane has quit [Quit: Leaving]

19:27 pierpal has quit [Ping timeout: 244 seconds]

19:42 asymptotically has quit [Remote host closed the connection]

19:43 Haudegen has quit [Remote host closed the connection]

19:58 ostera2112 has joined #ocaml

20:00 kakadu has joined #ocaml

20:04 initiumdoeslinux has quit [Remote host closed the connection]

20:08 initiumdoeslinux has joined #ocaml

20:12 initiumdoeslinux has quit [Ping timeout: 250 seconds]

20:14 FreeBirdLjj has joined #ocaml

20:17 decentpenguin has quit [Quit: WeeChat 2.3]

20:18 FreeBirdLjj has quit [Ping timeout: 245 seconds]

20:25 Haudegen has joined #ocaml

20:47 FreeBirdLjj has joined #ocaml

20:51 <adrianbrink> ```

20:51 <adrianbrink> type 'a manager =

20:51 <adrianbrink> | Origination_manager_kind : origination manager

20:51 <adrianbrink> | Transaction_manager_kind : transaction manager

20:51 <adrianbrink> | Reveal_manager_kind : reveal manager

20:51 <adrianbrink> | Delegation_manager_kind : delegation manager

20:51 <adrianbrink> ```

20:51 <adrianbrink> What does the `:` signify?

20:51 <adrianbrink> This is in .mli file

20:52 FreeBirdLjj has quit [Ping timeout: 272 seconds]

20:52 <companion_cube> it's the syntax for GADTs

20:52 <companion_cube> each case has a different type (via the phantom parameter 'a)

20:53 <adrianbrink> What's the phantom parameter 'a?

20:54 <bartholin> reveal, transaction, origination, or delegation

20:54 <bartholin> Each constructor of 'a manager has a different type

20:55 <adrianbrink> ahhh, thank you :-)

20:55 initiumdoeslinux has joined #ocaml

20:59 initiumdoeslinux has quit [Ping timeout: 245 seconds]

21:02 quipa has joined #ocaml

21:42 olle has joined #ocaml

21:54 layeredeggplant has joined #ocaml

21:58 asymptotically has joined #ocaml

22:14 marsam has joined #ocaml

22:17 IbnFirnas has joined #ocaml

22:36 layeredeggplant has quit [Quit: WeeChat 2.3]

22:48 FreeBirdLjj has joined #ocaml

22:49 marsam has quit [Ping timeout: 252 seconds]

22:52 FreeBirdLjj has quit [Ping timeout: 245 seconds]

22:54 IbnFirnas has quit [Remote host closed the connection]

22:57 IbnFirnas has joined #ocaml

23:02 asymptotically has quit [Quit: Leaving]

23:04 mengu has joined #ocaml

23:10 Bronsa has quit [Remote host closed the connection]

23:37 ostera2112 has quit [Ping timeout: 246 seconds]

23:40 initiumdoeslinux has joined #ocaml

23:42 ostera2112 has joined #ocaml

23:45 initiumdoeslinux has quit [Ping timeout: 245 seconds]

23:46 ostera2112 has quit [Ping timeout: 245 seconds]

23:50 themsay has quit [Ping timeout: 250 seconds]

23:50 themsay has joined #ocaml

23:52 ostera2112 has joined #ocaml

23:56 ostera2112 has quit [Ping timeout: 240 seconds]