#ocaml on 2017-11-28 — irc logs at freenode.irclog.whitequark.org

2017-11-24 19:05 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:01 lambda_foo has quit [Quit: Connection closed for inactivity]

00:18 sepp2k has quit [Quit: Leaving.]

00:23 JazzyEagle has joined #ocaml

00:25 davs has joined #ocaml

00:28 JazzyEagle has quit [Ping timeout: 276 seconds]

00:29 nomicflux has joined #ocaml

00:32 spew has joined #ocaml

00:37 spew has quit [Ping timeout: 255 seconds]

00:40 andrejbauer has quit [Ping timeout: 260 seconds]

00:44 kerrhau has quit [Ping timeout: 248 seconds]

00:53 kerrhau has joined #ocaml

00:53 kerrhau has quit [Changing host]

00:55 sh0t has quit [Remote host closed the connection]

00:56 davs has quit [Quit: Lost terminal]

00:56 davs has joined #ocaml

00:58 nomicflux has quit [Quit: nomicflux]

01:04 JazzyEagle has joined #ocaml

01:13 spew has joined #ocaml

01:26 shinnya has quit [Ping timeout: 248 seconds]

01:29 spew has quit [Remote host closed the connection]

01:30 spew has joined #ocaml

01:34 davs has quit [Ping timeout: 240 seconds]

01:38 spew has quit [Ping timeout: 248 seconds]

01:43 Algebr has joined #ocaml

01:47 nomicflux has joined #ocaml

01:48 davs has joined #ocaml

01:50 cbot has joined #ocaml

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

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

02:23 davs has quit [Ping timeout: 264 seconds]

02:26 silver_ has quit [Read error: Connection reset by peer]

02:27 spew has joined #ocaml

02:28 <kerrhau> uh

02:28 <kerrhau> is there any ocaml docs for using unix sockets?

02:28 <kerrhau> perhaps some code examples

02:40 <malc_> kerrhau: it's not any different than doing it in C...

02:40 <kerrhau> malc_: is there any library is what I was asking

02:41 <malc_> kerrhau: still not sure, unix.cm[x]a is a library

02:49 spew has quit [Ping timeout: 276 seconds]

02:51 <pierpa> here: https://ocaml.github.io/ocamlunix/ocamlunix.pdf

02:58 Jesin has joined #ocaml

03:06 Algebr has quit [Ping timeout: 264 seconds]

03:09 tizoc has quit [Quit: Coyote finally caught me]

03:09 tizoc has joined #ocaml

03:11 spew has joined #ocaml

03:12 mfp has quit [Ping timeout: 276 seconds]

03:13 nomicflux has quit [Quit: nomicflux]

03:14 nomicflux has joined #ocaml

03:14 enterprisey has joined #ocaml

03:15 nomicflux has quit [Client Quit]

03:21 pierpa has quit [Quit: Page closed]

03:50 kerrhau is now known as hackerman

03:51 hackerman is now known as hackarmen

03:51 hackarmen is now known as kerrhau

04:04 xa0 has quit [Quit: Divided by zero]

04:06 xa0 has joined #ocaml

04:06 jao has joined #ocaml

04:08 henrytill has quit [Ping timeout: 248 seconds]

04:09 henrytill has joined #ocaml

04:10 Algebr has joined #ocaml

04:10 Algebr is now known as Guest24657

04:14 Guest24657 has quit [Ping timeout: 240 seconds]

04:15 Algebr has joined #ocaml

04:23 kerrhau is now known as not_salty

04:24 not_salty is now known as areyouserious

04:25 areyouserious is now known as kerrhau

04:30 Algebr has quit [Ping timeout: 268 seconds]

04:37 spew has quit [Remote host closed the connection]

04:38 spew has joined #ocaml

04:47 Algebr has joined #ocaml

04:48 ziyourenxiang has joined #ocaml

04:51 Algebr has quit [Ping timeout: 248 seconds]

04:53 Algebr has joined #ocaml

04:57 jao has quit [Ping timeout: 248 seconds]

04:59 Algebr has quit [Ping timeout: 276 seconds]

05:05 Algebr has joined #ocaml

05:05 Algebr is now known as Guest10743

05:09 Guest10743 has quit [Ping timeout: 255 seconds]

05:11 govg has joined #ocaml

05:12 spew has quit [Quit: Leaving]

05:14 Algebr` has joined #ocaml

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

05:22 zaquest has quit [Quit: Leaving]

05:25 rootmos has quit [Remote host closed the connection]

05:30 kerrhau has quit [Ping timeout: 276 seconds]

05:45 mbuf has joined #ocaml

05:51 jbrown has quit [Ping timeout: 268 seconds]

05:56 davs has joined #ocaml

06:07 infinity0_ has joined #ocaml

06:07 infinity0_ has quit [Changing host]

06:07 infinity0_ has joined #ocaml

06:07 infinity0 has quit [Killed (wilhelm.freenode.net (Nickname regained by services))]

06:24 BitPuffin|osx has joined #ocaml

06:35 davs has quit [Quit: leaving]

06:40 davs has joined #ocaml

06:42 zmt00 has quit [Quit: Leaving]

06:45 davs has quit [Quit: leaving]

06:46 davs has joined #ocaml

06:47 davs has quit [Client Quit]

06:54 davs has joined #ocaml

06:56 davs has quit [Client Quit]

06:57 raphaelss has quit [Remote host closed the connection]

07:08 malc_ has quit [Remote host closed the connection]

07:12 Siegfried has joined #ocaml

07:28 TarVanimelde has joined #ocaml

07:40 cbot has quit [Quit: Leaving]

07:42 mengu has joined #ocaml

07:44 Siegfried has quit [Ping timeout: 255 seconds]

07:45 Siegfried has joined #ocaml

07:52 mengu has quit [Remote host closed the connection]

08:00 ygrek_ has joined #ocaml

08:05 mengu has joined #ocaml

08:15 dlf42 has joined #ocaml

08:29 raphaelss has joined #ocaml

08:57 lostman has joined #ocaml

08:59 mengu has quit [Remote host closed the connection]

09:00 mengu has joined #ocaml

09:01 TarVanimelde has quit [Quit: TarVanimelde]

09:04 mengu has quit [Ping timeout: 240 seconds]

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

09:11 argent_smith has joined #ocaml

09:12 mengu has joined #ocaml

09:22 jnavila has joined #ocaml

09:51 shiyaz has joined #ocaml

10:02 ShalokShalom has quit [Remote host closed the connection]

10:05 jnavila has quit [Quit: Konversation terminated!]

10:05 jnavila has joined #ocaml

10:14 mk9_ has joined #ocaml

10:16 Serpent7776 has joined #ocaml

10:23 jnavila has quit [Ping timeout: 250 seconds]

10:26 mk9_ has quit [Ping timeout: 276 seconds]

10:27 enterprisey has quit [Remote host closed the connection]

10:33 frefity has quit [Ping timeout: 248 seconds]

10:38 jnavila has joined #ocaml

10:46 sapristi has joined #ocaml

10:47 frefity has joined #ocaml

10:47 zolk3ri has joined #ocaml

10:58 enterprisey has joined #ocaml

10:59 enterprisey has quit [Remote host closed the connection]

11:01 jnavila has quit [Ping timeout: 240 seconds]

11:13 silver has joined #ocaml

11:26 lostman has quit [Quit: Connection closed for inactivity]

11:34 mengu has quit [Remote host closed the connection]

11:38 bvad has quit [Quit: WeeChat 1.9]

11:39 riveter has quit [Ping timeout: 240 seconds]

11:42 mengu has joined #ocaml

11:44 kerrhau has joined #ocaml

11:44 kerrhau has quit [Changing host]

11:49 riveter has joined #ocaml

11:49 kerrhau has quit [Quit: bye!]

11:51 mfp has joined #ocaml

11:55 kerrhau has joined #ocaml

11:55 kerrhau has quit [Changing host]

11:55 kerrhau has joined #ocaml

12:08 itPuffin|osxB has joined #ocaml

12:08 mk9_ has joined #ocaml

12:08 kerrhau has quit [Ping timeout: 276 seconds]

12:09 BitPuffin|osx has quit [Ping timeout: 248 seconds]

12:10 itPuffin|osxB is now known as BitPuffin|osx

12:11 zaquest has joined #ocaml

12:15 frefity_ has joined #ocaml

12:19 frefity has quit [Ping timeout: 276 seconds]

12:19 jnavila has joined #ocaml

12:19 itPuffin|osxB has joined #ocaml

12:20 BitPuffin|osx has quit [Ping timeout: 248 seconds]

12:20 itPuffin|osxB is now known as BitPuffin|osx

12:42 jnavila has quit [Ping timeout: 240 seconds]

12:42 JazzyEagle has left #ocaml ["WeeChat 1.9.1"]

12:43 jnavila has joined #ocaml

12:56 mengu has quit [Remote host closed the connection]

12:56 mengu has joined #ocaml

12:56 mengu has quit [Remote host closed the connection]

12:57 mengu has joined #ocaml

13:02 nomicflux has joined #ocaml

13:12 FreeBirdLjj has joined #ocaml

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

13:21 mengu has quit [Remote host closed the connection]

13:21 spew has joined #ocaml

13:21 mengu has joined #ocaml

13:25 mengu has quit [Ping timeout: 248 seconds]

13:27 mengu has joined #ocaml

13:37 mbuf has quit [Quit: Leaving]

13:40 jbrown has joined #ocaml

13:54 nomicflux has quit [Quit: nomicflux]

13:54 mengu has quit [Remote host closed the connection]

13:54 mengu has joined #ocaml

13:56 sepp2k has joined #ocaml

13:59 mengu has quit [Ping timeout: 248 seconds]

14:10 jnavila has quit [Read error: Connection reset by peer]

14:12 jnavila has joined #ocaml

14:14 mengu has joined #ocaml

14:18 ziyourenxiang has quit [Quit: Leaving]

14:24 tane has joined #ocaml

14:29 flo2 has joined #ocaml

14:29 <flo2> I have an issue with path names on windows. I get this kind of path name C:/Users\5C{my_user}

14:30 <flo2> What do I have to change to get proper windows paths_

14:40 zaquest has quit [Ping timeout: 240 seconds]

14:40 sh0t has joined #ocaml

14:45 zaquest has joined #ocaml

14:46 mengu has quit [Remote host closed the connection]

14:47 dlf42me has joined #ocaml

14:47 dolf has joined #ocaml

14:47 mengu has joined #ocaml

14:49 dolf has quit [Client Quit]

14:49 dlf42me has quit [Remote host closed the connection]

14:50 dolf has joined #ocaml

14:50 dolf has quit [Remote host closed the connection]

14:51 dolf has joined #ocaml

14:51 dolf has quit [Remote host closed the connection]

14:51 dolf has joined #ocaml

14:51 mengu has quit [Ping timeout: 248 seconds]

14:51 dolf has quit [Client Quit]

14:53 mengu has joined #ocaml

15:00 dolf has joined #ocaml

15:01 dolf has quit [Remote host closed the connection]

15:03 FreeBirdLjj has joined #ocaml

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

15:16 shinnya has joined #ocaml

15:18 FreeBirdLjj has joined #ocaml

15:23 rpcope has quit [Ping timeout: 250 seconds]

15:28 rpcope has joined #ocaml

15:28 andreas___ has joined #ocaml

15:29 AltGr has joined #ocaml

15:29 AltGr has left #ocaml [#ocaml]

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

15:43 mengu has quit [Quit: Leaving...]

15:43 FreeBirdLjj has joined #ocaml

15:48 mk9 has joined #ocaml

15:52 mk9_ has quit [Ping timeout: 248 seconds]

16:00 mk9 has quit [Ping timeout: 276 seconds]

16:02 flo2 has quit [Quit: Leaving]

16:10 zmt00 has joined #ocaml

16:18 <rixed> andrejbauer: Int_val looks good to me *as long as* the constructors are constant (ie. no data "attached" to them), as in Foo | Bar but not Foo of int | Bar of string. See http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html#sec424 (look for "Concrete data types" in http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html#sec424)

16:20 jnavila has quit [Remote host closed the connection]

16:29 raphaelss has quit [Remote host closed the connection]

16:32 ygrek_ has quit [Ping timeout: 276 seconds]

16:36 jao has joined #ocaml

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

16:49 jao has quit [Ping timeout: 276 seconds]

16:55 FreeBirdLjj has joined #ocaml

16:56 shinnya has quit [Ping timeout: 240 seconds]

16:59 moei has quit [Quit: Leaving...]

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

17:14 FreeBirdLjj has joined #ocaml

17:18 FreeBirdLjj has quit [Ping timeout: 240 seconds]

17:20 Serpent7776 has quit [Quit: Leaving]

17:34 slash^ has joined #ocaml

17:38 shiyaz has quit [Ping timeout: 250 seconds]

17:45 BitPuffin|osx has quit [Ping timeout: 240 seconds]

17:51 ousado_ has quit [Remote host closed the connection]

17:51 ousado_ has joined #ocaml

17:57 whoman has joined #ocaml

17:57 andreas___ has quit [Quit: Connection closed for inactivity]

18:14 moei has joined #ocaml

18:19 thomasga has joined #ocaml

18:19 frefity_ has quit [Ping timeout: 240 seconds]

18:20 <thomasga> hey, what do people recommend nowadays to include ocaml snippets in latex docs?

18:23 raphaelss has joined #ocaml

18:33 thomasga has left #ocaml [#ocaml]

18:42 TarVanimelde has joined #ocaml

18:45 slash^ has quit [Read error: Connection reset by peer]

18:55 kakadu has quit [Quit: Konversation terminated!]

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

19:01 silver has joined #ocaml

19:09 TarVanimelde has quit [Quit: TarVanimelde]

19:19 superherointj has joined #ocaml

19:24 superherointj has quit [Quit: Leaving]

19:28 _andre has quit [Quit: leaving]

19:28 tane has quit [Quit: Leaving]

19:40 Algebr has joined #ocaml

19:40 dedgrant has joined #ocaml

19:42 dedgrant_ has quit [Ping timeout: 240 seconds]

19:42 dedgrant_ has joined #ocaml

19:45 dedgrant has quit [Ping timeout: 276 seconds]

19:50 p1n34ppl3 has quit [Quit: Lost terminal]

19:52 kakadu has joined #ocaml

20:08 Algebr has quit [Read error: Connection reset by peer]

20:08 Algebr has joined #ocaml

20:19 andreas___ has joined #ocaml

20:25 sh0t has quit [Remote host closed the connection]

20:25 sh0t has joined #ocaml

20:30 sh0t has quit [Ping timeout: 260 seconds]

20:31 sh0t has joined #ocaml

20:32 sh0t has quit [Remote host closed the connection]

20:33 sh0t has joined #ocaml

20:38 sh0t has quit [Remote host closed the connection]

20:39 sh0t has joined #ocaml

20:39 sh0t has quit [Remote host closed the connection]

20:39 sh0t has joined #ocaml

20:44 gpietro has joined #ocaml

20:44 sh0t has quit [Read error: Connection reset by peer]

20:46 zolk3ri has quit [Remote host closed the connection]

20:48 riveter has quit [Ping timeout: 240 seconds]

20:54 riveter has joined #ocaml

21:01 kerrhau has joined #ocaml

21:01 kerrhau has quit [Changing host]

21:01 kerrhau has joined #ocaml

21:29 jnavila has joined #ocaml

21:56 gpietro has quit [Remote host closed the connection]

21:57 sh0t has joined #ocaml

21:58 kerrhau has quit [Read error: Connection reset by peer]

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

21:59 kerrhau has joined #ocaml

22:11 argent_smith has quit [Quit: Leaving.]

22:24 orbifx has joined #ocaml

22:30 spew has quit [Ping timeout: 240 seconds]

22:42 sapristi has quit [Ping timeout: 268 seconds]

22:43 pierpa has joined #ocaml

22:44 jao has joined #ocaml

22:55 shinnya has joined #ocaml

22:55 barcabuona has joined #ocaml

23:20 sepp2k has quit [Quit: Leaving.]

23:24 Algebr` has joined #ocaml

23:26 Algebr has quit [Ping timeout: 248 seconds]

23:34 <orbifx> rgrinberg: are you about?

23:57 kakadu_ has joined #ocaml

23:58 kakadu has quit [Ping timeout: 250 seconds]

23:58 sh0t has quit [Ping timeout: 248 seconds]