#ocaml on 2017-12-22 — 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 cbot has quit [Ping timeout: 265 seconds]

00:16 dtornabene has quit [Read error: Connection reset by peer]

00:37 infinity0_ has joined #ocaml

00:37 infinity0 is now known as Guest57077

00:37 infinity0_ has quit [Changing host]

00:37 infinity0 has joined #ocaml

00:37 infinity0_ is now known as infinity0

00:37 Guest57077 has quit [Killed (niven.freenode.net (Nickname regained by services))]

00:44 shinnya has joined #ocaml

01:05 mfp has quit [Ping timeout: 265 seconds]

01:30 shinnya has quit [Ping timeout: 264 seconds]

01:32 cbot has joined #ocaml

01:52 silver has quit [Quit: rakede]

01:54 Haudegen has quit [Remote host closed the connection]

02:09 kerrhau has quit [Ping timeout: 264 seconds]

02:31 navaja has joined #ocaml

02:34 solune has joined #ocaml

02:38 navaja has quit [Ping timeout: 252 seconds]

02:38 solune has quit [Ping timeout: 248 seconds]

02:41 KeyJoo has quit [Ping timeout: 248 seconds]

03:18 kerrhau has joined #ocaml

03:46 jao has quit [Ping timeout: 252 seconds]

04:07 antismap has quit [Ping timeout: 268 seconds]

04:11 pierpa has quit [Quit: Page closed]

04:47 enterprisey has joined #ocaml

05:32 mbuf has joined #ocaml

06:06 KeyJoo has joined #ocaml

06:38 kerrhau has quit [Ping timeout: 240 seconds]

07:09 malina has joined #ocaml

07:14 jimmyrcom has quit [Ping timeout: 240 seconds]

07:21 ziyourenxiang has quit [Ping timeout: 272 seconds]

07:21 ziyourenxiang has joined #ocaml

08:05 VermillionAzure has joined #ocaml

08:26 raphaelss has joined #ocaml

08:47 cbot has quit [Quit: Leaving]

08:47 Jesin has quit [Ping timeout: 260 seconds]

08:49 andreas_ has joined #ocaml

09:00 malina has quit [Ping timeout: 264 seconds]

09:11 mfp has joined #ocaml

09:26 spew has quit [Quit: Connection closed for inactivity]

09:40 Jesin has joined #ocaml

10:02 enterprisey has quit [Ping timeout: 265 seconds]

10:14 Serpent7776 has joined #ocaml

10:28 Haudegen has joined #ocaml

10:39 malina has joined #ocaml

10:40 sz0 has quit [Quit: Connection closed for inactivity]

10:46 enterprisey has joined #ocaml

10:47 enterprisey has quit [Client Quit]

10:48 Vermie has joined #ocaml

10:50 VermillionAzure has quit [Ping timeout: 260 seconds]

10:52 silver has joined #ocaml

11:02 mcspud has quit [Ping timeout: 255 seconds]

11:16 superherointj has joined #ocaml

11:21 mcspud has joined #ocaml

11:27 kakadu has joined #ocaml

11:37 malina has quit [Ping timeout: 240 seconds]

11:44 zolk3ri has joined #ocaml

11:45 <reynir> I'm getting "Multiple rules generated for _build/.../foo.o" after adding a new executable in jbuild and I've no idea why

11:45 mcspud has quit [Ping timeout: 265 seconds]

11:51 <_y> what was the point of renaming jbuilder?

11:53 <theblatte> _y: they mention legal issues with a pre-existing project as the main reason

11:55 <rgrinberg> Specifically, I think that embarcadero owns the jbuilder trademark

11:56 malina has joined #ocaml

11:56 mbuf has quit [Quit: Leaving]

12:00 Haudegen has quit [Read error: Connection reset by peer]

12:01 mcspud has joined #ocaml

12:10 <abeaumont> well, dune doesn't seem like a trademark-free name either...

12:10 <abeaumont> but I guess that's already been checked

12:12 <silver> https://github.com/onyb/dune

12:12 <silver> uh oh

12:21 <zolk3ri> yeah, let's everyone just use random strings for their project names

12:22 <theblatte> introducing $(pwgen -0 -1)

12:36 <zozozo> does anyone understand this weird opam error: https://travis-ci.org/c-cube/funarith/jobs/320188966#L3507 ?

12:42 AMDmi3 has joined #ocaml

12:42 jnavila has joined #ocaml

12:43 superherointj has quit [Quit: Leaving]

12:43 <AMDmi3> hey; is it possible to get a whole list of packages with metadata (e.g. at least versions) in some machine readable format from ocamlforge

12:43 <AMDmi3> ?

12:43 mcspud has quit [Ping timeout: 265 seconds]

12:46 KeyJoo has quit [Ping timeout: 264 seconds]

12:51 malina has quit [Ping timeout: 256 seconds]

12:55 mcspud has joined #ocaml

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

12:58 arecacea1 has quit [Remote host closed the connection]

12:58 arecacea1 has joined #ocaml

13:06 FreeBirdLjj has joined #ocaml

13:07 mcspud has quit [Ping timeout: 265 seconds]

13:07 kensan has joined #ocaml

13:08 jnavila has joined #ocaml

13:09 spew has joined #ocaml

13:10 <rgrinberg> abeaumont: i think what matters is if the trademark is in the same product space or w/e

13:10 <rgrinberg> IANAL of course

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

13:11 spew has quit [Read error: Connection reset by peer]

13:12 <zolk3ri> lol

13:14 mcspud has joined #ocaml

13:14 Haudegen has joined #ocaml

13:14 malina has joined #ocaml

13:19 Vermie has quit [Ping timeout: 240 seconds]

13:22 <Drup> AMDmi3: ocamlforge ?!

13:23 <abeaumont> rgrinberg: yes, you're right

13:25 malina has quit [Ping timeout: 240 seconds]

13:29 <AMDmi3> Drup: yes

13:36 AMDmi3 has quit [Ping timeout: 250 seconds]

13:37 AMDmi3 has joined #ocaml

13:37 KeyJoo has joined #ocaml

13:45 Jesin has quit [Quit: Leaving]

13:51 jnavila_ has joined #ocaml

13:52 jnavila has quit [Ping timeout: 252 seconds]

13:54 iZsh has quit [Quit: ZNC - http://znc.in]

13:54 iZsh has joined #ocaml

14:35 shinnya has joined #ocaml

14:53 malina has joined #ocaml

14:57 jnavila_ has quit [Ping timeout: 240 seconds]

14:57 FreeBirdLjj has joined #ocaml

15:02 FreeBirdLjj has quit [Ping timeout: 248 seconds]

15:13 freusque has quit [Quit: WeeChat 1.9.1]

15:25 Jesin has joined #ocaml

15:27 Jesin has quit [Remote host closed the connection]

15:27 tane has joined #ocaml

15:29 Jesin has joined #ocaml

15:30 jimmyrcom has joined #ocaml

15:36 johnelse is now known as johnel_away

15:37 johnel_away is now known as johnelse

15:38 spew has joined #ocaml

15:39 zolk3ri has quit [Quit: Lost terminal]

15:39 zolk3ri has joined #ocaml

15:44 shinnya has quit [Ping timeout: 272 seconds]

15:44 spew has quit [Ping timeout: 256 seconds]

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

16:24 Serpent7776 has quit [Quit: Leaving]

16:30 malina has quit [Ping timeout: 252 seconds]

16:58 sh0t has joined #ocaml

17:03 jnavila_ has joined #ocaml

17:04 KeyJoo has quit [Ping timeout: 272 seconds]

17:11 sh0t has quit [Ping timeout: 252 seconds]

17:13 jimmyrcom has quit [Ping timeout: 248 seconds]

17:17 jao has joined #ocaml

17:18 cross has quit [Ping timeout: 272 seconds]

17:18 FreeBirdLjj has joined #ocaml

17:21 ziyourenxiang has quit [Ping timeout: 240 seconds]

17:24 KeyJoo has joined #ocaml

17:32 cbot has joined #ocaml

17:45 AMDmi3 has quit [Quit: #!/bin/rm]

17:47 slash^ has joined #ocaml

17:48 johnelse has quit [Quit: leaving]

17:50 malina has joined #ocaml

18:17 jao has quit [Ping timeout: 248 seconds]

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

18:30 malina has quit [Ping timeout: 272 seconds]

18:41 <madroach> Is there a more elegant and reliable way to do this: module Array = struct include Array include Array.Labels end

18:41 <madroach> because it will fail for other modules with coliding types.

18:44 yomimono has joined #ocaml

18:45 <octachron> madroach, colliding types can be removed with a signature constraint

18:46 andreas_ has quit [Quit: Connection closed for inactivity]

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

19:09 jimmyrcom has joined #ocaml

19:14 andreas_ has joined #ocaml

19:19 jnavila_ has quit [Ping timeout: 240 seconds]

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

19:38 whoman has quit [Quit: Leaving]

19:38 KeyJoo has quit [Ping timeout: 260 seconds]

19:40 jao has joined #ocaml

19:43 whoman has joined #ocaml

19:43 yomimono has quit [Ping timeout: 252 seconds]

19:44 kakadu has joined #ocaml

19:53 KeyJoo has joined #ocaml

20:05 malc_ has joined #ocaml

20:09 kerrhau has joined #ocaml

20:31 yomimono has joined #ocaml

20:45 jnavila_ has joined #ocaml

20:46 zolk3ri has quit [Ping timeout: 240 seconds]

20:49 pierpa has joined #ocaml

21:01 malina has joined #ocaml

21:07 malina has quit [Ping timeout: 240 seconds]

21:10 Haudegen has joined #ocaml

21:11 malina has joined #ocaml

21:11 slash^ has quit [Quit: Leaving]

21:17 malina has quit [Ping timeout: 260 seconds]

21:19 Vermie has joined #ocaml

21:22 tane has quit [Quit: Leaving]

21:25 KeyJoo has quit [Ping timeout: 256 seconds]

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

21:28 kakadu has joined #ocaml

21:39 fraggle_ has quit [Remote host closed the connection]

21:53 raphaelss has joined #ocaml

21:55 fraggle_ has joined #ocaml

22:00 <kakadu> Let's say I had a unification algorithm in OCaml and I rewrote it in C. I still store a substitution as OCaml map and call OCaml from C to do lookup a and extend it

22:00 <kakadu> As a result the new unification works but on some tests it gives Out_of_memory error

22:01 <kakadu> Is a reasonable result or is it more likely that I have a buggy code?

22:01 <kakadu> if anybody is curious (https://github.com/Kakadu/OCanren/blob/cunif/src/unify.c)

22:12 malina has joined #ocaml

22:19 Jesin has quit [Quit: Leaving]

22:23 zolk3ri has joined #ocaml

22:30 silver has quit [Read error: Connection reset by peer]

22:36 zolk3ri has quit [Ping timeout: 264 seconds]

22:37 zolk3ri has joined #ocaml

22:45 malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]

22:46 malina has quit [Remote host closed the connection]

23:04 <zozozo> first question would be, if lookups and subst extension is done in ocaml, is it really worth doing the rest in C ?

23:05 sillyotter has joined #ocaml

23:07 <kakadu> My unification uses a lot of unsafe interface, so there is a penalty about calling C too often.

23:07 <kakadu> The current state says that C unification gives some speedup

23:08 <kakadu> I need to check more carefully that both implementaion do the same but it will be tomorrow

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

23:08 sillyotter has quit [Client Quit]

23:14 kerrhau has quit [Quit: bye!]

23:16 zolk3ri has quit [Ping timeout: 260 seconds]

23:21 zolk3ri has joined #ocaml

23:22 kerrhau has joined #ocaml

23:32 ziyourenxiang has joined #ocaml

23:39 jnavila_ has quit [Remote host closed the connection]

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

23:56 jmiven has quit [Quit: co'o]

23:58 jmiven has joined #ocaml