#ocaml on 2017-04-27 — irc logs at freenode.irclog.whitequark.org

2016-11-11 21:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 infinity0 has quit [Remote host closed the connection]

00:03 infinity0 has joined #ocaml

00:03 infinity0 has quit [Remote host closed the connection]

00:05 infinity0 has joined #ocaml

00:06 infinity0 has quit [Remote host closed the connection]

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

00:08 infinity0 has joined #ocaml

00:09 infinity0 has quit [Remote host closed the connection]

00:11 infinity0 has joined #ocaml

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

00:14 infinity0 has joined #ocaml

00:27 eh_eff has quit [Ping timeout: 260 seconds]

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

00:45 jack5638 has quit [Ping timeout: 258 seconds]

00:46 jack5638 has joined #ocaml

01:00 yegods has joined #ocaml

01:05 yegods has quit [Ping timeout: 260 seconds]

01:05 eh_eff has joined #ocaml

01:10 eh_eff has quit [Ping timeout: 268 seconds]

01:15 spew has joined #ocaml

01:17 mfp has quit [Ping timeout: 240 seconds]

01:30 copy` has quit [Quit: Connection closed for inactivity]

01:57 andyli has joined #ocaml

01:59 <andyli> Anyone knows if the opam github repo is actually using AppVeyor or not? I tried to access https://ci.appveyor.com/project/ocaml/opam, but it said project not found...

02:04 shinnya has joined #ocaml

02:14 mengu_ has joined #ocaml

02:16 mengu has quit [Ping timeout: 268 seconds]

02:20 nomicflux has joined #ocaml

02:23 shinnya has quit [Ping timeout: 260 seconds]

02:25 jabroney has quit [Quit: Leaving.]

02:36 mrgrieve1 has joined #ocaml

02:39 mrgrieves has quit [Ping timeout: 252 seconds]

02:41 lopex has quit [Quit: Connection closed for inactivity]

02:55 cbot has joined #ocaml

03:29 nomicflux has quit [Quit: nomicflux]

03:30 nomicflux has joined #ocaml

03:31 <shon> Anyone have a preferred libarary for algebraic structures? Moduels implementing monoids, groups, monads and such?

03:57 _whitelogger has joined #ocaml

04:02 spew has quit [Quit: foobar]

04:10 lucybun has quit [Read error: Connection reset by peer]

04:11 lucybun has joined #ocaml

04:11 nomicflux has quit [Quit: nomicflux]

04:14 ryanartecona has joined #ocaml

04:15 jao has quit [Ping timeout: 260 seconds]

04:21 nomicflux has joined #ocaml

04:23 seliopou_ has quit [Ping timeout: 240 seconds]

04:39 _whitelogger has joined #ocaml

04:45 jack5638 has quit [Ping timeout: 260 seconds]

05:02 nomicflux has quit [Quit: nomicflux]

05:04 seliopou has joined #ocaml

05:09 AlexDenisov has joined #ocaml

05:10 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:11 MercurialAlchemi has joined #ocaml

05:24 Mercuria1Alchemi has joined #ocaml

05:28 MercurialAlchemi has quit [Ping timeout: 252 seconds]

05:53 sfri has quit [Remote host closed the connection]

06:03 ryanartecona has quit [Quit: ryanartecona]

06:09 p_nathan has joined #ocaml

06:10 <p_nathan> quick question: when I declare class objName arg1 arg2 = object(self) end ... is there any equality function that doesn't involve me writing a custom method ?

06:14 cbot has quit [Quit: This computer has gone to sleep]

06:21 andyli has quit [Quit: Page closed]

06:22 sfri has joined #ocaml

06:24 vmonteco has left #ocaml [#ocaml]

06:24 AlexRussia has quit [Ping timeout: 260 seconds]

06:28 yegods has joined #ocaml

06:28 AlexRussia has joined #ocaml

06:31 mengu_ has quit [Remote host closed the connection]

06:39 cbot has joined #ocaml

06:40 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:50 Mercuria1Alchemi has quit [Ping timeout: 240 seconds]

06:51 <def`> to compute object equality?

06:51 <def`> (equality between two object values I mean)

06:55 freusque has joined #ocaml

06:58 <flux> p_nathan, no, you must provide one yourself (except of course identity equality == works on anything)

06:59 <def`> also objects come with a physical identity

07:00 <def`> (Oo.id returns an integer which is guaranteed unique per object)

07:04 <def`> so structural equality (single =) and comparisons (compare, <, >, <=, >=, ...) just compare this integer

07:11 yegods has quit [Remote host closed the connection]

07:24 AltGr has joined #ocaml

07:26 AlexRussia has quit [Ping timeout: 260 seconds]

07:28 AlexRussia has joined #ocaml

07:31 AlexDenisov has joined #ocaml

07:32 mengu has joined #ocaml

07:33 maattdd has joined #ocaml

07:36 Simn has joined #ocaml

07:36 mengu has quit [Ping timeout: 246 seconds]

07:44 alfredo has joined #ocaml

07:55 MercurialAlchemi has joined #ocaml

08:10 <infinity0> shon: no, i think everyone defines their own unfortunately :( it's a bit hard to do in an elegant way right now in ocaml

08:12 <infinity0> like, if you try doing module type Monad = sig type 'a ctx val (>>=) : 'a ctx -> ('a -> 'b ctx) -> 'b ctx end, you have to add extra kludges to make this fit with something like type ('a, 's) state_t = 's -> ('a * 's)

08:13 <infinity0> because there's an extra 's parameter that doesn't fit easily into a `'a ctx` abstract type

08:13 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:13 <infinity0> there's probably various other issues i'm forgetting

08:14 argent_smith has joined #ocaml

08:23 AlexDenisov has joined #ocaml

08:30 kakadu has joined #ocaml

08:33 mengu has joined #ocaml

08:38 mengu has quit [Ping timeout: 252 seconds]

08:40 richi235 has joined #ocaml

08:44 Mercuria1Alchemi has joined #ocaml

08:52 AlexRussia has quit [Ping timeout: 240 seconds]

08:53 AlexRussia has joined #ocaml

09:08 n4323 has joined #ocaml

09:09 mengu has joined #ocaml

09:11 mfp has joined #ocaml

09:13 mengu has quit [Ping timeout: 258 seconds]

09:15 larhat has joined #ocaml

09:19 mike___ has joined #ocaml

09:21 mike___ has quit [Quit: leaving]

09:21 mike___ has joined #ocaml

09:32 lopex has joined #ocaml

09:33 larhat has quit [Quit: Leaving.]

09:34 maattdd has quit [Ping timeout: 260 seconds]

09:43 larhat has joined #ocaml

09:48 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

09:52 jmiven has quit [Quit: WeeChat 1.7.1]

10:06 govg has joined #ocaml

10:08 larhat has joined #ocaml

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

10:23 cbot has quit [Quit: This computer has gone to sleep]

10:35 richi235 has quit [Ping timeout: 245 seconds]

10:39 richi235 has joined #ocaml

10:48 mike___ has quit [Quit: Lost terminal]

10:48 richi235 has quit [Ping timeout: 240 seconds]

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

11:01 emias has joined #ocaml

11:02 AlexDenisov has joined #ocaml

11:04 emias has quit [Remote host closed the connection]

11:04 emias has joined #ocaml

11:11 mengu has joined #ocaml

11:19 mengu has quit [Ping timeout: 240 seconds]

11:30 sepp2k has joined #ocaml

11:31 _andre has joined #ocaml

11:33 <infinity0> hm, we can have record types inside variant types now in 4.04 but not variant types inside record types?

11:36 <mehdib> yes **inlined **record types inside variant types

11:41 <theblatte> looks like ppx_compare doesn't support them yet? Failure("Pcstr_record not supported")

11:45 zpe has joined #ocaml

11:57 zpe has quit [Remote host closed the connection]

12:01 mengu has joined #ocaml

12:02 rpg has joined #ocaml

12:04 nahra has quit [Ping timeout: 258 seconds]

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

12:18 freusque has quit [Quit: WeeChat 1.7]

12:18 AlexDenisov has joined #ocaml

12:22 freusque has joined #ocaml

12:22 nomicflux has joined #ocaml

12:36 octachron has joined #ocaml

12:48 freusque has quit [Quit: WeeChat 1.7]

12:49 freusque has joined #ocaml

12:53 nomicflux has quit [Quit: nomicflux]

12:55 freyr has joined #ocaml

12:58 n4323 has quit [Read error: Connection reset by peer]

12:59 n4323 has joined #ocaml

13:00 mengu has quit [Quit: Leaving...]

13:01 kolko has quit [Ping timeout: 260 seconds]

13:01 kolko_ has joined #ocaml

13:02 thizanne has quit [Ping timeout: 260 seconds]

13:02 thizanne has joined #ocaml

13:19 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

13:20 sz0 has joined #ocaml

13:20 nicoo has quit [Remote host closed the connection]

13:21 nicoo has joined #ocaml

13:35 jmiven has joined #ocaml

13:53 sepp2k has quit [Ping timeout: 240 seconds]

13:58 vicfred has joined #ocaml

14:02 zpe has joined #ocaml

14:03 sh0t has joined #ocaml

14:10 richi235 has joined #ocaml

14:11 AlexDenisov has joined #ocaml

14:17 spew has joined #ocaml

14:31 richi235 has quit [Ping timeout: 240 seconds]

14:34 freyr has quit [Remote host closed the connection]

14:39 mrvn has joined #ocaml

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

14:40 AlexRussia has quit [Ping timeout: 260 seconds]

14:41 shinnya has joined #ocaml

14:42 rpg_ has joined #ocaml

14:44 rpg has quit [Ping timeout: 260 seconds]

14:47 rpg_ has quit [Ping timeout: 255 seconds]

14:49 myst|fon has quit [Quit: Updating details, brb]

14:49 myst|fon has joined #ocaml

14:52 zpe has quit [Remote host closed the connection]

14:57 al-damiri has joined #ocaml

14:59 myst|fon has quit []

15:01 AlexRussia has joined #ocaml

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

15:04 <infinity0> anyone tried this https://github.com/whitequark/ppx_deriving#plugins-iter-map-and-fold

15:04 <infinity0> i can't get it to work, even though [@@deriving sexp] works

15:04 <infinity0> Error: Cannot locate deriver map

15:06 <infinity0> oh, BuildDepends: ppx_deriving.std

15:07 richi235 has joined #ocaml

15:14 mengu has joined #ocaml

15:20 jao has joined #ocaml

15:23 copy` has joined #ocaml

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

15:29 rpg has joined #ocaml

15:36 richi235 has joined #ocaml

15:39 jao has quit [Ping timeout: 260 seconds]

15:40 MercurialAlchemi has quit [Ping timeout: 268 seconds]

15:41 ryanartecona has joined #ocaml

15:47 govg has quit [Ping timeout: 245 seconds]

15:52 jabroney has joined #ocaml

15:52 alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]

16:00 vicfred has quit [Quit: Leaving]

16:01 TheLemonMan has joined #ocaml

16:07 govg has joined #ocaml

16:15 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:23 mfp has joined #ocaml

16:26 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:29 AltGr has left #ocaml [#ocaml]

16:31 rpg has joined #ocaml

16:32 richi235 has quit [Ping timeout: 260 seconds]

16:35 ciniglio has quit [Remote host closed the connection]

16:36 richi235 has joined #ocaml

16:37 jabroney has quit [Ping timeout: 258 seconds]

16:41 richi235 has quit [Ping timeout: 255 seconds]

16:43 shinnya has quit [Ping timeout: 260 seconds]

16:45 jabroney has joined #ocaml

16:47 eh_eff has joined #ocaml

16:49 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:53 rpg has joined #ocaml

17:06 AlexDenisov has joined #ocaml

17:15 sh0t has quit [Ping timeout: 260 seconds]

17:20 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:24 ciniglio has joined #ocaml

17:35 sh0t has joined #ocaml

17:36 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:37 spew has quit [Ping timeout: 240 seconds]

17:42 AlexDenisov has joined #ocaml

17:44 rpg has joined #ocaml

17:47 andreas__ has joined #ocaml

17:53 richi235 has joined #ocaml

17:57 <reynir> How do people use topkg with a myocamlbuild that uses a plugin?

18:01 shinnya has joined #ocaml

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

18:05 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:07 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:13 jao has joined #ocaml

18:13 freusque has joined #ocaml

18:13 zeldangit has joined #ocaml

18:14 <zeldangit> I am having trouble getting merlin working. I have gone through the vim wiki for merlin, but I can't seem to figure out the keybinds/get autocomplete to work..

18:14 ryanartecona has quit [Quit: ryanartecona]

18:19 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

18:23 larhat has joined #ocaml

18:29 ryanartecona has joined #ocaml

18:32 shinnya has quit [Ping timeout: 260 seconds]

18:33 freusque has quit [Quit: WeeChat 1.7]

18:34 john51_ has quit [Write error: Broken pipe]

18:34 john51 has joined #ocaml

18:36 jao has quit [Disconnected by services]

18:36 jao has joined #ocaml

18:37 Leonidas_ has joined #ocaml

18:38 haesbaer1 has joined #ocaml

18:38 j0sh has joined #ocaml

18:38 haesbaert has quit [Write error: Broken pipe]

18:38 j0sh_ has quit [Write error: Broken pipe]

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

18:40 infinity0 has quit [Remote host closed the connection]

18:41 infinity0 has joined #ocaml

18:41 larhat has quit [Quit: Leaving.]

18:43 larhat has joined #ocaml

18:45 <reynir> zeldangit: ctrl+x ctrl+o

18:45 <reynir> It's using vim's "omni-complete"

18:45 spew has joined #ocaml

18:54 spew has quit [Quit: foobar]

18:56 larhat has quit [Quit: Leaving.]

18:59 <zeldangit> reynir: thank you! Also, might you know how could I bind that to the tab key?

19:02 <copy`> zeldangit: Use another plugin, for example supertab

19:02 <zeldangit> copy`: thanks!

19:07 kakadu has quit [Quit: Konversation terminated!]

19:07 rpg has joined #ocaml

19:11 ryanartecona has quit [Quit: ryanartecona]

19:18 octachron has quit [Quit: Leaving]

19:21 <reynir> lobo: I made a branch where I tried to fix the 4.04.0 issue https://github.com/reynir/ocp-index-top/tree/cond-compilation

19:22 <reynir> (but it doesn't seem to compile on 4.04.0 !?)

19:26 <reynir> nevermind, I'm stupid

19:26 tane has joined #ocaml

19:28 <lobo> reynir: :D it built without any issues on 4.04.1

19:28 <reynir> Oh really?

19:28 <reynir> lobo: wait, I think I broke the build so it's noop :P

19:29 <lobo> reynir: ah ok. wait. just traied topkg build. opam pin and then build failed :D

19:30 <reynir> I *just* pushed with a "fix"

19:30 <reynir> now it's broken with an error

19:33 <reynir> lobo: sorry for the noise

19:34 <lobo> reynir: np. this package is very useful. i use it very often. anyways, i'll always change the pin back to a working version. no worries

19:34 <reynir> oh, I fixed it :P

19:34 <lobo> s/always/i can always/

19:35 <lobo> reynir: jep. it's working \o/

19:36 <reynir> \o/

19:36 <reynir> Bumped the version, too!

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

19:38 richi235 has quit [Ping timeout: 245 seconds]

19:38 yomimono has quit [Ping timeout: 268 seconds]

19:55 kakadu has joined #ocaml

19:56 Leonidas_ is now known as Leonidas

20:04 <reynir> I want to make a release on opam, but I think I ought to fix https://github.com/reynir/ocp-index-top/issues/1 first

20:06 <reynir> (and I don't know how to)

20:12 cbot has joined #ocaml

20:15 yegods has joined #ocaml

20:16 lobo has quit [Quit: WeeChat 1.0.1]

20:20 lobo has joined #ocaml

20:20 spew has joined #ocaml

20:22 eh_eff has joined #ocaml

20:27 eh_eff has quit [Ping timeout: 260 seconds]

20:55 <Drup> reynir: I don't think you can

20:57 <Drup> hum, actually, maybe you can, if you remove the requires field in your META and compile with -linkall, that might work

21:03 tane has quit [Quit: Leaving]

21:09 tobast has quit [Remote host closed the connection]

21:17 _andre has quit [Quit: leaving]

21:17 Mercuria1Alchemi has quit [Ping timeout: 246 seconds]

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

21:27 AlexDenisov has joined #ocaml

21:42 Geekingfrog has quit [Ping timeout: 255 seconds]

21:43 tobast has joined #ocaml

21:51 yegods has joined #ocaml

21:58 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:00 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:05 govg has quit [Ping timeout: 240 seconds]

22:09 rpg has joined #ocaml

22:10 eh_eff has joined #ocaml

22:11 jyc has quit [Ping timeout: 246 seconds]

22:11 fredcy_ has joined #ocaml

22:12 technoma` has joined #ocaml

22:12 cojy_ has joined #ocaml

22:13 jlouis has quit [Ping timeout: 252 seconds]

22:14 fredcy_ is now known as fredcy

22:14 fredcy has quit [Ping timeout: 246 seconds]

22:14 jlouis has joined #ocaml

22:14 govg has joined #ocaml

22:14 l1x has quit [Ping timeout: 240 seconds]

22:14 cojy has quit [Ping timeout: 240 seconds]

22:14 Jaxan has quit [Quit: No Ping reply in 180 seconds.]

22:14 Jaxan_ has joined #ocaml

22:15 eh_eff has quit [Ping timeout: 240 seconds]

22:15 cojy_ is now known as cojy

22:15 ahf has quit [Ping timeout: 245 seconds]

22:15 jyc has joined #ocaml

22:15 technoma` is now known as technomancy`

22:17 technomancy has quit [Disconnected by services]

22:17 metadave has quit [Ping timeout: 240 seconds]

22:17 bigs has quit [Ping timeout: 240 seconds]

22:17 monad_cat has quit [Ping timeout: 240 seconds]

22:17 jkni has quit [Ping timeout: 240 seconds]

22:17 mrallen1 has quit [Ping timeout: 240 seconds]

22:17 JSharp has quit [Ping timeout: 240 seconds]

22:17 technomancy` is now known as technomancy

22:17 nopf has quit [Ping timeout: 240 seconds]

22:17 jcloud has quit [Ping timeout: 240 seconds]

22:18 chenglou has quit [Ping timeout: 240 seconds]

22:18 apache2_ has joined #ocaml

22:18 nopf has joined #ocaml

22:18 apache2 has quit [Ping timeout: 240 seconds]

22:19 emily1 has quit [Ping timeout: 240 seconds]

22:19 rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:19 l1x has joined #ocaml

22:19 emily1 has joined #ocaml

22:21 ahf has joined #ocaml

22:21 jcloud has joined #ocaml

22:22 JSharp has joined #ocaml

22:22 metadave has joined #ocaml

22:25 Ulrar has quit [Remote host closed the connection]

22:25 jkni has joined #ocaml

22:26 monad_cat has joined #ocaml

22:26 mrallen1 has joined #ocaml

22:27 Simn has quit [Quit: Leaving]

22:34 sz0 has quit [Quit: Connection closed for inactivity]

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

22:48 yegods has quit []

22:49 andreas__ has quit [Quit: Connection closed for inactivity]

22:52 chenglou has joined #ocaml

22:55 cbot has quit [Quit: This computer has gone to sleep]

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

23:05 Fistine has quit [Ping timeout: 245 seconds]

23:06 Fistine has joined #ocaml

23:39 argent_smith has quit [Quit: Leaving.]

23:51 _y has quit [Ping timeout: 252 seconds]

23:51 tobiasBora has quit [Ping timeout: 252 seconds]

23:52 _y has joined #ocaml

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

23:57 infinity0_ has joined #ocaml

23:57 infinity0_ has quit [Changing host]

23:57 infinity0 is now known as Guest49257

23:57 infinity0_ has joined #ocaml

23:57 infinity0_ is now known as infinity0

23:58 infinity0 has quit [Remote host closed the connection]

23:58 eh_eff has joined #ocaml