#ocaml on 2018-04-03 — 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:07 Haudegen has quit [Read error: Connection reset by peer]

00:11 spew has quit [Ping timeout: 256 seconds]

00:13 shinnya has quit [Ping timeout: 260 seconds]

00:16 infinity0 has quit [Ping timeout: 256 seconds]

00:18 infinity0 has joined #ocaml

00:24 al-damiri has quit [Quit: Connection closed for inactivity]

00:30 sh0t has joined #ocaml

00:59 Enjolras has joined #ocaml

01:00 spew has joined #ocaml

01:22 shinnya has joined #ocaml

01:29 zolk3ri has quit [Quit: Lost terminal]

01:35 FreeBirdLjj has joined #ocaml

01:36 sh0t has quit [Remote host closed the connection]

01:37 spew has quit [Ping timeout: 260 seconds]

01:39 <kino`> Hey again

01:39 <kino`> Is is possible to do a conditional include based on the platform?

01:47 FreeBirdLjj has quit [Remote host closed the connection]

01:54 leah2 has quit [Ping timeout: 255 seconds]

01:55 leah2 has joined #ocaml

01:59 pierpa_ has quit [Quit: Page closed]

02:04 <companion_cube> in jbuilder? probably, yes, look in the doc

02:05 <companion_cube> (worst case, delegate to a small OCaml script)

02:07 <companion_cube> eg. https://jbuilder.readthedocs.io/en/latest/jbuild.html#ordered-set-language ?

02:07 mfp has quit [Ping timeout: 240 seconds]

02:12 <kino`> Ah, I see!

02:13 <kino`> Thanks.

02:22 letoh has joined #ocaml

02:28 hdon has quit [Ping timeout: 256 seconds]

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

02:40 tormen_ has joined #ocaml

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

02:59 shinnya has quit [Ping timeout: 248 seconds]

03:02 kino` has quit [Quit: WeeChat 2.1]

03:05 _13h has joined #ocaml

03:19 jimmyrcom has joined #ocaml

03:20 charles__ has joined #ocaml

03:23 <charles__> Hi! I'm trying to do something pretty crazy: given a filepath to a .cmo, is it possible to load that module and then access it as an Obj.t? Thanks for your help!

03:29 jimmyrcom has quit [Ping timeout: 260 seconds]

03:30 lopex has quit [Quit: Connection closed for inactivity]

03:31 jimmyrcom has joined #ocaml

03:33 <Sargun> Should I have to explictly open the module Misc?

03:33 <Sargun> companion_cube: Are you the c-cube of CCBlockingQueue?

03:35 nullifidian_ has joined #ocaml

03:37 <Sargun> Any why I can't find the Misc module? Error: Unbound module Misc

03:38 nullifidian has quit [Ping timeout: 264 seconds]

03:40 kakadu_ has joined #ocaml

03:42 pierpa has quit [Ping timeout: 260 seconds]

03:43 kakadu has quit [Ping timeout: 256 seconds]

04:12 gentauro has quit [Ping timeout: 256 seconds]

04:13 gentauro has joined #ocaml

04:23 kakadu has joined #ocaml

04:26 kakadu_ has quit [Ping timeout: 240 seconds]

04:54 charles__ has quit [Quit: leaving]

05:01 snhmib has joined #ocaml

05:03 cbot has quit [Quit: Leaving]

05:13 <Enjolras> Sargun: no idea what the Misc module is

05:21 <Sargun> Enjolras: https://ocaml.github.io/ocamlunix/signals.html

05:21 <Sargun> > The module Misc define the function restart_on_EINTR which makes it possible to repeat a system call when it is interrupted by a signal, i.e. when the EINTR exception is raised.

05:23 <Sargun> companion_cube: If so, I just needed to use CCBlockingQueue instead of event, and it fixed it.

05:23 <Sargun> btw, your containers library is awesome

05:33 <Enjolras> i've no idea what this book is referring too :/ never heard of a Misc module

05:34 <Enjolras> https://caml.inria.fr/pub/docs/manual-ocaml/libref/Unix.html this is the official doc of the Unix module it does not mention it

05:35 MercurialAlchemi has joined #ocaml

05:35 <Enjolras> Sargun: that's pretty old book you are reading, it's 4 years old :) maybe it's outdated

05:36 <Enjolras> (also yes companion_cube is the author of containers)

05:37 <Enjolras> i would recommand not using signals anyway, this can lead to nightmares

05:41 Mercuria1Alchemi has joined #ocaml

05:42 MercurialAlchemi has quit [Ping timeout: 246 seconds]

05:58 mbuf has joined #ocaml

06:04 <Sargun> Enjolras: What's the alternative?

06:07 nicoo has quit [*.net *.split]

06:15 nicoo has joined #ocaml

06:15 <Sargun> Stupid question (to be fair, I'm using Reason), If I define an object type, a la -- type signal_msg = < sig_val :int >, how do I create it?

06:15 <Sargun> or create an instance of it

06:22 shinnya has joined #ocaml

06:23 <Enjolras> Sargun: alterative : any other rpc mechanic, even http server

06:23 <Enjolras> object you can define an object method sig_val = 42 end and it will have type signal_msg

06:24 <Enjolras> you can also cast like (object method sig_val = 42 method some_other_method = 43 end :> signal_msg)

06:24 <Enjolras> i'm not familiar with reason syntax sorry, hopefully you can figure it out

06:30 <Sargun> Enjolras: Ah, no, unfortunately, I'm writing a service supervisor

06:31 <Sargun> So, I've gotta deal with our friends Docker, and systemd

06:31 <Enjolras> uh oh good lucj

06:31 <Enjolras> well i guess you can reimplement this retry_on_eintr function. Also you might want to have a look at ExtUnix library

06:31 snhmib has quit [Ping timeout: 256 seconds]

06:32 <Sargun> I'm using ExtUnix.

06:32 <Sargun> I rolled my own restart_on_EINTR

06:33 <Enjolras> :)

06:33 orbifx has joined #ocaml

06:33 <Sargun> I come from Erlang.

06:33 <Sargun> So, the FP bits are mostly at home

06:33 <Sargun> The runtime, and syntax..is not

06:36 snhmib has joined #ocaml

06:37 orbifx has quit [Client Quit]

06:41 muelleme_ has joined #ocaml

06:51 <Sargun> How did Ocaml come up with these signal numbers? https://github.com/ocaml/ocaml/blob/trunk/stdlib/sys.mlp#L87

06:52 <Sargun> They don't seem to jive with real signal numbers: https://elixir.bootlin.com/linux/latest/source/include/uapi/asm-generic/signal.h#L12

06:59 <Enjolras> i don't know but this annoys me often

06:59 <Enjolras> Sys is a module wich is supposed to be kinf of platform independant

06:59 <Enjolras> so it sorta work on windows sometimes

06:59 <Enjolras> if you ask me, i think it's just a pile of hack

06:59 <Sargun> What's a Windows?

06:59 <Sargun> ExtUnix only works on Linux.

07:00 <Sargun> its signal handler bits at least

07:00 <Enjolras> Wondows, the OS :)

07:00 <Enjolras> windows*

07:00 <Sargun> :P

07:01 <Enjolras> ExtUnix is a separated lib, Sys is in stdlib, and it's here forever

07:02 <Sargun> Yeah

07:02 <Enjolras> it's probably some legacy from 30 years ago

07:03 <Sargun> I wonder if BatSys is any better

07:04 <Sargun> Nope

07:05 <Enjolras> No it has some runtime support in C and all libs use it

07:06 <Enjolras> that's probably indexes in a jump table. This type should probably have been abstracted. Lemme check

07:09 <Enjolras> https://github.com/ocaml/ocaml/blob/791a26cef841a49b997800a8d2a51d496c523404/byterun/signals.c#L314

07:09 <Enjolras> yes, the numbers are index in translation table to C values

07:10 muelleme_ has quit [Ping timeout: 240 seconds]

07:10 <Enjolras> it really should be abstracted type and not expose that it's an int :/ but compatibitly probably makes it impossible to change now

07:15 moolc has joined #ocaml

07:19 <Sargun> It probably should have been an enum

07:20 snhmib has quit [Ping timeout: 256 seconds]

07:23 snhmib has joined #ocaml

07:29 mrgrieves has joined #ocaml

07:33 Haudegen has joined #ocaml

08:12 argent_smith has joined #ocaml

08:22 ygrek has joined #ocaml

08:40 lopex has joined #ocaml

08:43 kdas__ has joined #ocaml

08:46 kdas__ is now known as kushal

08:46 kushal has quit [Changing host]

08:46 kushal has joined #ocaml

08:54 kushal has quit [Quit: Leaving]

09:09 tarptaeya has joined #ocaml

09:24 dhil has joined #ocaml

09:28 mfp has joined #ocaml

09:37 pierpa has joined #ocaml

10:11 muelleme_ has joined #ocaml

10:15 muelleme_ has quit [Ping timeout: 248 seconds]

10:17 zolk3ri has joined #ocaml

10:21 muelleme_ has joined #ocaml

10:29 kalio has quit [Ping timeout: 240 seconds]

10:34 kalio has joined #ocaml

10:51 snhmib has quit [Ping timeout: 276 seconds]

10:56 snhmib has joined #ocaml

10:58 jao has joined #ocaml

10:58 tarptaeya has quit [Ping timeout: 264 seconds]

10:59 tarptaeya has joined #ocaml

11:02 snhmib has quit [Ping timeout: 256 seconds]

11:05 moolc has quit [Quit: ERC (IRC client for Emacs 27.0.50)]

11:05 snhmib has joined #ocaml

11:10 _13h has quit [Quit: Page closed]

11:10 snhmib has quit [Ping timeout: 240 seconds]

11:20 gtrak has joined #ocaml

11:20 snhmib has joined #ocaml

11:28 snhmib has quit [Ping timeout: 246 seconds]

11:35 snhmib has joined #ocaml

11:36 jao has quit [Ping timeout: 260 seconds]

11:38 dhil has quit [Ping timeout: 240 seconds]

11:41 dhil has joined #ocaml

11:55 gtrak has quit [Ping timeout: 256 seconds]

11:57 gtrak has joined #ocaml

11:58 spew has joined #ocaml

12:07 spew has quit [Ping timeout: 256 seconds]

12:07 sh0t has joined #ocaml

12:08 snhmib has quit [Ping timeout: 255 seconds]

12:16 mbuf has quit [Quit: Leaving]

12:26 muelleme_ has quit [Ping timeout: 255 seconds]

12:35 snhmib has joined #ocaml

12:42 sh0t has quit [Remote host closed the connection]

12:50 pippijn_ is now known as pippijn

12:51 pippijn has quit [Changing host]

12:51 pippijn has joined #ocaml

12:52 xutux has joined #ocaml

12:53 _andre has joined #ocaml

12:56 reynir has quit [Ping timeout: 255 seconds]

13:01 mrgrieves has quit [Ping timeout: 240 seconds]

13:02 mrgrieves has joined #ocaml

13:04 xutux has quit [Remote host closed the connection]

13:08 xutux has joined #ocaml

13:08 reynir has joined #ocaml

13:10 jao has joined #ocaml

13:16 BitPuffin has joined #ocaml

13:22 muelleme_ has joined #ocaml

13:29 muelleme_ has quit [Ping timeout: 264 seconds]

13:29 gtrak has quit [Ping timeout: 256 seconds]

13:29 jao has quit [Ping timeout: 256 seconds]

13:30 mk9 has joined #ocaml

13:30 jao has joined #ocaml

13:31 gtrak has joined #ocaml

13:32 shinnya has quit [Ping timeout: 240 seconds]

13:39 zolk3ri has quit [Ping timeout: 264 seconds]

13:41 spew has joined #ocaml

13:42 xutux_ has joined #ocaml

13:43 xutux has quit [Ping timeout: 256 seconds]

13:45 zolk3ri has joined #ocaml

13:47 sh0t has joined #ocaml

13:50 mk9 has quit [Quit: mk9]

13:51 snhmib has quit [Ping timeout: 256 seconds]

13:55 tarptaeya has quit [Ping timeout: 256 seconds]

14:07 tarptaeya has joined #ocaml

14:15 Mercuria1Alchemi has quit [Ping timeout: 246 seconds]

14:18 snhmib has joined #ocaml

14:18 tarptaeya_ has joined #ocaml

14:18 tarptaeya_ has quit [Client Quit]

14:27 mk9 has joined #ocaml

14:27 mk9 has quit [Client Quit]

14:31 mk9 has joined #ocaml

14:38 muelleme_ has joined #ocaml

14:40 snhmib has quit [Ping timeout: 246 seconds]

14:40 govg has quit [Ping timeout: 264 seconds]

14:40 govg has joined #ocaml

14:48 _whitelogger has joined #ocaml

14:48 lostman has quit [Ping timeout: 276 seconds]

14:48 Fistine has quit [Ping timeout: 276 seconds]

14:48 cschneid_ has quit [Ping timeout: 276 seconds]

14:49 Fistine has joined #ocaml

14:49 cschneid has joined #ocaml

14:50 lostman has joined #ocaml

14:54 silver has joined #ocaml

14:54 mk9 has quit [Quit: mk9]

15:02 muelleme_ has quit [Ping timeout: 260 seconds]

15:03 snhmib has joined #ocaml

15:21 muelleme_ has joined #ocaml

15:25 FreeBirdLjj has joined #ocaml

15:32 jao has quit [Ping timeout: 264 seconds]

15:33 ygrek has quit [Ping timeout: 268 seconds]

15:46 pierpa has quit [Ping timeout: 260 seconds]

15:46 pierpa has joined #ocaml

16:00 xutux_ has quit [Ping timeout: 248 seconds]

16:01 pierpa has quit [Ping timeout: 260 seconds]

16:03 mk9 has joined #ocaml

16:08 mk9 has quit [Quit: mk9]

16:09 muelleme_ has quit [Ping timeout: 260 seconds]

16:10 pierpa has joined #ocaml

16:40 kakadu has quit [Quit: Konversation terminated!]

16:41 kakadu has joined #ocaml

16:42 snhmib has quit [Ping timeout: 276 seconds]

16:48 bartholin has quit [Read error: Connection reset by peer]

16:49 bartholin has joined #ocaml

16:50 snhmib has joined #ocaml

16:52 <Sargun> Do Ocaml channels / blocking queues / events have multi-select?

16:59 ousado has quit [Ping timeout: 260 seconds]

17:04 ousado has joined #ocaml

17:04 moolc has joined #ocaml

17:05 muelleme_ has joined #ocaml

17:06 <dmbaturin> Sargun: You mean select/poll?

17:06 <dmbaturin> The standard library has Unix.select, Lwt has its wrapper, there are wrappers for poll in Extunix AFAIR.

17:09 hdon has joined #ocaml

17:10 muelleme_ has quit [Ping timeout: 256 seconds]

17:14 <zozozo> Sargun: a (- i) signal number in sys.ml refers to a signal number at the i-th position in a C array defined elsewhere

17:17 moei has quit [Quit: Leaving...]

17:17 <zozozo> Specifically in the byterun/signals.c file

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

17:34 FreeBirdLjj has joined #ocaml

17:34 zolk3ri has quit [Ping timeout: 264 seconds]

17:40 zolk3ri has joined #ocaml

17:47 jnavila has joined #ocaml

17:56 xutux has joined #ocaml

17:57 muelleme_ has joined #ocaml

18:00 dhil has quit [Ping timeout: 260 seconds]

18:02 jnavila has quit [Ping timeout: 240 seconds]

18:03 zv has quit [Ping timeout: 240 seconds]

18:15 moolc has quit [Quit: ERC (IRC client for Emacs 27.0.50)]

18:27 mk9 has joined #ocaml

18:28 mk9 has quit [Client Quit]

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

18:38 muelleme_ has quit [Ping timeout: 268 seconds]

18:38 gpietro has joined #ocaml

18:40 jnavila has joined #ocaml

18:40 lostman_ has joined #ocaml

18:42 fds_ has joined #ocaml

18:45 jao has joined #ocaml

18:46 bjs_ has joined #ocaml

18:47 lostman has quit [*.net *.split]

18:47 sh0t has quit [*.net *.split]

18:47 shakalaka has quit [*.net *.split]

18:47 Bluddy[m] has quit [*.net *.split]

18:47 Haudegen[m] has quit [*.net *.split]

18:47 isaachodes[m] has quit [*.net *.split]

18:47 dlebrecht[m] has quit [*.net *.split]

18:47 spectrumgomas[m] has quit [*.net *.split]

18:47 thizanne has quit [*.net *.split]

18:47 neubyi has quit [*.net *.split]

18:47 kit_ty_kate has quit [*.net *.split]

18:47 fds has quit [*.net *.split]

18:47 bjs has quit [*.net *.split]

18:47 bjs_ is now known as bjs

18:47 lostman_ is now known as lostman

18:48 shakalaka has joined #ocaml

18:48 pierpa_ has joined #ocaml

18:50 letoh has quit [Ping timeout: 276 seconds]

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

18:52 argent_smith has quit [Quit: Leaving.]

18:53 Haudegen[m] has joined #ocaml

18:53 thizanne has joined #ocaml

18:54 kit_ty_kate has joined #ocaml

18:54 dlebrecht[m] has joined #ocaml

18:55 isaachodes[m] has joined #ocaml

18:55 Bluddy[m] has joined #ocaml

18:55 spectrumgomas[m] has joined #ocaml

18:55 letoh has joined #ocaml

19:12 kino` has joined #ocaml

19:18 mrgrieves has quit [Ping timeout: 260 seconds]

19:19 mrgrieves has joined #ocaml

19:20 mk9 has joined #ocaml

19:21 Onemorenickname has joined #ocaml

19:23 ygrek has joined #ocaml

19:29 kakadu has joined #ocaml

19:33 pierpa has quit [Ping timeout: 260 seconds]

19:43 Enjolras has quit [Read error: Connection reset by peer]

19:44 mrgrieves has quit [Ping timeout: 240 seconds]

19:46 mrgrieves has joined #ocaml

19:49 <Sargun> dmbaturin: Select on Event, or on queues

19:57 mk9 has quit [Quit: mk9]

19:59 <xutux> Hi, Does anyone any good Ocaml Code "Scanner" that would be a good bases for checking things like what functions are Total or if there are any uncaught exceptions or dead code (functions that aren't used in a module and can be removed), etc.

19:59 gtrak has quit [Ping timeout: 256 seconds]

20:01 gtrak has joined #ocaml

20:09 <Drup> xutux: some of those are already provided by compiler warnings

20:10 <Drup> for the rest, the name you are looking for is "static analyzer". We don't really have one for unhandled exceptions unfortunately

20:10 <Drup> for project-wide dead code, there is dead_code_analyzer on opam

20:17 Haudegen has quit [Remote host closed the connection]

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

20:39 muelleme_ has joined #ocaml

20:40 hdon has quit [Changing host]

20:40 hdon has joined #ocaml

20:52 gtrak has quit [Ping timeout: 264 seconds]

20:54 gtrak has joined #ocaml

20:54 onion has quit [Ping timeout: 264 seconds]

20:58 muelleme_ has quit [Ping timeout: 255 seconds]

21:00 fds_ is now known as fds

21:02 ygrek has quit [Ping timeout: 256 seconds]

21:03 mk9 has joined #ocaml

21:05 whonion has joined #ocaml

21:05 ygrek has joined #ocaml

21:06 neubyi has joined #ocaml

21:07 isd has joined #ocaml

21:07 mk9 has quit [Client Quit]

21:08 mk9 has joined #ocaml

21:09 gtrak has quit [Ping timeout: 264 seconds]

21:11 gtrak has joined #ocaml

21:12 whonion has quit [Ping timeout: 255 seconds]

21:15 snhmib has quit [Ping timeout: 246 seconds]

21:17 galaticstructs has joined #ocaml

21:20 _andre has quit [Quit: leaving]

21:21 onion has joined #ocaml

21:21 onion is now known as whoman

21:21 Haudegen has joined #ocaml

21:28 whoman has quit [Ping timeout: 255 seconds]

21:30 ygrek has quit [Ping timeout: 240 seconds]

21:35 hdon has quit [Ping timeout: 240 seconds]

21:44 Onemorenickname has quit [Read error: Connection reset by peer]

21:45 snhmib has joined #ocaml

21:49 hdon has joined #ocaml

21:52 zv has joined #ocaml

21:53 whoman has joined #ocaml

22:02 moei has joined #ocaml

22:23 isd has quit [Ping timeout: 256 seconds]

22:24 galaticstructs has quit [Ping timeout: 260 seconds]

22:28 snhmib has quit [Ping timeout: 256 seconds]

22:30 mk9 has quit [Remote host closed the connection]

22:33 snhmib has joined #ocaml

22:33 isd has joined #ocaml

22:40 huglovefan has joined #ocaml

22:46 tarptaeya has quit [Quit: Byeeeeeee!]

22:57 jao has quit [Remote host closed the connection]

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

23:10 isd has quit [Quit: Leaving.]

23:27 snhmib has quit [Ping timeout: 276 seconds]

23:33 shinnya has joined #ocaml

23:59 whoman has quit [Quit: WeeChat 1.9.1]

23:59 onion has joined #ocaml

23:59 onion is now known as whoman

23:59 whoman is now known as onion