#ocaml on 2019-04-10 — 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:03 mfp has quit [Ping timeout: 255 seconds]

00:05 kakadu_ has quit [Remote host closed the connection]

00:16 jao has quit [Ping timeout: 246 seconds]

00:23 keep_learning has joined #ocaml

00:57 silver has quit [Read error: Connection reset by peer]

00:58 caltelt_ has quit [Ping timeout: 245 seconds]

01:05 ihavelotsoffries has joined #ocaml

01:09 <ihavelotsoffries> this might sound stupid but type parameters are scoped per type, right?

01:10 <ihavelotsoffries> so give `type 'a a` and `type 'a b` in a module doesn't mean that both a and b must take the same parameter?

01:10 <ihavelotsoffries> how would I define type a and b that takes the same parameter

01:49 Steverman has quit [Ping timeout: 246 seconds]

01:51 keep_learning has quit [Remote host closed the connection]

01:52 keep_learning has joined #ocaml

02:02 Steverman has joined #ocaml

02:12 ygrek__ has joined #ocaml

02:17 ihavelotsoffries has quit [Remote host closed the connection]

02:25 Algebr has joined #ocaml

02:26 Algebr has left #ocaml [#ocaml]

02:31 tormen_ has joined #ocaml

02:34 tormen has quit [Ping timeout: 246 seconds]

03:12 AnAverageHuman has joined #ocaml

03:13 ygrek__ has quit [Ping timeout: 246 seconds]

03:33 gravicappa has joined #ocaml

04:16 AnAverageHuman has quit [Ping timeout: 256 seconds]

04:53 sonologico has quit [Remote host closed the connection]

05:06 caltelt_ has joined #ocaml

05:50 Steverman has quit [Quit: WeeChat 2.4]

06:02 ziyourenxiang_ has joined #ocaml

06:05 ziyourenxiang has quit [Ping timeout: 240 seconds]

06:23 SomeDamnBody has quit [Ping timeout: 245 seconds]

06:50 freyr69 has joined #ocaml

06:50 nullifidian__ has joined #ocaml

06:51 <freyr69> Are ``Weekly news'' broken on ocaml.org?

06:54 nullifidian_ has quit [Ping timeout: 246 seconds]

07:09 barockobamo has joined #ocaml

07:21 jao has joined #ocaml

07:33 Haudegen has joined #ocaml

07:36 mfp has joined #ocaml

07:39 nicoo has quit [Read error: Connection reset by peer]

07:39 nicoo has joined #ocaml

07:47 Haudegen has quit [Remote host closed the connection]

08:03 <flux[m]> ihavelotsoffries: yes, type parameters are scoped to the definition

08:04 <Leonidas> hmm, opam repository does not seem to be updating

08:13 Birdface has joined #ocaml

08:19 <flux[m]> ihavelotsoffries: not really sure what you're looking for requiring them to take the same type as parameter.. usually this happens when it's applied to functions, ie. `val foo : 'a t -> 'a u -> unit` requires `'a` to be the same for `t` and `u`.

08:19 <flux[m]> (works the same with type definitions as well of course)

09:30 jaar has joined #ocaml

09:42 caltelt_ has quit [Ping timeout: 250 seconds]

10:20 zolk3ri has joined #ocaml

10:37 <companion_cube> dune init!!!!

10:38 <Fardale> companion_cube: ?

10:39 <companion_cube> dune 1.9 seems to ship with `dune init`

10:39 <Fardale> Oh that sound great !

10:40 <Fardale> https://discuss.ocaml.org/t/ann-dune-1-9-0/3646 release announcement

10:42 <companion_cube> coq projects :o

10:48 jao has quit [Ping timeout: 246 seconds]

11:03 themsay has joined #ocaml

11:03 <Leonidas> dropping everything on the floor, switching to coq

11:05 silver has joined #ocaml

11:06 themsay has quit [Read error: Connection reset by peer]

11:06 themsay has joined #ocaml

11:10 jao has joined #ocaml

11:13 xuib has joined #ocaml

11:14 xuib has quit [Client Quit]

11:16 xuib has joined #ocaml

11:17 xuib has quit [Client Quit]

11:17 * Leonidas eagerly awaiting a new standard library where `List.fold` is called `zorglub`

11:18 <Leonidas> companion_cube: patches accepted?

11:19 xuib has joined #ocaml

11:20 <freyr69> does caml_failwith C function work with malloced strings, or does it work solely with the static ones?

11:22 xuib has quit [Client Quit]

11:22 <freyr69> Ah, it copies string, so I suppose it does.

11:25 xuib has joined #ocaml

11:25 xuib has quit [Client Quit]

11:29 xuib has joined #ocaml

11:33 jaar has quit [Ping timeout: 252 seconds]

11:40 jao has quit [Remote host closed the connection]

11:41 Haudegen has joined #ocaml

11:48 ygrek__ has joined #ocaml

11:49 jaar has joined #ocaml

11:53 jaar_ has joined #ocaml

11:54 jaar has quit [Ping timeout: 246 seconds]

11:56 xuib has quit [Quit: xuib]

12:05 themsay has quit [Quit: Quit]

12:06 <freyr69> How to deal with variants in C? Is it guaranteed that in type t = A | B | C A would be represented as 0, B -- 1, C --2?

12:09 notnotdan has joined #ocaml

12:16 <octachron> freyr69, they are represented as Val_int(0),..,Val_int(2) (since OCaml int are tagged). See https://caml.inria.fr/pub/docs/manual-ocaml-4.08/intfc.html#sec431 .

12:20 ggole has joined #ocaml

12:20 <freyr69> octachron: I see. Constructors with records are like those with tuples, right (unless unboxed)?

12:24 <octachron> yes

12:44 SomeDamnBody has joined #ocaml

12:45 spew has joined #ocaml

12:55 gravicappa has quit [Ping timeout: 255 seconds]

12:56 gravicappa has joined #ocaml

13:03 SomeDamnBody has quit [Ping timeout: 244 seconds]

13:06 ygrek__ has quit [Remote host closed the connection]

13:12 ygrek has joined #ocaml

13:21 hannes has quit [Ping timeout: 245 seconds]

13:21 hannes has joined #ocaml

13:22 q9929t has joined #ocaml

13:29 q9929t has quit [Quit: q9929t]

13:48 hannes has quit [Read error: Connection reset by peer]

13:48 hannes has joined #ocaml

14:00 webshinra has quit [Ping timeout: 250 seconds]

14:04 webshinra has joined #ocaml

14:17 FreeBirdLjj has joined #ocaml

14:22 FreeBirdLjj has quit [Ping timeout: 252 seconds]

14:24 mildtaste has quit [Remote host closed the connection]

14:36 powerbit has quit [Remote host closed the connection]

14:50 johnelse_ has quit [Quit: leaving]

14:50 johnelse has joined #ocaml

14:58 <freyr69> Do labeled arguments work with C ffi? Could I define `extern f : name:string -> ... =`?

15:13 tane has joined #ocaml

15:50 Haudegen has quit [Read error: Connection reset by peer]

15:55 assemblyman has joined #ocaml

16:08 <companion_cube> Leonidas: patches welcome, yes

16:11 <ggole> Yes, labelled arguments work with external.

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

16:32 ggole has quit [Quit: Leaving]

16:46 assemblyman has quit [Quit: ™]

16:54 Haudegen has joined #ocaml

16:58 Serpent7776 has joined #ocaml

17:03 gareppa has joined #ocaml

17:04 jaar_ has quit [Quit: Leaving]

17:09 silver has quit [Read error: Connection reset by peer]

17:13 <CcxWrk> Can utop show path to or contents of mli file given a module name? (Similarly to how ?? works in IPython)

17:30 gareppa has quit [Quit: Leaving]

17:34 zolk3ri has quit [Remote host closed the connection]

17:49 AtumT has joined #ocaml

17:58 jao has joined #ocaml

18:10 jao has quit [Ping timeout: 245 seconds]

18:11 jao has joined #ocaml

18:12 barockobamo has quit [Remote host closed the connection]

18:12 Jesin has quit [Quit: Leaving]

18:25 Jesin has joined #ocaml

18:29 silver has joined #ocaml

18:58 keep_learning_M has quit [Ping timeout: 250 seconds]

19:03 keep_learning_M has joined #ocaml

19:21 jnavila has joined #ocaml

19:21 kakadu_ has joined #ocaml

19:22 assemblyman has joined #ocaml

19:23 gravicappa has quit [Ping timeout: 250 seconds]

19:25 sheijk has quit [Quit: Lost terminal]

19:33 jao has quit [Ping timeout: 246 seconds]

19:33 jao has joined #ocaml

19:39 cantstanya has quit [Remote host closed the connection]

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

19:55 jnavila has joined #ocaml

19:59 jao has quit [Ping timeout: 255 seconds]

20:13 nullifidian_ has joined #ocaml

20:16 nullifidian__ has quit [Ping timeout: 245 seconds]

20:23 assemblyman has quit [Quit: ™]

20:26 Birdface has quit [Read error: Connection reset by peer]

20:28 quarters has quit [Ping timeout: 252 seconds]

20:30 quarters has joined #ocaml

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

20:44 Serpent7776 has quit [Quit: leaving]

20:47 tane has quit [Quit: Leaving]

21:04 ygrek has quit [Ping timeout: 245 seconds]

21:05 interruptinuse has joined #ocaml

21:06 Haudegen has joined #ocaml

21:22 jnavila has quit [Quit: Konversation terminated!]

21:25 quarters has quit [Ping timeout: 258 seconds]

21:26 jao has joined #ocaml

21:27 quarters has joined #ocaml

21:49 ohama has quit [Ping timeout: 250 seconds]

21:49 ohama has joined #ocaml

22:00 nicoo has quit [Ping timeout: 256 seconds]

22:01 nicoo has joined #ocaml

22:10 jao has quit [Disconnected by services]

22:10 jao has joined #ocaml

23:06 Haudegen has quit [Remote host closed the connection]

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

23:20 spew has quit [Quit: Connection closed for inactivity]

23:32 jao has quit [Ping timeout: 245 seconds]

23:33 jao has joined #ocaml

23:42 sz0 has quit [Quit: Connection closed for inactivity]