#ocaml on 2018-05-27 — 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:19 Guest11810 is now known as spion-

00:22 spew has joined #ocaml

00:31 ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:36 spew has quit [Ping timeout: 260 seconds]

00:41 isd has quit [Quit: Leaving.]

00:42 zolk3ri has quit [Quit: Lost terminal]

00:43 pierpal has joined #ocaml

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

00:44 pierpal has joined #ocaml

00:50 dtornabene has joined #ocaml

00:52 jjmeyer0 has quit [Ping timeout: 252 seconds]

00:56 sz0 has joined #ocaml

01:01 jjmeyer0 has joined #ocaml

01:09 pierpal has quit [Ping timeout: 252 seconds]

01:10 vodkaInf1rno has joined #ocaml

01:11 FreeBirdLjj has joined #ocaml

01:12 vodkaInferno has quit [Read error: Connection reset by peer]

01:16 keep_learning has quit [Quit: Ping timeout (120 seconds)]

01:23 wickedshell has quit [Ping timeout: 276 seconds]

01:23 wickedshell has joined #ocaml

01:35 lostman has quit [Quit: Connection closed for inactivity]

01:38 pierpal has joined #ocaml

01:38 jjmeyer0 has quit [Ping timeout: 256 seconds]

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

01:42 pierpal has joined #ocaml

01:47 pierpal has quit [Ping timeout: 264 seconds]

01:53 pierpal has joined #ocaml

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

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

02:04 FreeBirdLjj has quit [Ping timeout: 252 seconds]

02:14 tormen_ has joined #ocaml

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

02:22 shinnya has joined #ocaml

02:26 ziyourenxiang has quit [Ping timeout: 260 seconds]

02:35 nahra has quit [Remote host closed the connection]

02:37 nahra has joined #ocaml

02:37 hdon has joined #ocaml

02:41 hdon has quit [Ping timeout: 240 seconds]

02:44 keep_learning has joined #ocaml

02:45 pierpal has joined #ocaml

02:46 keep_learning has quit [Client Quit]

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

02:53 pierpal has joined #ocaml

02:55 pierpal has quit [Client Quit]

02:56 pierpal has joined #ocaml

02:56 zlsyx has quit [Quit: Leaving...]

02:57 neatonk has quit [Quit: neatonk]

02:58 neatonk has joined #ocaml

03:00 sz0 has quit [Quit: Connection closed for inactivity]

03:03 FreeBirdLjj has joined #ocaml

03:05 rpcope has quit [Quit: ZNC - http://znc.in]

03:06 rpcope has joined #ocaml

03:06 rpcope has quit [Client Quit]

03:24 mfp has quit [Ping timeout: 256 seconds]

03:40 zlsyx has joined #ocaml

03:41 neatonk has quit [Ping timeout: 245 seconds]

03:47 tarptaeya has joined #ocaml

03:55 sz0 has joined #ocaml

04:22 <rgr[m]> Has anyone gotten spacetime to work?

04:22 keep_learning has joined #ocaml

04:23 <companion_cube> a while ago

04:23 <companion_cube> it requires a lot of time and ram to compile though

04:26 keep_learning has quit [Client Quit]

04:31 keep_learning has joined #ocaml

04:37 hdon has joined #ocaml

04:42 hdon has quit [Ping timeout: 245 seconds]

05:07 FreeBirdLjj has quit [Ping timeout: 248 seconds]

05:53 FreeBirdLjj has joined #ocaml

06:16 ziyourenxiang has joined #ocaml

07:12 moei has quit [Quit: Leaving...]

07:30 zlsyx has quit [Quit: Leaving...]

07:32 jnavila has joined #ocaml

07:38 hdon has joined #ocaml

07:39 lostman has joined #ocaml

07:42 hdon has quit [Ping timeout: 256 seconds]

07:43 dtornabene has quit [Remote host closed the connection]

07:44 dtornabene has joined #ocaml

07:59 jnavila has quit [Ping timeout: 240 seconds]

08:12 gonz_ has joined #ocaml

08:21 jnavila has joined #ocaml

08:46 keep_learning is now known as keep_away

09:05 larhat has joined #ocaml

09:14 inr has quit [Quit: WeeChat 2.1]

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

09:18 moei has joined #ocaml

09:19 dtornabene has quit [Quit: Leaving]

09:23 kakadu has joined #ocaml

09:28 jnavila has quit [Ping timeout: 256 seconds]

09:40 freusque has joined #ocaml

09:47 mk9 has joined #ocaml

10:08 Haudegen has joined #ocaml

10:09 zolk3ri has joined #ocaml

10:14 mfp has joined #ocaml

10:26 argent_smith1 has joined #ocaml

10:27 argent_smith has quit [Ping timeout: 240 seconds]

10:31 argent_smith2 has joined #ocaml

10:31 argent_smith3 has joined #ocaml

10:33 argent_smith1 has quit [Ping timeout: 256 seconds]

10:35 argent_smith2 has quit [Ping timeout: 240 seconds]

10:37 kakadu has quit [Remote host closed the connection]

10:51 larhat has quit [Quit: Leaving.]

10:55 h11 has quit [Ping timeout: 256 seconds]

10:56 govg has joined #ocaml

11:00 sz0 has quit [Quit: Connection closed for inactivity]

11:05 inr has joined #ocaml

11:14 shinnya has joined #ocaml

11:18 jmiven has quit [Quit: co'o]

11:18 jmiven has joined #ocaml

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

11:34 FreeBirdLjj has joined #ocaml

11:40 FreeBirdLjj has quit [Ping timeout: 256 seconds]

11:47 FreeBirdLjj has joined #ocaml

11:53 jack5638 has quit [Ping timeout: 240 seconds]

12:00 jack5638 has joined #ocaml

13:19 troydm has quit [Ping timeout: 268 seconds]

13:25 pierpal has quit [Read error: Connection reset by peer]

13:25 troydm has joined #ocaml

13:25 pierpal has joined #ocaml

13:35 pierpal has quit [Ping timeout: 240 seconds]

13:36 troydm has quit [Ping timeout: 276 seconds]

13:38 pierpal has joined #ocaml

13:41 troydm has joined #ocaml

13:47 exarkun has quit [Read error: Connection reset by peer]

13:48 troydm has quit [Ping timeout: 264 seconds]

13:49 spew has joined #ocaml

13:49 <discord2> <loxs> what's the proper type signature for the return of a function that only raises an exception?

13:51 <Drup> 'a

13:53 <octachron> or 'any_free_type_variable

13:53 <discord2> <loxs> thanks

13:56 exarkun has joined #ocaml

13:59 troydm has joined #ocaml

14:08 nicoo has quit [Remote host closed the connection]

14:09 nicoo has joined #ocaml

14:12 neatonk has joined #ocaml

14:20 neatonk has quit [Ping timeout: 264 seconds]

14:25 shinnya has quit [Ping timeout: 256 seconds]

14:33 pierpal has quit [Quit: Poof]

14:33 pierpal has joined #ocaml

14:34 sh0t has joined #ocaml

14:35 nahra has quit [Remote host closed the connection]

14:36 nahra has joined #ocaml

14:54 nahra has quit [Remote host closed the connection]

14:55 mk9 has quit [Quit: mk9]

15:02 neatonk has joined #ocaml

15:03 mk9 has joined #ocaml

15:18 lostman has quit [Quit: Connection closed for inactivity]

15:24 <discord2> <loxs> which package of jane street provides [@@deriving hash]?

15:45 mk9 has quit [Quit: mk9]

15:54 jnavila has joined #ocaml

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

16:13 jnavila has quit [Ping timeout: 240 seconds]

16:15 jnavila has joined #ocaml

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

16:18 ctrlsbstr has joined #ocaml

16:38 <lyxia> Is there a standard module that contains int and string, so that they can be referred to qualified?

16:40 ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:42 FreeBirdLjj has joined #ocaml

16:43 <Drup> CCInt.t and CCString.t ? :)

16:44 <Drup> Actually, String.t

16:44 <Drup> But there is no Int.t

16:47 <steenuil> doesn't look like string and int are defined anywhere in the standard library

16:48 <Drup> they are builtin in the initial typechecking environment

16:48 <steenuil> yeah

16:52 <lyxia> Thanks!

16:58 ctrlsbstr has joined #ocaml

17:00 ctrlsbstr has quit [Client Quit]

17:06 FreeBirdLjj has quit [Ping timeout: 245 seconds]

17:11 FreeBirdLjj has joined #ocaml

17:17 spew has quit [Quit: Leaving]

17:31 mk9 has joined #ocaml

17:41 tarptaeya has quit [Quit: Konversation terminated!]

17:51 jnavila has quit [Ping timeout: 256 seconds]

18:10 Guest84083 is now known as tg

18:10 tg is now known as Guest57846

18:12 Guest57846 has quit [Quit: Leaving]

18:15 tg` has joined #ocaml

18:17 govg has quit [Ping timeout: 264 seconds]

18:18 mk9 has quit [Quit: mk9]

18:24 pierpal has quit [Quit: Poof]

18:24 pierpal has joined #ocaml

18:27 larhat has joined #ocaml

18:32 jnavila has joined #ocaml

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

18:39 mk9 has joined #ocaml

18:41 mk9 has quit [Client Quit]

18:41 mk9 has joined #ocaml

18:46 mk9 has quit [Client Quit]

18:46 mk9 has joined #ocaml

18:51 mk9 has quit [Client Quit]

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

19:11 tg` is now known as tg

19:16 groovy2shoes has joined #ocaml

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

19:24 pierpal has joined #ocaml

19:29 pierpal has quit [Read error: Connection reset by peer]

19:29 Bozghurt[m] has left #ocaml ["User left"]

19:32 kakadu has joined #ocaml

19:39 Haudegen has joined #ocaml

19:42 pierpal has joined #ocaml

19:50 pierpal has quit [Ping timeout: 268 seconds]

19:54 jnavila has quit [Quit: Konversation terminated!]

20:06 mk9 has joined #ocaml

20:11 mk9 has quit [Quit: mk9]

20:13 spew has joined #ocaml

20:30 pierpa has joined #ocaml

20:35 <discord2> <Perry> Are there any call graph generators for OCaml? I want to get some idea (looking at a strange codebase) of which parts use which other parts.

20:35 <discord2> <Perry> It doesn't have to be fancy, I'm just looking for an overview.

20:39 spew has quit [Ping timeout: 248 seconds]

20:46 ChristopheT has joined #ocaml

20:47 <dmbaturin> I can't remember if I've seen any.

20:51 JimmyRcom_ has joined #ocaml

20:57 shinnya has joined #ocaml

21:06 <Drup> Perry: technically, ocamlbuild has one

21:06 <Drup> there is a library that is fairly complete, but I don't remember the name

21:17 ctrlsbstr has joined #ocaml

21:28 <discord2> <bobby> @Perry, I know one for Reason here https://jaredforsyth.com/docre/descartes

21:29 <discord2> <Perry> Sadly I'm not using Reason...

21:29 <discord2> <bobby> not sure if it's applicable to OCaml though, yeah

21:35 <Drup> unless it's doing something really wrong, it should work quite after parsing, so in theory it should apply fine

21:36 <companion_cube> after typechecking, perhaps?

21:38 <Drup> Well, let's hope that it doesn't do name resolution by itself, yes

21:39 ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:40 <companion_cube> it should probably be a dune plugin… :3

21:41 neatonk has quit [Ping timeout: 245 seconds]

21:46 spew has joined #ocaml

21:51 argent_smith3 has quit [Quit: Leaving.]

22:16 freusque has quit [Quit: WeeChat 2.0]

22:30 ctrlsbstr has joined #ocaml

22:32 larhat has quit [Quit: Leaving.]

22:37 kakadu has quit [Remote host closed the connection]

22:41 Haudegen has quit [Read error: Connection reset by peer]

22:51 <dmbaturin> Why ocamlopt -output-obj may produce an executable rather than a shared library?

22:52 <dmbaturin> It clearly calls gcc -shared, but the result is a PIE executable somehow.

22:54 <on_ion> Perry: there is official tools for converting to/fro reason, perhaps that will help temporarily? =)

23:00 ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:09 spew has quit [Ping timeout: 260 seconds]

23:15 weird_error has quit [Ping timeout: 260 seconds]

23:15 neatonk has joined #ocaml

23:17 isd has joined #ocaml

23:21 zolk3ri has quit [Remote host closed the connection]

23:37 spew has joined #ocaml

23:42 pierpal has joined #ocaml

23:46 pierpal has quit [Ping timeout: 260 seconds]

23:57 spew has quit [Ping timeout: 260 seconds]