#ocaml on 2018-10-18 — irc logs at freenode.irclog.whitequark.org

2018-08-02 09:43 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 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:06 steenuil_ has joined #ocaml

00:07 steenuil has quit [Ping timeout: 252 seconds]

00:18 olopierpa has quit [Ping timeout: 256 seconds]

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

00:51 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:00 emily has quit [Ping timeout: 250 seconds]

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

01:11 jao has joined #ocaml

01:17 kvda has joined #ocaml

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

01:32 rdivyanshu has joined #ocaml

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

01:54 emily has joined #ocaml

02:12 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:13 neatonk has quit [Ping timeout: 244 seconds]

02:14 kvda has joined #ocaml

02:15 MadcapJake has quit [Remote host closed the connection]

02:16 MadcapJake has joined #ocaml

02:17 kvda has quit [Read error: Connection reset by peer]

02:17 kvda_ has joined #ocaml

02:20 jbrown has quit [Ping timeout: 252 seconds]

02:25 tormen_ has joined #ocaml

02:26 kvda_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

02:31 kvda has joined #ocaml

02:32 jbrown has joined #ocaml

02:33 rdivyanshu has quit [Ping timeout: 252 seconds]

02:34 kvda has quit [Client Quit]

02:40 rdivyanshu has joined #ocaml

02:42 kvda has joined #ocaml

03:05 rdivyanshu has quit [Remote host closed the connection]

03:06 JimmyRcom has joined #ocaml

03:07 nicoo has quit [Ping timeout: 256 seconds]

03:11 nicoo has joined #ocaml

03:11 rdivyanshu has joined #ocaml

03:11 rdivyanshu has quit [Read error: Connection reset by peer]

03:12 rdivyanshu has joined #ocaml

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

03:13 kvda has joined #ocaml

03:20 carlosdagos has joined #ocaml

03:40 mfp has quit [Ping timeout: 268 seconds]

04:03 rdivyanshu has quit [Remote host closed the connection]

04:06 env__ has joined #ocaml

04:07 <env__> bit of a noob question, but suppose I was writing an interpreter for C and wanted a convenient way to represent 8/16/32/64 width bitvectors, is there an easy way to do that? I searched around but couldn't really find anything obvious

04:09 <companion_cube> stdint maybe?

04:10 <companion_cube> for 32/64 there's Int32 and Int64

04:12 <env__> stdint seems like a good option, thanks

04:12 <env__> I was pretty close to just loading the cffi and just using it for c integers

04:12 <companion_cube> :D

04:12 <companion_cube> worst case…

04:13 <env__> ah damn, I just realized that I need arbitrary length bitvectors, hmm

04:14 <companion_cube> hmmmmm well there are libs of bitvectors

04:14 <companion_cube> but if you need stuff like addition on them, that's gonna be more work

04:15 rdivyanshu has joined #ocaml

04:16 <env__> hmm, this project will be using a bitvector smt solver in the near future, I wonder how bad it would be to just use their concrete bitvector representation :^)

04:16 <companion_cube> could also work indeed!

04:16 <companion_cube> which one? :)

04:17 <env__> Probably Z3, only one I've used with ocaml before

04:17 <companion_cube> well I guess it'd work, if you call simplify often

04:18 <env__> it is what it is I suppose

04:36 nicoo has quit [Ping timeout: 256 seconds]

04:47 nicoo has joined #ocaml

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

05:14 marble_visions has joined #ocaml

05:18 tianon has quit [Quit: brb]

05:19 rdivyanshu has quit [Ping timeout: 246 seconds]

05:21 JimmyRcom has quit [Ping timeout: 252 seconds]

05:22 rdivyanshu has joined #ocaml

05:36 <xvilka> Z3 is the best one

05:36 <xvilka> since it can handle most theories from any available SMT solvers

05:36 <xvilka> and kind of fast

05:37 <xvilka> (except SMT over real numbers)

05:37 steenuil_ has quit [Quit: Leaving]

05:39 <xvilka> For real numbers there is dReal https://dreal.github.io

05:39 <xvilka> FYI, if you decide to support those too

05:39 JimmyRcom has joined #ocaml

05:40 <xvilka> There is also AltErgo in OCaml

05:41 <xvilka> Not sure if it is as good as Z3 though

05:44 <xvilka> by the way, I remember there were users of 'amqp-client' AMQP library. How do you handle closed connections, how do you perform autoreconnection (like it can be done with 'pika' from Python)?

05:59 JimmyRcom has quit [Ping timeout: 272 seconds]

06:00 <marble_visions> !last

06:18 nicoo has quit [Ping timeout: 256 seconds]

06:19 emily has quit [Ping timeout: 252 seconds]

06:28 nicoo has joined #ocaml

06:30 mildtaste has joined #ocaml

06:41 kvda has joined #ocaml

06:53 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:03 GreyFaceNoSpace has quit [Quit: Ex-Chat]

07:06 orbifx2 has joined #ocaml

07:06 loli has joined #ocaml

07:09 kvda has joined #ocaml

07:11 env__ has quit [Ping timeout: 244 seconds]

07:25 Haudegen has joined #ocaml

07:31 orbifx2 has quit [Ping timeout: 252 seconds]

07:33 env__ has joined #ocaml

07:39 tianon has joined #ocaml

07:59 env__ has quit [Ping timeout: 276 seconds]

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

08:10 kvda has joined #ocaml

08:14 kvda has quit [Client Quit]

08:24 env__ has joined #ocaml

08:25 rand__ has joined #ocaml

08:30 env__ has quit [Ping timeout: 268 seconds]

08:39 env__ has joined #ocaml

08:40 kvda has joined #ocaml

08:44 env__ has quit [Ping timeout: 276 seconds]

08:45 carlosdagos has quit [Quit: Connection closed for inactivity]

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

08:49 ggole has joined #ocaml

08:52 <Leonidas> xvilka: we don't experience closed connections a lot, in such case we just do the erlang thing and "let it crash" to be revived by the orchestrator.

08:59 env__ has joined #ocaml

09:05 env__ has quit [Ping timeout: 244 seconds]

09:19 env__ has joined #ocaml

09:24 env__ has quit [Ping timeout: 250 seconds]

09:26 djellemah has quit [Ping timeout: 246 seconds]

09:28 djellemah has joined #ocaml

09:31 env__ has joined #ocaml

09:35 env__ has quit [Ping timeout: 252 seconds]

09:41 mfp has joined #ocaml

09:45 env__ has joined #ocaml

09:50 env__ has quit [Ping timeout: 272 seconds]

09:52 jaar has joined #ocaml

09:54 <xvilka> Leonidas: well, Erlang/Elixir are truly created for such things. Sadly I cannot rewrite this part in it - already too late and it grown big

09:59 env__ has joined #ocaml

10:02 <Leonidas> xvilka: We don't plan to rewrite it in an untyped language either, it's just how we handle it atm.

10:03 <Leonidas> If we were losing connections more often it would be worth looking into it, but it hasn't been an issue (maybe amqp-client actually reconnects internally) so far

10:04 env__ has quit [Ping timeout: 252 seconds]

10:05 rpcope has quit [Ping timeout: 268 seconds]

10:06 rpcope has joined #ocaml

10:12 env__ has joined #ocaml

10:15 neets has joined #ocaml

10:16 env__ has quit [Ping timeout: 252 seconds]

10:22 env__ has joined #ocaml

10:27 env__ has quit [Ping timeout: 246 seconds]

10:35 env__ has joined #ocaml

10:39 env__ has quit [Ping timeout: 246 seconds]

10:46 env__ has joined #ocaml

10:50 freyr69 has joined #ocaml

10:50 env__ has quit [Ping timeout: 250 seconds]

10:58 env__ has joined #ocaml

10:59 rdivyanshu has quit []

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

11:02 env__ has quit [Ping timeout: 244 seconds]

11:08 env__ has joined #ocaml

11:08 rdivyanshu has joined #ocaml

11:10 gareppa has joined #ocaml

11:13 env__ has quit [Ping timeout: 272 seconds]

11:13 rdivyanshu has quit [Remote host closed the connection]

11:16 gareppa has quit [Quit: Leaving]

11:21 env__ has joined #ocaml

11:26 env__ has quit [Ping timeout: 252 seconds]

11:26 jao has joined #ocaml

11:29 <ggole> Hint: Did you mean foo, foo or foo?

11:29 <ggole> The misspelling suggestions feature is nice, but it interacts a bit strangely with opened modules.

11:31 <Armael> yeah

11:32 <ggole> I wonder whether this is worth a bug report. It's more amusing than harmful.

11:32 rdivyanshu has joined #ocaml

11:33 env__ has joined #ocaml

11:34 <Armael> I think it's worth a bug report and a minimal repro example (if it hasn't been reported already) :)

11:37 env__ has quit [Ping timeout: 268 seconds]

11:39 env__ has joined #ocaml

11:44 env__ has quit [Ping timeout: 250 seconds]

11:49 env__ has joined #ocaml

11:51 neets has quit [Ping timeout: 250 seconds]

11:55 env__ has quit [Ping timeout: 276 seconds]

11:56 env__ has joined #ocaml

11:57 neets has joined #ocaml

12:00 env__ has quit [Ping timeout: 244 seconds]

12:04 env__ has joined #ocaml

12:05 neets has left #ocaml [#ocaml]

12:05 neets has joined #ocaml

12:08 Haudegen has joined #ocaml

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

12:10 env__ has joined #ocaml

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

12:21 env__ has joined #ocaml

12:25 env__ has quit [Ping timeout: 268 seconds]

12:26 bartholin has joined #ocaml

12:27 env__ has joined #ocaml

12:28 nullifidian has quit [Ping timeout: 276 seconds]

12:32 env__ has quit [Ping timeout: 252 seconds]

12:34 env__ has joined #ocaml

12:39 env__ has quit [Ping timeout: 246 seconds]

12:41 nullifidian has joined #ocaml

12:41 spew has joined #ocaml

12:44 quipa has joined #ocaml

12:46 env__ has joined #ocaml

12:47 nullifidian has quit [Ping timeout: 245 seconds]

12:51 env__ has quit [Ping timeout: 245 seconds]

12:53 env__ has joined #ocaml

12:57 env__ has quit [Ping timeout: 245 seconds]

12:58 jao has quit [Ping timeout: 260 seconds]

13:00 jao has joined #ocaml

13:01 nullifidian has joined #ocaml

13:02 env__ has joined #ocaml

13:07 env__ has quit [Ping timeout: 252 seconds]

13:08 neatonk has joined #ocaml

13:14 env__ has joined #ocaml

13:18 env__ has quit [Ping timeout: 245 seconds]

13:20 env__ has joined #ocaml

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

13:25 env__ has quit [Ping timeout: 245 seconds]

13:28 env__ has joined #ocaml

13:30 quipa has joined #ocaml

13:30 quipa has quit [Remote host closed the connection]

13:30 FreeBirdLjj has joined #ocaml

13:31 quipa has joined #ocaml

13:32 env__ has quit [Ping timeout: 268 seconds]

13:35 FreeBirdLjj has quit [Ping timeout: 276 seconds]

13:43 env__ has joined #ocaml

13:47 env__ has quit [Ping timeout: 252 seconds]

13:48 dtornabene has joined #ocaml

13:55 nullifidian has quit [Ping timeout: 252 seconds]

13:57 env__ has joined #ocaml

14:01 env__ has quit [Ping timeout: 252 seconds]

14:07 nullifidian has joined #ocaml

14:08 env__ has joined #ocaml

14:13 env__ has quit [Ping timeout: 268 seconds]

14:15 quipa has quit [Read error: Connection reset by peer]

14:20 env__ has joined #ocaml

14:24 env__ has quit [Ping timeout: 252 seconds]

14:29 env__ has joined #ocaml

14:33 silver has joined #ocaml

14:34 ski has joined #ocaml

14:37 FreeBirdLjj has joined #ocaml

14:37 rdivyanshu has quit [Remote host closed the connection]

14:55 rdivyanshu has joined #ocaml

14:59 rdivyanshu has quit [Ping timeout: 244 seconds]

15:02 johnelse has quit [Read error: Connection reset by peer]

15:04 env__ has quit [Ping timeout: 268 seconds]

15:16 kino` has joined #ocaml

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

15:16 johnelse has joined #ocaml

15:16 <kino`> Hi, I'm using menhir and I was wondering if it was possible to parse those two statements into to different structures:

15:17 <kino`> `a |> b |> c`

15:17 al-damiri has joined #ocaml

15:17 <kino`> `a |> b ~> c.`

15:21 rdivyanshu has joined #ocaml

15:28 JimmyRcom has joined #ocaml

15:29 env__ has joined #ocaml

15:30 emily has joined #ocaml

15:53 tane has joined #ocaml

15:56 env__ has quit [Ping timeout: 250 seconds]

16:01 neets has quit [Read error: Connection reset by peer]

16:01 kino` has quit [Read error: Connection reset by peer]

16:02 Haudegen has quit [Remote host closed the connection]

16:05 rdivyans_ has joined #ocaml

16:09 jbrown has quit [Ping timeout: 252 seconds]

16:09 rdivyanshu has quit [Ping timeout: 276 seconds]

16:18 rand__ has quit [Ping timeout: 260 seconds]

16:21 jbrown has joined #ocaml

16:22 kino` has joined #ocaml

16:25 erkin has joined #ocaml

16:27 crowley95 has quit [Ping timeout: 245 seconds]

16:30 crowley95 has joined #ocaml

16:39 kino` has quit [Ping timeout: 252 seconds]

16:44 dtornabene has quit [Quit: Leaving]

16:52 lostman has quit [Quit: Connection closed for inactivity]

16:54 rdivyans_ has quit [Read error: Connection reset by peer]

16:55 rdivyanshu has joined #ocaml

17:04 fraxamo has joined #ocaml

17:09 rdivyanshu has quit [Remote host closed the connection]

17:10 JimmyRcom has quit [Ping timeout: 252 seconds]

17:10 rdivyanshu has joined #ocaml

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

17:14 rdivyanshu has quit [Ping timeout: 268 seconds]

17:21 maarhart has joined #ocaml

17:23 maarhart has quit [Client Quit]

17:25 JimmyRcom has joined #ocaml

17:25 rdivyanshu has joined #ocaml

17:26 steenuil has joined #ocaml

17:28 ggole has quit [Quit: ggole]

17:30 <Ulrar> Is "unit -> (string, chan) option" not valid ? it says option except 1 argument, not two. Shouldn't it be applied here to the tuple ?

17:31 <Ulrar> (It's in a module type .. = sig)

17:33 <Ulrar> Oh right, it's *

17:33 <Ulrar> Never going to remember that

17:35 FreeBirdLjj has joined #ocaml

17:39 env__ has joined #ocaml

17:44 flx_ has quit [Excess Flood]

17:44 flux has joined #ocaml

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

17:54 quipa has joined #ocaml

18:01 neatonk has quit [Remote host closed the connection]

18:07 fraxamo has quit [Ping timeout: 244 seconds]

18:12 rand__ has joined #ocaml

18:12 env__ has quit [Ping timeout: 244 seconds]

18:17 env__ has joined #ocaml

18:24 jaar has joined #ocaml

18:25 jaar has quit [Client Quit]

18:27 rand__ has quit [Ping timeout: 245 seconds]

18:29 rdivyanshu has quit [Remote host closed the connection]

18:30 neatonk has joined #ocaml

18:31 jim7j1ajh has joined #ocaml

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

18:32 FreeBirdLjj has joined #ocaml

18:34 fraxamo has joined #ocaml

18:34 jimt has quit [Ping timeout: 272 seconds]

18:35 rdivyanshu has joined #ocaml

18:35 fraxamo has quit [Client Quit]

18:37 FreeBirdLjj has quit [Ping timeout: 260 seconds]

18:39 rdivyanshu has quit [Ping timeout: 245 seconds]

18:43 <companion_cube> it's a cartesian product type, which explains `*` :)

18:55 env__ has quit [Ping timeout: 272 seconds]

18:57 rdivyanshu has joined #ocaml

19:01 rdivyanshu has quit [Ping timeout: 246 seconds]

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

19:06 jao has joined #ocaml

19:12 zv has joined #ocaml

19:17 zv has quit [Ping timeout: 244 seconds]

19:18 tokomak has joined #ocaml

19:19 env__ has joined #ocaml

19:28 TC01 has quit [Ping timeout: 276 seconds]

19:34 groovy2shoes has quit [Ping timeout: 276 seconds]

19:46 jnavila has joined #ocaml

19:52 Jesin has joined #ocaml

19:53 zv has joined #ocaml

20:05 kakadu_ has joined #ocaml

20:31 haesbaert has quit [Remote host closed the connection]

20:34 demonimin has quit [Quit: bye]

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

20:41 nahra has quit [Remote host closed the connection]

20:42 rand__ has joined #ocaml

20:47 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

20:47 wagle has joined #ocaml

20:48 wagle has quit [Client Quit]

20:48 wagle has joined #ocaml

20:49 tane has quit [Quit: Leaving]

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

20:55 TC01 has joined #ocaml

21:04 rand__ has quit [Ping timeout: 268 seconds]

21:06 TC01 has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

21:06 TC01 has joined #ocaml

21:16 spew has quit [Quit: going home]

21:20 rdivyanshu has joined #ocaml

21:20 quipa has quit [Ping timeout: 272 seconds]

21:20 kvda has joined #ocaml

21:24 rdivyanshu has quit [Ping timeout: 260 seconds]

21:28 JimmyRcom has quit [Ping timeout: 252 seconds]

21:35 tokomak has quit [Remote host closed the connection]

21:36 rand__ has joined #ocaml

21:38 silver_ has joined #ocaml

21:42 silver has quit [Ping timeout: 252 seconds]

21:50 rand__ has quit [Ping timeout: 244 seconds]

21:51 JimmyRcom has joined #ocaml

21:52 zv has quit [Ping timeout: 245 seconds]

21:56 silver_ is now known as silver

22:05 alpha has quit [Quit: alpha]

22:08 bartholin has quit [Remote host closed the connection]

22:15 alpha has joined #ocaml

22:20 env__ has quit [Ping timeout: 268 seconds]

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

22:38 olopierpa has joined #ocaml

22:45 env__ has joined #ocaml

23:15 env__ has quit [Ping timeout: 268 seconds]

23:20 JimmyRcom has quit [Ping timeout: 250 seconds]

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

23:29 env__ has joined #ocaml

23:37 jim7j1ajh is now known as jimt

23:46 env__ has quit [Ping timeout: 244 seconds]

23:58 rdivyanshu has joined #ocaml

23:58 JimmyRcom has joined #ocaml