#ocaml on 2016-03-21 — irc logs at freenode.irclog.whitequark.org

2015-11-14 15:27 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:07 Emmanuel`_ has quit [Quit: Konversation terminated!]

00:07 Emmanuel`_ has joined #ocaml

00:13 silver has quit [Quit: rakede]

00:31 cdidd has quit [Remote host closed the connection]

00:33 fluter has quit [Ping timeout: 246 seconds]

00:35 Emmanuel`_ has quit [Quit: Konversation terminated!]

00:36 Emmanuel`_ has joined #ocaml

00:42 nicholasf has quit [Remote host closed the connection]

00:42 groovy2shoes has joined #ocaml

00:45 nicholasf has joined #ocaml

00:51 Simn has joined #ocaml

00:52 nicholasf has quit [Ping timeout: 248 seconds]

00:53 nicholasf has joined #ocaml

00:54 cdidd has joined #ocaml

01:13 fluter has joined #ocaml

01:15 noddy has quit [Ping timeout: 276 seconds]

01:21 aantron has quit [Remote host closed the connection]

01:23 nicholasf has quit [Remote host closed the connection]

01:25 Simn has quit [Quit: Leaving]

01:26 nicholasf has joined #ocaml

01:27 Emmanuel`_ has quit [Quit: Konversation terminated!]

01:27 Emmanuel`_ has joined #ocaml

01:39 breitenj has joined #ocaml

01:44 manizzle has joined #ocaml

01:45 nicholasf has quit [Remote host closed the connection]

01:46 nicholasf has joined #ocaml

01:46 nichola__ has joined #ocaml

01:48 aantron has joined #ocaml

01:50 nicholasf has quit [Ping timeout: 260 seconds]

01:51 sh0t has quit [Ping timeout: 248 seconds]

01:53 dsheets has joined #ocaml

01:58 dsheets has quit [Ping timeout: 250 seconds]

02:04 sh0t has joined #ocaml

02:15 Emmanuel`_ has quit [Quit: Konversation terminated!]

02:15 Emmanuel`_ has joined #ocaml

02:21 noddy has joined #ocaml

02:24 tennix has quit [Ping timeout: 248 seconds]

02:29 Emmanuel`_ has quit [Quit: Konversation terminated!]

02:29 Emmanuel`_ has joined #ocaml

03:01 nichola__ has quit [Remote host closed the connection]

03:02 nicholasf has joined #ocaml

03:04 Haudegen has quit [Ping timeout: 260 seconds]

03:04 fluter has quit [Ping timeout: 268 seconds]

03:11 Jaxan has quit [Quit: No Ping reply in 180 seconds.]

03:17 Jaxan has joined #ocaml

03:20 tennix has joined #ocaml

03:24 Jaxan has quit [Quit: No Ping reply in 180 seconds.]

03:24 Algebr has joined #ocaml

03:24 destrius has joined #ocaml

03:26 Jaxan has joined #ocaml

03:29 nichola__ has joined #ocaml

03:29 nicholasf has quit [Ping timeout: 244 seconds]

03:30 Jaxan has quit [Quit: No Ping reply in 180 seconds.]

03:31 seangrove has quit [Remote host closed the connection]

03:31 Emmanuel`_ has quit [Quit: Konversation terminated!]

03:31 Emmanuel`_ has joined #ocaml

03:31 Jaxan has joined #ocaml

03:32 seangrove has joined #ocaml

03:32 fluter has joined #ocaml

03:35 Jaxan has quit [Client Quit]

03:37 aantron has quit [Remote host closed the connection]

03:38 Jaxan has joined #ocaml

03:42 dsheets has joined #ocaml

03:45 Jaxan has quit [Quit: No Ping reply in 180 seconds.]

03:45 ollehar has joined #ocaml

03:46 dsheets has quit [Ping timeout: 250 seconds]

03:46 Jaxan has joined #ocaml

03:54 Algebr has quit [Ping timeout: 268 seconds]

03:57 Emmanuel`_ has quit [Quit: Konversation terminated!]

03:57 Emmanuel`_ has joined #ocaml

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

04:11 Emmanuel`_ has quit [Quit: Konversation terminated!]

04:11 Emmanuel`_ has joined #ocaml

04:23 Algebr has joined #ocaml

04:33 nichola__ has quit [Remote host closed the connection]

04:34 nicholasf has joined #ocaml

04:40 noddy has quit [Ping timeout: 268 seconds]

04:41 Algebr has quit [Remote host closed the connection]

04:45 GeorgeHahn has quit [Read error: Connection reset by peer]

04:52 sh0t has quit [Ping timeout: 240 seconds]

04:53 Haudegen has joined #ocaml

05:04 shinnya has quit [Ping timeout: 252 seconds]

05:10 Fleurety has joined #ocaml

05:13 hyperboreean has quit [Read error: Connection reset by peer]

05:13 hyperboreean has joined #ocaml

05:18 dsheets has joined #ocaml

05:19 Emmanuel`_ has quit [Quit: Konversation terminated!]

05:21 Emmanuel`_ has joined #ocaml

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

05:33 nichola__ has joined #ocaml

05:35 abbiya has joined #ocaml

05:36 nicholasf has quit [Ping timeout: 244 seconds]

05:41 newbie|2 has quit [Ping timeout: 244 seconds]

05:43 Emmanuel`_ has quit [Quit: Konversation terminated!]

05:43 Emmanuel`_ has joined #ocaml

05:45 dsheets has joined #ocaml

05:48 MercurialAlchemi has joined #ocaml

05:49 dsheets has quit [Ping timeout: 250 seconds]

05:56 MercurialAlchemi has quit [Ping timeout: 248 seconds]

06:04 cat5e has quit [Ping timeout: 252 seconds]

06:20 leyyin has joined #ocaml

06:24 Vintila has joined #ocaml

06:27 leyyin has quit [Quit: So Long, and Thanks for All the Fish]

06:39 MercurialAlchemi has joined #ocaml

06:53 Soni has joined #ocaml

06:55 Vintila has quit [Ping timeout: 252 seconds]

06:57 therac25 has joined #ocaml

06:58 pierpa has quit [Ping timeout: 264 seconds]

06:59 antkong has quit [Quit: antkong]

07:01 Emmanuel`_ has quit [Quit: Konversation terminated!]

07:03 Emmanuel`_ has joined #ocaml

07:07 malc_ has joined #ocaml

07:10 Soni has quit [Ping timeout: 250 seconds]

07:11 Soni has joined #ocaml

07:19 dsheets has joined #ocaml

07:24 dsheets has quit [Ping timeout: 248 seconds]

07:24 larhat has joined #ocaml

07:31 ggole has joined #ocaml

07:31 larhat has quit [Quit: Leaving.]

07:32 larhat has joined #ocaml

07:37 Emmanuel`_ has quit [Quit: Konversation terminated!]

07:37 Emmanuel`_ has joined #ocaml

07:44 abbiya has quit [Quit: Leaving]

07:46 Haudegen has quit [Ping timeout: 244 seconds]

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

07:52 copy` has quit [Quit: Connection closed for inactivity]

07:54 djellemah_ has joined #ocaml

07:55 Vintila has joined #ocaml

08:01 butts_butts has joined #ocaml

08:02 freehck has joined #ocaml

08:12 slicefd has joined #ocaml

08:16 Vintila has quit [Ping timeout: 244 seconds]

08:24 butts_butts has quit [Ping timeout: 244 seconds]

08:28 Haudegen has joined #ocaml

08:34 shinnya has joined #ocaml

08:35 therac25 has quit [Quit: therac25]

08:36 djellemah_ has quit [Ping timeout: 244 seconds]

08:42 Simn has joined #ocaml

08:49 ollehar has quit [Quit: ollehar]

08:50 Soni is now known as cat5e

08:52 antkong_ has joined #ocaml

09:00 ontologiae has joined #ocaml

09:14 nichola__ has quit [Remote host closed the connection]

09:15 nicholasf has joined #ocaml

09:19 Emmanuel`_ has quit [Quit: Konversation terminated!]

09:19 Emmanuel`_ has joined #ocaml

09:20 ygrek has quit [Ping timeout: 264 seconds]

09:30 jwatzman|work has joined #ocaml

09:33 _2can has joined #ocaml

09:37 Vintila has joined #ocaml

09:41 Emmanuel`_ has quit [Quit: Konversation terminated!]

09:42 Emmanuel`_ has joined #ocaml

09:43 <Nazral> with notty, | `Key (`Uchar n, [`Ctrl]) when n = 113 should match ctrl+q right ?

09:43 <Nazral> because if I remove `Ctrl then it does match 'q'

09:45 <companion_cube> unless your term captures ctrl-q, I'd say yes

09:48 Sonderblade has quit [Quit: Lämnar]

09:51 jwatzman|work has quit [Quit: jwatzman|work]

10:01 darkf has quit [Quit: Leaving]

10:03 dsheets has joined #ocaml

10:03 Kakadu has quit [Quit: Page closed]

10:04 Kakadu has joined #ocaml

10:08 dsheets has quit [Ping timeout: 276 seconds]

10:11 <Nazral> well

10:11 <Nazral> it ain't working

10:12 foocraft has joined #ocaml

10:15 Emmanuel`_ has quit [Quit: Konversation terminated!]

10:15 Emmanuel`_ has joined #ocaml

10:20 djellemah_ has joined #ocaml

10:23 Emmanuel`_ has quit [Quit: Konversation terminated!]

10:23 Emmanuel`_ has joined #ocaml

10:26 silver has joined #ocaml

10:37 badon_ has joined #ocaml

10:37 badon has quit [Disconnected by services]

10:37 badon_ is now known as badon

10:44 nicholasf has quit [Remote host closed the connection]

10:54 dsheets has joined #ocaml

10:56 djellemah__ has joined #ocaml

10:57 antkong_ has quit [Quit: antkong_]

10:59 dsheets has quit [Ping timeout: 248 seconds]

11:00 djellemah has quit [Ping timeout: 246 seconds]

11:00 djellemah has joined #ocaml

11:00 djellemah_ has quit [Ping timeout: 244 seconds]

11:04 sgnb has joined #ocaml

11:09 sepp2k has joined #ocaml

11:11 jwatzman|work has joined #ocaml

11:20 Nahra has quit [Read error: Connection reset by peer]

11:20 Nahra has joined #ocaml

11:23 _andre has joined #ocaml

11:44 Vintila has quit [Ping timeout: 260 seconds]

11:59 kerneis has left #ocaml [#ocaml]

12:07 groovy2shoes has quit [Quit: Leaving]

12:09 djellemah has quit [Disconnected by services]

12:10 djellemah__ is now known as djellemah

12:10 djellemah_ has joined #ocaml

12:15 Emmanuel`_ has quit [Quit: Konversation terminated!]

12:15 Emmanuel`_ has joined #ocaml

12:21 djellemah_ has quit [Ping timeout: 246 seconds]

12:24 Simn has quit [Ping timeout: 246 seconds]

12:30 Haudegen has quit [Ping timeout: 244 seconds]

12:31 JacobEdelman_ has joined #ocaml

12:32 dsheets has joined #ocaml

12:37 Simn has joined #ocaml

12:37 Emmanuel`_ has quit [Quit: Konversation terminated!]

12:37 Emmanuel`_ has joined #ocaml

12:46 abbiya has joined #ocaml

12:47 malc_ has quit [Remote host closed the connection]

12:48 abbiya has quit [Client Quit]

12:48 antkong_ has joined #ocaml

12:50 toolslive has joined #ocaml

12:55 aantron has joined #ocaml

12:57 deko-pyon has quit [Ping timeout: 246 seconds]

13:00 copy` has joined #ocaml

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

13:04 antkong has joined #ocaml

13:07 Emmanuel`_ has quit [Quit: Konversation terminated!]

13:07 Emmanuel`_ has joined #ocaml

13:11 Haudegen has joined #ocaml

13:17 Emmanuel`_ has quit [Quit: Konversation terminated!]

13:17 Emmanuel`_ has joined #ocaml

13:21 ibor has quit [Ping timeout: 248 seconds]

13:29 Vintila has joined #ocaml

13:32 pierpa has joined #ocaml

13:37 Emmanuel`_ has quit [Quit: Konversation terminated!]

13:37 Emmanuel`_ has joined #ocaml

13:43 jeffmo has joined #ocaml

13:54 antkong has quit [Quit: antkong]

14:00 Vintila has quit [Ping timeout: 260 seconds]

14:02 noddy has joined #ocaml

14:02 tennix has quit [Ping timeout: 260 seconds]

14:02 dsheets has quit [Remote host closed the connection]

14:07 sh0t has joined #ocaml

14:18 NingaLeaf has quit [Quit: Leaving]

14:23 dsheets has joined #ocaml

14:23 tane has joined #ocaml

14:25 TheLemonMan has joined #ocaml

14:26 Guest9007 has quit [Quit: Guest9007]

14:27 dsheets has quit [Ping timeout: 260 seconds]

14:31 Emmanuel`_ has quit [Quit: Konversation terminated!]

14:31 Emmanuel`_ has joined #ocaml

14:39 newbie has joined #ocaml

14:41 dsheets has joined #ocaml

14:45 dsheets has quit [Remote host closed the connection]

14:51 <edwin> companion_cube: sorry I was away. new qtest.qcheck looks interesting. I'm bit confused about the max_fail argument though: http://paste.debian.net/417704/ http://paste.debian.net/417705/ . max_fail:3 works as expected, it prints the failing test cases, but max_fail:1 or max_fail:2 behave in weird ways

14:57 hay207 has joined #ocaml

14:59 noddy has quit [Ping timeout: 260 seconds]

15:00 tennix has joined #ocaml

15:04 JacobEdelman_ has quit [Quit: Connection closed for inactivity]

15:05 Emmanuel`_ has quit [Quit: Konversation terminated!]

15:05 Emmanuel`_ has joined #ocaml

15:08 larhat has quit [Ping timeout: 248 seconds]

15:13 <edwin> companion_cube: looks like you don't flush the pretty printer for the exception

15:13 <edwin> in asprintf

15:14 <edwin> so depending on length of the message to print it either prints nothing or prints part of the message

15:14 MercurialAlchemi has quit [Ping timeout: 244 seconds]

15:20 shinnya has quit [Ping timeout: 264 seconds]

15:26 <edwin> after adding an explicit flush there the new qcheck works fine, will let you know if I encounter more problems

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

15:29 abeaumont has joined #ocaml

15:37 <companion_cube> awww

15:38 eagleflo has left #ocaml [#ocaml]

15:38 <companion_cube> edwin: https://github.com/vincent-hugot/iTeML/commit/b7ddb566e630d7c04ed70e35eb07c931f9b8ab6b ?

15:38 <flux> nazral, I think it's more than likely your terminal (at some level) captures ctrl-q (and ctrl-s), so one would need to use tcsetattr to reconfigure that part

15:38 <edwin> https://github.com/vincent-hugot/iTeML/commit/4ff216ec052c45298e79dc6067be803eed5410ea#commitcomment-16785418

15:39 <edwin> I tested it with this

15:39 <companion_cube> (it's interesting that max_fail is pretty useless if shrinking is present)

15:39 <flux> nazral, perhaps Notty doesn't support configuring those yet

15:39 <edwin> let me try with @? should work just the same, moment

15:40 <toolslive> has anybody been using librdmacm together with lwt ?

15:41 <edwin> companion_cube: works fine, thanks.

15:42 <companion_cube> cool!

15:42 <companion_cube> otherwise, any comments on the interface?

15:42 <edwin> I like that I don't have to define a pp when defining the tests

15:42 <companion_cube> the QCheck_runner is brand new, and it took some work to merge stuff from qtest and from qcheck :s

15:43 <companion_cube> yeah, 'a arbitrary is cool ^^

15:43 <edwin> (if I remember to use ~rev when using map arbitrary)

15:43 <companion_cube> (also, shrinker)

15:43 <companion_cube> there is map_same, too

15:44 <companion_cube> map_same_type, sorry

15:44 <companion_cube> I will publish the API documentation online once it's released

15:44 <edwin> I'll try to use it for some code and see how it works, and then give you some feedback on the API

15:45 <companion_cube> cool, thanks

15:46 <edwin> how safe is fun1/fun2 with flambda?

15:48 <companion_cube> ?

15:49 hay207 has quit [Read error: Connection reset by peer]

15:49 hay207 has joined #ocaml

15:50 <edwin> https://github.com/vincent-hugot/iTeML/blob/master/src/QCheck.ml#L511 "black magic"/Obj.magic

15:51 <edwin> seems you use it to retrieve the hashtbl for printing

15:52 <edwin> nice idea with fun1 otherwise

15:52 <flux> soo, has anyone tried to port qcheck to modular implicits?

15:54 ygrek has joined #ocaml

15:54 manizzle has quit [Ping timeout: 244 seconds]

15:55 <companion_cube> oh, this

15:55 <companion_cube> I have strictly no idea :S

15:56 <companion_cube> the real solution, I think, is to look at what Haskell does ("observable", I believe)

15:56 <companion_cube> but I never really looked at them

15:56 deko-pyon has joined #ocaml

15:58 jwatzman|work has quit [Quit: jwatzman|work]

15:59 tane has quit [Ping timeout: 252 seconds]

16:05 Haudegen has quit [Ping timeout: 248 seconds]

16:05 <ggole> What's the point of the empty object? Just to make something to use == on?

16:06 <flux> I think yes

16:07 <ggole> ref () is the traditional way to do that (and is probably a lot cheaper)

16:07 <flux> or possibly even just use Oo.id on it ;-)

16:08 Haudegen has joined #ocaml

16:11 tane has joined #ocaml

16:13 <companion_cube> yeah Oo.id should be more reasonable

16:13 <companion_cube> but the problem is typing, I think

16:13 <companion_cube> not ==

16:17 slash^ has joined #ocaml

16:22 kakadu_ has joined #ocaml

16:22 Kakadu has quit [Ping timeout: 252 seconds]

16:24 abeaumont has quit [Read error: Connection reset by peer]

16:42 ggole has quit [Ping timeout: 244 seconds]

16:43 leyyin has joined #ocaml

16:44 ibor has joined #ocaml

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

16:47 srcerer has quit [Quit: ChatZilla 0.9.92 [Firefox 44.0.2/20160210153822]]

16:49 Emmanuel`_ has quit [Quit: Konversation terminated!]

16:49 Emmanuel`_ has joined #ocaml

16:55 foocraft has quit [Remote host closed the connection]

16:56 <Nazral> flux: I think it does, the "life" example does it iirc, I'll check that, thanks !

16:57 Emmanuel`_ has quit [Quit: Konversation terminated!]

16:57 Emmanuel`_ has joined #ocaml

16:57 mettekou has joined #ocaml

16:59 MercurialAlchemi has joined #ocaml

17:01 hay207_ has joined #ocaml

17:04 hay207 has quit [Ping timeout: 264 seconds]

17:08 hay207__ has joined #ocaml

17:08 hay207_ has quit [Ping timeout: 240 seconds]

17:14 ygrek has quit [Ping timeout: 276 seconds]

17:16 srcerer has joined #ocaml

17:17 emmanueloga has quit [Ping timeout: 260 seconds]

17:18 myst|fon has quit [Ping timeout: 260 seconds]

17:19 Emmanuel`_ has quit [Quit: Konversation terminated!]

17:19 sh0t has quit [Ping timeout: 240 seconds]

17:19 Emmanuel`_ has joined #ocaml

17:20 myst|fon has joined #ocaml

17:20 emmanueloga has joined #ocaml

17:26 Algebr has joined #ocaml

17:31 sh0t has joined #ocaml

17:33 yunxing has joined #ocaml

17:35 yunxing has quit [Client Quit]

17:41 sgnb has quit [Remote host closed the connection]

17:43 ontologiae has quit [Ping timeout: 276 seconds]

17:46 noddy has joined #ocaml

17:57 Emmanuel`_ has quit [Quit: Konversation terminated!]

17:57 Emmanuel`_ has joined #ocaml

18:05 ygrek has joined #ocaml

18:08 Anarchos has joined #ocaml

18:11 sh0t has quit [Ping timeout: 268 seconds]

18:17 maverous has joined #ocaml

18:21 mettekou has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

18:22 Haudegen has quit [Ping timeout: 244 seconds]

18:22 AlexRussia has quit [Ping timeout: 250 seconds]

18:25 mettekou has joined #ocaml

18:31 <please_help> any reason why this doesn't do anything? https://bpaste.net/show/fcc8a1d42fbd

18:31 <infinity0> where is there documentation on {| and |} ?

18:32 <Algebr> please_help: is that eliom with ppx? infinity0 that's just raw strings

18:32 kakadu_ has quit [Quit: Page closed]

18:33 butts_butts has joined #ocaml

18:34 <Algebr> infinity0: in the manual, 7.24 Quoted strings

18:35 <infinity0> ah thanks

18:36 deko-pyon has quit [Quit: ... the fear fades away.]

18:39 maverous has quit [Quit: WeeChat 1.3]

18:39 malc_ has joined #ocaml

18:42 <please_help> Algebr: yes.

18:47 yunxing has joined #ocaml

18:48 t4nk573 has joined #ocaml

18:49 deko-pyon has joined #ocaml

18:49 <seangrove> What's the best way to seamlessly memoize a function?

18:49 <seangrove> I see http://stackoverflow.com/questions/14454981/memoization-in-ocaml, but it requires changing the body of the function

18:51 <Algebr> ha, like a python style @memo decorator would be nice.

18:52 <flux> would be nice, yes, but I think I've only ever once memoized a function in ocaml ;-)

18:54 noddy has quit [Ping timeout: 252 seconds]

18:55 Emmanuel`_ has quit [Quit: Konversation terminated!]

18:56 <seangrove> I guess a ppx extension would be an easy way

18:56 <Algebr> I was thinking ppx extension too, but where would you hide the hashtable? I guess in a closure of the original func?

18:57 sh0t has joined #ocaml

18:57 Emmanuel`_ has joined #ocaml

18:59 _2can has quit [Quit: Lost terminal]

19:00 sepp2k has quit [Quit: Leaving.]

19:01 Haudegen has joined #ocaml

19:02 yunxing has quit [Remote host closed the connection]

19:02 <seangrove> Algebr: Good question - should be a fun learning experience

19:02 <flux> algebr, exactly..

19:03 * seangrove coughs

19:03 <seangrove> If anyone would like to see a OCaml unikernel talk recorded at Polyconf, please feel free to upvote here https://eventil.com/polyconf/polyconf-16/poll

19:03 <seangrove> "From Unikernels to Databases to UIs: Truly full-stack apps in OCaml"

19:04 mettekou_ has joined #ocaml

19:04 <please_help> I also get "Error: uncaught exception: 0,248,Failure,-3,initialize_nat not implemented" in the browser's js console when loading the page. I have 2 scripts generated via js_of_ocaml: one is basically a copy-paste of the examples, where the button is supposed to hide some content (this only works under very, very strict restrictions in terms of css and html structure which I have yet to figure out), the other is the

19:04 <please_help> autoreload script in that paste.

19:05 <Algebr> upvoted

19:05 mettekou has quit [Ping timeout: 240 seconds]

19:05 metteko__ has joined #ocaml

19:05 metteko__ is now known as mettekou

19:06 <seangrove> Algebr: Thanks!

19:08 <companion_cube> http://cedeela.fr/~simon/software/containers/CCCache.html for memoization 0:-)

19:09 mettekou_ has quit [Ping timeout: 276 seconds]

19:09 djellemah has quit [Read error: Connection reset by peer]

19:09 <seangrove> companion_cube: Thanks! It's almost certainly time I dove into containers

19:10 Anarchos has quit [Ping timeout: 250 seconds]

19:11 <companion_cube> especially since now there's a tutorial :p

19:16 hay207__ has quit [Quit: Konversation terminated!]

19:16 <seangrove> companion_cube: Is there efficient updating of immutable CCVectors?

19:16 <companion_cube> nope

19:16 hay207__ has joined #ocaml

19:16 <companion_cube> they're frozen

19:16 <seangrove> companion_cube: So no structural sharing at all then?

19:16 <seangrove> I really miss being able to take that for granted from Clojure

19:17 <companion_cube> no, it's really a vector

19:17 <companion_cube> oh I think we already discussed that

19:17 <companion_cube> maybe I should write some HAMT-based vector...

19:17 dsheets has joined #ocaml

19:18 djellemah has joined #ocaml

19:18 AlexRussia has joined #ocaml

19:18 hay207__ has quit [Read error: Connection reset by peer]

19:18 hay207__ has joined #ocaml

19:18 <seangrove> Sure would be nice :)

19:20 <companion_cube> even then it would be in containers.data :p

19:21 <companion_cube> the idea of CCVector is to provide an imperative, mutable vector that can be frozen later

19:22 dsheets has quit [Ping timeout: 248 seconds]

19:23 Anarchos has joined #ocaml

19:23 ski has joined #ocaml

19:27 <asdf12z_> how can i set up emacs to automatically show the type of my expression that my cursor is currently on?

19:28 <asdf12z_> normally can do C-c C-t to see it, but i'd like it to be automatic

19:34 Kakadu has joined #ocaml

19:35 manizzle has joined #ocaml

19:38 nicholasf has joined #ocaml

19:39 therac25 has joined #ocaml

19:43 hay207__ has quit [Quit: Konversation terminated!]

19:43 hay207__ has joined #ocaml

19:43 <flux> asdf12z_, I don't think setting up that is going to be very easy without breaking any other functionality..

19:44 octachron has joined #ocaml

19:44 slicefd has quit [Quit: WeeChat 1.4]

19:44 yunxing has joined #ocaml

19:44 tane has quit [Quit: Verlassend]

19:45 johnf has quit [Read error: Connection reset by peer]

19:46 tane has joined #ocaml

19:46 johnf has joined #ocaml

19:48 <Algebr> asdf12z_: infinity0 has elisp that does thig, I opened up an issue on github merlin for it as well

19:49 TheLemonMan has joined #ocaml

19:49 slash^ has quit [Quit: Leaving.]

19:56 seangrove has quit [Ping timeout: 252 seconds]

20:06 <yunxing> Is it possible in opam config file to get the version of current package?

20:09 Emmanuel`_ has quit [Quit: Konversation terminated!]

20:09 Emmanuel`_ has joined #ocaml

20:11 djellemah has quit [Ping timeout: 250 seconds]

20:11 yunxing has quit [Ping timeout: 250 seconds]

20:12 yunxing has joined #ocaml

20:14 lokien_ has joined #ocaml

20:14 <please_help> yunxing: opam show <package> has a installed-version field.

20:14 <please_help> not sure otherwise

20:15 aantron has quit [Remote host closed the connection]

20:19 nicholasf has quit [Remote host closed the connection]

20:21 seangrove has joined #ocaml

20:22 aantron has joined #ocaml

20:24 sh0t has quit [Ping timeout: 240 seconds]

20:25 leyyin has quit [Quit: So Long, and Thanks for All the Fish]

20:28 djellemah has joined #ocaml

20:30 <yunxing> please_help: Thanks. I found that when you say %{version}% in opam, it will automatically refer to the version of your current package

20:31 <infinity0> asdf12z_: https://github.com/infinity0/l33tutils/blob/master/devel/emacs/site-lisp/merlin-extra.el and yes i should upstream it to merlin once i get some time

20:32 <infinity0> there's still fiddly minor bugs in it but the cost-benefit ratio of me personally fixing them is not so nice, i don't know that much elisp

20:35 _andre has quit [Quit: leaving]

20:36 darkf has joined #ocaml

20:37 seangrove has quit [Ping timeout: 240 seconds]

20:38 <Algebr> hopefully it will be pulled in eventually.

20:39 seangrove has joined #ocaml

20:46 cdidd has joined #ocaml

20:50 manizzle has quit [Read error: Connection reset by peer]

20:50 sh0t has joined #ocaml

20:53 seangrove has quit [Ping timeout: 264 seconds]

20:56 cdidd has quit [Ping timeout: 240 seconds]

20:58 cdidd has joined #ocaml

20:58 mettekou has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

20:58 seangrove has joined #ocaml

20:59 hay207 has joined #ocaml

20:59 hay207__ has quit [Ping timeout: 264 seconds]

20:59 Emmanuel`_ has quit [Quit: Konversation terminated!]

20:59 Emmanuel`_ has joined #ocaml

21:00 mettekou has joined #ocaml

21:00 vhf has quit [Ping timeout: 250 seconds]

21:02 <Drup> octachron: "fluctuating" :D

21:03 <Drup> This description is rather delicious

21:06 vhf has joined #ocaml

21:07 <Algebr> Drup: is Lwt_main.async_exception_hook only called by Lwt.async func or by any async exception in general

21:08 orbifx has joined #ocaml

21:08 <Drup> no idea

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

21:15 Anarchos has quit [Ping timeout: 244 seconds]

21:15 <please_help> any reason why this doesn't do anything? (eliom/js_of_ocaml/ppx) https://bpaste.net/show/fcc8a1d42fbd

21:18 nicholasf has joined #ocaml

21:20 <Drup> doesn't that trigger a warning ?

21:20 malc_ has left #ocaml ["ERC (IRC client for Emacs 25.0.50.2)"]

21:23 cdidd has joined #ocaml

21:26 hay207_ has joined #ocaml

21:26 hay207 has quit [Ping timeout: 264 seconds]

21:29 MercurialAlchemi has quit [Ping timeout: 240 seconds]

21:34 seangrove has quit [Ping timeout: 246 seconds]

21:38 seangrove has joined #ocaml

21:44 hay207_ has quit [Quit: Konversation terminated!]

21:45 pierpa has quit [Ping timeout: 276 seconds]

21:47 yunxing has quit [Remote host closed the connection]

21:47 yunxing has joined #ocaml

21:51 yunxing has quit [Ping timeout: 248 seconds]

21:56 hnrgrgr_ has quit [Remote host closed the connection]

22:01 ibor has quit [Ping timeout: 260 seconds]

22:07 mettekou has quit [Read error: Connection reset by peer]

22:08 mettekou has joined #ocaml

22:08 yunxing has joined #ocaml

22:13 butts_butts has quit [Ping timeout: 244 seconds]

22:14 antkong has joined #ocaml

22:16 jeffmo has quit [Read error: Connection reset by peer]

22:16 jeffmo_ has joined #ocaml

22:19 manizzle has joined #ocaml

22:20 lokien_ has quit [Quit: Connection closed for inactivity]

22:21 <mrvn> Why are those types not comaptible? http://paste.debian.net/417842/

22:26 <Nazral> flux: well I checked, it's not working perfectly yet their thing, I think I won't use it for now

22:27 <Nazral> (it takes over the ctrl+ ... from the terminal but never gives it back)

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

22:39 <zozozo> mrvn: from what I see, in the setPixmap method of your objects, the expected type is "QT5.OPixmap.qPixmap -> unit" but instead you give a function of type "(< as_oPixmap : QT5.OPixmap.oPixmap; .. > as 'b) -> unit", i.e instead of taking a pixmap as argument, your function takes an object with a method 'as_oPixmap' returning a pixmap

22:39 _2can has joined #ocaml

22:39 <zozozo> but I'm not really used to object types, so i may be wrong

22:40 <mrvn> other way around

22:41 t4nk573 has quit []

22:41 <mrvn> Foudn it now. The problem was the obejct I called #setPixmap on didn't have a type annotation and the infered type isn't polymorphic.

22:43 Haudegen has quit [Ping timeout: 246 seconds]

22:44 <mrvn> Progress on the QT5 bindings: http://picpaste.com/pics/tetrix.1458600238.png

22:45 <Algebr> what! looks great. looks like windows but on debian?

22:45 <mrvn> Algebr: well, that's just my windowmanager.

22:45 <Algebr> I am very much looking forward to this

22:46 <mrvn> Still have to do QTimer and parsing of QKeyEvent and then one can play.

22:47 <mrvn> Perfect timing. My 3D print job is on it's last minute.

22:47 <mrvn> No QTimer today.

22:53 dsheets has joined #ocaml

22:54 <Algebr> friend explained it to me but I am fuzzy on the details, why would someone do Ok () instead of just Ok

22:55 Simn has quit [Quit: Leaving]

22:57 dsheets has quit [Ping timeout: 246 seconds]

22:57 mettekou has quit [Quit: Textual IRC Client: www.textualapp.com]

23:01 silver has quit [Quit: rakede]

23:01 octachron has quit [Quit: Leaving]

23:05 dsheets has joined #ocaml

23:09 dsheets has quit [Ping timeout: 240 seconds]

23:12 mettekou has joined #ocaml

23:17 dsheets has joined #ocaml

23:19 ygrek has quit [Ping timeout: 268 seconds]

23:22 dsheets has quit [Ping timeout: 248 seconds]

23:22 Kakadu has quit [Remote host closed the connection]

23:24 manizzle has quit [Ping timeout: 248 seconds]

23:25 manizzle has joined #ocaml

23:25 Emmanuel`_ has quit [Quit: Konversation terminated!]

23:25 Emmanuel`_ has joined #ocaml

23:26 mettekou has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

23:32 <Algebr> I think I am starting to isolate my lwt woes to lwt daemonize, searching around apparently it is notorious for causing odd issues, then seen this thing by diml `Currently Lwt_deamon.daemonize is fully supported only if done before the Lwt_main.run.` is to imply that one should always call daemonize before lwt_main.run

23:34 <Algebr> okay, seems supported by smondet One can call `Lwt_daemon.daemonize` only before the Lwt engine starts.

23:35 Haudegen has joined #ocaml

23:35 sh0t has quit [Ping timeout: 248 seconds]

23:43 ollehar has joined #ocaml

23:43 <ollehar> uh, how to check if all elements in a list are equal in some regard (have same type)?

23:43 <ollehar> for_all doesn't work because it assumes I know the type/predicate to check before-hand.

23:44 ygrek has joined #ocaml

23:44 <ollehar> ach, guess I have to check first element.

23:44 <smondet> Algebr: I've had a lot of fights with daemonization indeed. Pretty painful, hard to track down problems.

23:46 <Algebr> its ridiculously hard to debug

23:46 <Algebr> so is one trick to daemonize before anything else? before lwt_main.run?

23:47 badon has quit [Quit: Leaving]

23:48 tane has quit [Quit: Verlassend]

23:55 <ollehar> can I compare two variants without comparing their content?

23:55 <ollehar> Int i = Int j

23:55 <ollehar> OK if both are Int

23:55 <ollehar> Int i = Float j

23:55 <ollehar> not OK

23:56 <Algebr> I guess the poly compares will do it variant vs variant frst, then their contents, someone prolly knows better

23:56 <Algebr> aka, try it

23:57 <ollehar> poly compares?

23:57 <ollehar> googling it

23:58 <Algebr> i mean < > = <>

23:58 <ollehar> ok