#ocaml on 2019-10-01 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:02 traviss has joined #ocaml

00:03 weird_error has joined #ocaml

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

00:52 weird_error has quit [Quit: weird_error]

01:00 jimt is now known as Jim7J1AJH

01:19 kvda has joined #ocaml

01:25 _5HT has joined #ocaml

01:30 _5HT has quit [Ping timeout: 268 seconds]

01:37 analogue has joined #ocaml

01:47 nullifidian has quit [Ping timeout: 240 seconds]

01:51 FreeBirdLjj has joined #ocaml

01:54 analogue has quit [Quit: Leaving]

01:58 silver has quit [Read error: Connection reset by peer]

02:08 Jim7J1AJH is now known as jimt

02:09 FreeBird_ has joined #ocaml

02:10 FreeBirdLjj has quit [Ping timeout: 276 seconds]

02:19 jimt is now known as Jim7J1AJH

02:24 <simpson> Hi! Still learning the language. I have a situation that boils down to this short example, playing around at toplevel: https://bpaste.net/show/zdjt This doesn't type-check; how can I help it?

02:25 hvn has joined #ocaml

02:26 FreeBird_ has quit [Remote host closed the connection]

02:29 FreeBirdLjj has joined #ocaml

02:30 tormen has joined #ocaml

02:33 FreeBirdLjj has quit [Ping timeout: 240 seconds]

02:34 tormen_ has quit [Ping timeout: 265 seconds]

02:37 <lyxia> module Bar(F : FOO with type t = unit) : BAR with type t = unit = struct type t = F.t let g = F.f end;;

02:37 <lyxia> simpson: ^

02:38 FreeBirdLjj has joined #ocaml

02:40 Jim7J1AJH is now known as jimt

02:52 <simpson> lyxia: Interesting. Thank you.

03:05 nullifidian has joined #ocaml

03:16 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

03:19 FreeBirdLjj has joined #ocaml

03:19 kvda has joined #ocaml

03:25 FreeBirdLjj has quit [Ping timeout: 245 seconds]

03:34 mfp has quit [Ping timeout: 265 seconds]

03:43 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:44 kvda has joined #ocaml

03:56 _5HT has joined #ocaml

04:00 _5HT has quit [Ping timeout: 240 seconds]

04:03 jack5638 has quit [Ping timeout: 265 seconds]

04:04 jack5638 has joined #ocaml

04:14 gravicappa has joined #ocaml

04:15 hvn has quit [Ping timeout: 265 seconds]

04:17 mbuf has joined #ocaml

04:21 hvn has joined #ocaml

04:26 hvn has quit [Ping timeout: 240 seconds]

04:29 FreeBirdLjj has joined #ocaml

04:34 FreeBirdLjj has quit [Ping timeout: 265 seconds]

04:36 hvn has joined #ocaml

04:41 hvn has quit [Ping timeout: 245 seconds]

04:48 hvn has joined #ocaml

04:53 hvn has quit [Ping timeout: 240 seconds]

04:58 narimiran has joined #ocaml

05:04 hvn has joined #ocaml

05:11 hvn has quit [Ping timeout: 245 seconds]

05:15 jack5638 has quit [Ping timeout: 240 seconds]

05:16 jack5638 has joined #ocaml

05:22 hvn has joined #ocaml

05:27 hvn has quit [Ping timeout: 240 seconds]

05:41 Haudegen has joined #ocaml

05:43 hvn has joined #ocaml

05:49 gareppa has joined #ocaml

05:50 FreeBirdLjj has joined #ocaml

05:51 iovec has joined #ocaml

05:55 FreeBirdLjj has quit [Ping timeout: 240 seconds]

06:49 bartholin has quit [Remote host closed the connection]

07:05 bartholin has joined #ocaml

07:10 barockobamo has joined #ocaml

07:11 Serpent7776 has joined #ocaml

07:14 hvn has quit [Ping timeout: 268 seconds]

07:15 bartholin has quit [Remote host closed the connection]

07:18 gareppa has quit [Quit: Leaving]

07:21 hvn has joined #ocaml

08:01 iovec has quit [Quit: Connection closed for inactivity]

08:18 vicfred_ has joined #ocaml

08:20 vicfred has quit [Ping timeout: 240 seconds]

08:40 kvda has quit [Quit: Textual IRC Client: www.textualapp.com]

09:09 FreeBirdLjj has joined #ocaml

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

09:23 bitwinery has quit [Quit: Leaving]

09:36 gareppa has joined #ocaml

09:40 gareppa has quit [Remote host closed the connection]

09:43 jack5638 has quit [Ping timeout: 268 seconds]

09:44 jack5638 has joined #ocaml

09:52 mfp has joined #ocaml

10:00 jaar has joined #ocaml

10:09 vicfred_ has quit [Quit: Leaving]

10:10 vicfred has joined #ocaml

10:19 hvn has quit [Ping timeout: 265 seconds]

10:45 gareppa has joined #ocaml

10:54 jaar has quit [Ping timeout: 276 seconds]

10:57 FreeBirdLjj has joined #ocaml

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

11:05 FreeBirdLjj has quit [Ping timeout: 268 seconds]

11:13 FreeBirdLjj has joined #ocaml

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

11:26 <Nikkel> Is there any nice way to get an 'a from an Eliom_shared.S.Value 'a?

11:29 FreeBirdLjj has joined #ocaml

11:30 gravicappa has quit [Ping timeout: 245 seconds]

11:30 kini has quit [Quit: No Ping reply in 180 seconds.]

11:37 kini has joined #ocaml

11:46 ggole has joined #ocaml

11:51 barockobamo has quit [Remote host closed the connection]

11:55 Haudegen has quit [Quit: Bin weg.]

12:08 jack5638 has quit [Ping timeout: 240 seconds]

12:11 jack5638 has joined #ocaml

12:15 <narimiran> is there a way to make Vim have proper multiline comments, with opening parenthesis only at the start? (i'm using "tpope/vim-commentary", but the best i could do is for every line to have `(* .... *)`, which is not recommended from what i can see)

12:16 barockobamo has joined #ocaml

12:22 jaar has joined #ocaml

12:22 gravicappa has joined #ocaml

12:22 barockobamo has quit [Ping timeout: 246 seconds]

12:35 silver has joined #ocaml

12:42 gareppa has quit [Quit: Leaving]

12:42 gareppa has joined #ocaml

12:47 nullifidian_ has joined #ocaml

12:50 narimiran_ has joined #ocaml

12:50 nullifidian has quit [Ping timeout: 265 seconds]

12:51 narimiran has quit [Ping timeout: 265 seconds]

12:52 zolk3ri has joined #ocaml

12:54 narimiran_ is now known as narimiran

12:59 malina has joined #ocaml

13:04 Haudegen has joined #ocaml

13:16 gareppa has quit [Quit: Leaving]

13:18 <CcxWrk> narimiran: Maybe the Surround plugin would work for you.

13:19 <narimiran> CcxWrk: i have that plugin too, i'll see if i can make it work. (or if you have the working solution already, i would like to hear about it :))

13:20 <CcxWrk> Not really.

13:26 gravicappa has quit [Ping timeout: 265 seconds]

13:29 gareppa has joined #ocaml

13:30 gareppa has quit [Client Quit]

13:33 sagax has quit [Read error: Connection reset by peer]

13:40 count3rmeasure has joined #ocaml

13:42 gahr has quit [Quit: leaving]

13:43 gahr has joined #ocaml

13:43 count3rmeasure has quit [Client Quit]

13:43 count3rmeasure has joined #ocaml

13:44 sagax has joined #ocaml

13:49 gareppa has joined #ocaml

13:52 gareppa has quit [Remote host closed the connection]

13:59 gravicappa has joined #ocaml

14:08 barockobamo has joined #ocaml

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

14:10 FreeBirdLjj has joined #ocaml

14:16 tane has joined #ocaml

14:20 FreeBirdLjj has quit [Remote host closed the connection]

14:21 FreeBirdLjj has joined #ocaml

14:26 FreeBirdLjj has quit [Ping timeout: 240 seconds]

14:26 <porchetta> what does isout mean in the lambda representation?

14:26 <porchetta> is there documentation on the possible functions defined inthe lambda representation?

14:31 <ggole> https://github.com/ocaml/ocaml/blob/trunk/lambda/lambda.mli#L102

14:34 <Armael> lambda is an internal representation, the documentation is the implementation of the compiler

14:43 gareppa has joined #ocaml

14:45 nullifidian_ is now known as nullifidian

15:01 sagax has quit [Quit: Konversation terminated!]

15:02 sagax has joined #ocaml

15:06 zolk3ri has quit [Ping timeout: 260 seconds]

15:28 Serpent7776 has quit [Quit: Leaving]

15:29 FreeBirdLjj has joined #ocaml

15:29 Haudegen has quit [Quit: Bin weg.]

15:34 barockobamo has quit [Remote host closed the connection]

15:35 FreeBirdLjj has quit [Ping timeout: 240 seconds]

15:38 gareppa has quit [Quit: Leaving]

15:39 gareppa has joined #ocaml

15:45 pkkm has joined #ocaml

15:59 smazga has joined #ocaml

16:11 ski has quit [Ping timeout: 264 seconds]

16:18 ski has joined #ocaml

16:24 ziyourenxiang has quit [Ping timeout: 265 seconds]

16:25 spew has joined #ocaml

16:25 threewood has left #ocaml [#ocaml]

16:28 malc_ has joined #ocaml

16:33 AtumT has joined #ocaml

16:42 gareppa has quit [Quit: Leaving]

16:44 GreyFaceNoSpace has quit [Remote host closed the connection]

16:46 Mrbuck has joined #ocaml

16:46 Mrbuck has left #ocaml ["WeeChat 1.4"]

17:11 malina has quit [Remote host closed the connection]

17:16 zolk3ri has joined #ocaml

17:24 j9m has quit [Ping timeout: 265 seconds]

17:25 j9m has joined #ocaml

17:25 mbuf has quit [Quit: Leaving]

17:54 bartholin has joined #ocaml

18:16 jaar has quit [Ping timeout: 240 seconds]

18:17 kakadu has joined #ocaml

18:18 ggole has quit [Quit: Leaving]

18:18 gareppa has joined #ocaml

18:21 jnavila has joined #ocaml

18:40 smazga has quit [Quit: leaving]

19:03 Haudegen has joined #ocaml

19:06 dckc has quit [Ping timeout: 276 seconds]

19:12 traviss has quit [Quit: Leaving]

19:18 vicfred has quit [Quit: Leaving]

19:19 dckc has joined #ocaml

19:20 vicfred has joined #ocaml

19:23 vicfred has quit [Client Quit]

19:29 vicfred has joined #ocaml

19:29 bitwinery has joined #ocaml

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

19:39 count3rmeasure has quit [Quit: Leaving]

19:45 gravicappa has quit [Ping timeout: 240 seconds]

19:50 traviss has joined #ocaml

19:59 KeyJoo has joined #ocaml

20:04 narimiran has quit [Ping timeout: 265 seconds]

20:09 <spew> can someone recommend a way to make a char QCheck.Gen.t that only returns characters in the range A-Z, a-z, 0-9?

20:09 <spew> companion_cube: I'm looking at you buddy

20:10 <spew> QCheck.Gen.printable is too broad

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

20:22 <spew> okay I came up with a way that's not bad

20:28 <spew> this in case anyone is curious: let rec filter c = match c with 'a' .. 'z' -> pure c | _ -> printable >>= filter

20:28 <spew> let me know anyone if you have a better idea

20:31 jnavila has quit [Remote host closed the connection]

20:36 <spew> slightly better: let rec filter chargen = chargen >>= fun c -> match c with 'a' .. 'z' -> pure c | _ -> filter chargen

20:36 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

20:38 Haudegen has joined #ocaml

20:47 tane has quit [Quit: Leaving]

20:56 gareppa has quit [Quit: Leaving]

21:03 malc_` has joined #ocaml

21:04 malc_ has quit [Remote host closed the connection]

21:04 <companion_cube> spew:you could use the integer ranges for the ascii codes, and then `Gen.map Char.chr` it

21:04 <companion_cube> although it's not very nice

21:04 <spew> that would be more efficient

21:05 malc_` has left #ocaml [#ocaml]

21:05 <companion_cube> the problem with filter is that if you do it wrong, you get a non-terminating generator

21:05 <spew> yes, I mean technically it never has to terminate

21:05 <companion_cube> like `filter (fun x -> x < 0) (1 -- 10)`

21:05 <spew> if I get very very unlucky

21:06 <spew> or yeah alternatively if chargen were "pure $"

21:06 <companion_cube> if you write one with the `map Char.chr`, please contribute it ;)

21:06 <spew> pure '$' I mean

21:06 <spew> companion_cube: will do :)

21:07 <spew> if I weren't going to explode with too much work already, that is

21:09 <companion_cube> you might also have to put a filter in the shrink, btw

21:09 <companion_cube> to prevent chars from shrinking below 'a'

21:09 <companion_cube> being shrunk*

21:16 vicfred has joined #ocaml

21:18 kakadu has quit [Remote host closed the connection]

21:33 zapashcanon[m] has joined #ocaml

21:34 zapashcanon has left #ocaml ["WeeChat 2.6"]

22:05 Hrundi_V_Bakshi has joined #ocaml

22:26 nullifidian_ has joined #ocaml

22:30 nullifidian has quit [Ping timeout: 240 seconds]

22:36 nullifidian_ is now known as nullifidian

22:52 AtumT has quit [Ping timeout: 276 seconds]

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

23:17 Hrundi_V_Bakshi has quit [Ping timeout: 245 seconds]

23:19 Haudegen has quit [Ping timeout: 240 seconds]

23:25 nullifidian_ has joined #ocaml

23:26 nullifidian has quit [Read error: Connection reset by peer]

23:31 jbrown has quit [Ping timeout: 276 seconds]

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

23:54 ziyourenxiang has joined #ocaml