#ocaml on 2019-03-07 — 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:05 AnAverageHuman has quit [Ping timeout: 256 seconds]

00:11 AnAverageHuman has joined #ocaml

00:21 nullifidian has quit [Ping timeout: 252 seconds]

00:30 pierpal has joined #ocaml

00:34 nullifidian has joined #ocaml

00:41 wham has quit [Remote host closed the connection]

00:54 caltelt has joined #ocaml

01:11 spew has quit [Quit: Connection closed for inactivity]

01:19 AnAverageHuman has quit [Ping timeout: 256 seconds]

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

01:41 nikivi has quit [Quit: ZNC is awesome]

01:44 _habnabit has quit [Ping timeout: 246 seconds]

01:44 jerith has quit [Ping timeout: 246 seconds]

01:44 jerith has joined #ocaml

01:44 cantstanya has quit [Ping timeout: 256 seconds]

01:46 cantstanya has joined #ocaml

01:46 _habnabit has joined #ocaml

01:47 nikivi has joined #ocaml

02:15 bobajett has joined #ocaml

02:21 mfp has quit [Ping timeout: 240 seconds]

02:35 Jesin has joined #ocaml

02:37 nahra has joined #ocaml

03:02 bobajett has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

03:09 AnAverageHuman has joined #ocaml

03:13 jgkamat has quit [Ping timeout: 240 seconds]

03:14 tormen has joined #ocaml

03:18 tormen_ has quit [Ping timeout: 255 seconds]

03:27 jgkamat has joined #ocaml

03:39 Jesin has quit [Quit: Leaving]

03:44 Jesin has joined #ocaml

04:05 govg has joined #ocaml

04:24 hdon has quit [Ping timeout: 240 seconds]

04:26 emias has quit [*.net *.split]

04:26 tsani has quit [*.net *.split]

04:26 stux|RC has quit [*.net *.split]

04:26 adrien has quit [*.net *.split]

04:26 Amaan has quit [*.net *.split]

04:26 vsiles has quit [*.net *.split]

04:26 freusque has quit [*.net *.split]

04:26 lobo has quit [*.net *.split]

04:26 err0ne has quit [*.net *.split]

04:26 eagleflo has quit [*.net *.split]

04:26 orbitz has quit [*.net *.split]

04:26 interaxia has quit [*.net *.split]

04:26 dinosaure has quit [*.net *.split]

04:26 sheijk has quit [*.net *.split]

04:38 marvin2 has quit [Ping timeout: 250 seconds]

04:53 emias has joined #ocaml

04:53 stux|RC has joined #ocaml

04:53 tsani has joined #ocaml

04:53 interaxia has joined #ocaml

04:53 adrien has joined #ocaml

04:53 eagleflo has joined #ocaml

04:53 sheijk has joined #ocaml

04:53 Amaan has joined #ocaml

04:53 vsiles has joined #ocaml

04:53 freusque has joined #ocaml

04:53 orbitz has joined #ocaml

04:53 dinosaure has joined #ocaml

04:53 err0ne has joined #ocaml

04:53 lobo has joined #ocaml

04:57 tg has quit [Ping timeout: 255 seconds]

04:59 tg has joined #ocaml

05:17 Jesin has quit [Quit: Leaving]

05:19 gravicappa has joined #ocaml

05:23 AnAverageHuman has quit [Ping timeout: 256 seconds]

05:52 pierpal has quit [Read error: Connection reset by peer]

06:52 jao has joined #ocaml

06:58 jao has quit [Ping timeout: 240 seconds]

07:10 <aecepoglu[m]> can only recursive calls be tail calls or can any function call be a tail call?

07:22 freyr69 has joined #ocaml

07:23 discord2 has quit [Remote host closed the connection]

07:23 discord has joined #ocaml

07:27 ggole has joined #ocaml

07:36 barockobamo has joined #ocaml

08:06 Haudegen has joined #ocaml

08:10 jao has joined #ocaml

08:13 caltelt has quit [Ping timeout: 255 seconds]

08:15 notnotdan[m] has quit [Remote host closed the connection]

08:15 notnotdan[m] has joined #ocaml

08:25 <def`> any* call in tail position is a tail call

08:28 orbifx has joined #ocaml

08:28 <def`> (because of some restrictions in native compiler, calls with too many arguments won't be tail call. I think too many is 8 or 9 on AMD64

08:42 orbifx has quit [Ping timeout: 245 seconds]

08:59 freyr69 has quit [Ping timeout: 250 seconds]

09:05 ollehar has joined #ocaml

09:07 pippijn has quit [Ping timeout: 245 seconds]

09:14 pippijn has joined #ocaml

09:27 asymptotically has joined #ocaml

09:37 bartholin has joined #ocaml

09:48 mfp has joined #ocaml

09:52 <Leonidas> what is the syntax to rename an optional argument in the signature?

09:52 <Leonidas> `?(foo as bar = false)` doesn't work

09:53 freyr69 has joined #ocaml

09:54 <Leonidas> ah, `?foo:(bar=false)`

09:54 <Leonidas> wild

09:56 <def`> I like foo as bar though, nice try :)

10:06 jao has quit [Ping timeout: 240 seconds]

10:12 _whitelogger has joined #ocaml

10:19 <notnotdan[m]> what does that mean? `?foo:(bar=false)`

10:19 <notnotdan[m]> Which of these two is the name of the argument?

10:20 ziyourenxiang_ has joined #ocaml

10:22 <def`> foo is the label of the argument, bar is the variable the value of the argument will be bound to when called, false is the default value

10:23 <notnotdan[m]> so in the body of the function you use `bar`, but when you call the funciton you use `foo`?

10:23 <def`> yes

10:23 <notnotdan[m]> i see, thanks

10:24 <rks`> def`: and if I want to add a type annotation ?

10:25 <rks`> ah, ?foo:(bar:bool=true) works, great!

10:27 <Armael> wat

10:28 <notnotdan[m]> wow

10:30 <def`> and ?foo:(bar:bool option) if there is no default value :)

10:30 <def`> bar is a pattern, so you con deconstruct values, add constraints, etc.

10:33 <def`> let f ?foo:((module M) : t = (module M')) () = ();; works with first-class modules too :)

10:37 <Leonidas> scary

10:37 kakadu has quit [Ping timeout: 245 seconds]

10:38 <vsiles> creepy

10:40 kakadu has joined #ocaml

10:47 <notnotdan[m]> wow

10:48 kakadu has quit [Ping timeout: 255 seconds]

10:50 <Leonidas> I have a weird issue of updating code from jbuilder to dune where the code stops to build

10:50 kakadu has joined #ocaml

10:52 <Leonidas> this compiles in jbuilder: https://gist.github.com/Leonidas-from-XIV/7dcf27739d3c9da7da41e6d1c7e5876d

10:52 <Leonidas> but does not in dune

10:53 <Leonidas> I don't understand why it thinks 'b is unit :(

10:55 <Armael> what's the type of close? could it be that dune is passing -strict-sequence and jbuilder isn't?

11:00 <Leonidas> Armael: judging by the command line on which if barfs dune is passing -strict-sequence and building in jbuilder does not log anything about it so I assume it doesn't.

11:02 dhil has quit [Ping timeout: 246 seconds]

11:03 <Leonidas> Armael: it is this: https://github.com/didier-wenzek/ocaml-kafka/blob/master/lib_helpers/kafka_producer.ml

11:06 <Leonidas> the only place it is ever used is in the test

11:09 <Leonidas> I don't see where "Force the left-hand part of each sequence to have type unit." would trigger since push has ('a -> unit) and close is on the RHS with (unit -> 'b) and the other branch of the code is just a raise

11:13 <octachron> close is on the LHS of the sequence in the exception branch

11:17 silver has joined #ocaml

11:18 jao has joined #ocaml

11:46 marvin2 has joined #ocaml

11:48 <xvilka> hi! How do I supress warning for "open Module"? "open [@ocaml.warning "-33"] Module" doesn't work

11:49 <xvilka> and in fact the warning is wrong, since it says module is unused, but I use types and functions from it

11:52 <octachron> xvilka, `open[@warning "-33"] M` should work with version 4.06 and later

11:53 <Leonidas> octachron: ah. You're right. Oops

11:54 <Leonidas> sometimes I wonder about my sanity

11:55 <xvilka> octachron: I have OCaml 4.07.1, it doens't

11:56 <xvilka> oh, nevermind

11:56 <xvilka> it works

11:56 <xvilka> I just had second open module in the same file, didn't read the line number

12:13 jao has quit [Ping timeout: 246 seconds]

12:19 asymptotically has quit [Quit: Leaving]

12:42 themsay has joined #ocaml

12:45 freyr69 has quit [Remote host closed the connection]

12:50 dhil has joined #ocaml

12:55 flodin has quit [Read error: Connection reset by peer]

13:00 ygrek has joined #ocaml

13:22 dhil has quit [Ping timeout: 245 seconds]

13:43 themsay has quit [Ping timeout: 246 seconds]

13:49 ygrek has quit [Ping timeout: 245 seconds]

14:06 jao has joined #ocaml

14:25 FreeBirdLjj has joined #ocaml

14:35 dhil has joined #ocaml

14:36 AnAverageHuman has joined #ocaml

14:43 jao has quit [Ping timeout: 250 seconds]

14:46 ygrek has joined #ocaml

14:52 JimmyRcom has quit [Ping timeout: 250 seconds]

15:11 spew has joined #ocaml

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

15:15 JimmyRcom has joined #ocaml

15:25 jao has joined #ocaml

15:37 gahr has joined #ocaml

15:58 jao has quit [Ping timeout: 240 seconds]

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

16:07 jbrown has quit [Ping timeout: 258 seconds]

16:10 jnavila has joined #ocaml

16:21 jnavila has quit [Ping timeout: 246 seconds]

16:26 ziyourenxiang_ has quit [Ping timeout: 250 seconds]

16:28 FreeBirdLjj has quit [Remote host closed the connection]

16:31 amiloradovsky has joined #ocaml

16:36 ollehar has quit [Ping timeout: 244 seconds]

16:36 jao has joined #ocaml

16:41 jnavila has joined #ocaml

16:47 unyu has quit [Quit: fix config]

16:47 unyu has joined #ocaml

16:48 jnavila has quit [Ping timeout: 258 seconds]

16:54 jnavila has joined #ocaml

16:58 barockobamo has quit [Remote host closed the connection]

16:59 Haudegen has quit [Remote host closed the connection]

17:00 assemblyman has joined #ocaml

17:06 jnavila has quit [Ping timeout: 246 seconds]

17:12 Jesin has joined #ocaml

17:40 jao has quit [Ping timeout: 268 seconds]

17:47 Serpent7776 has joined #ocaml

17:49 jnavila has joined #ocaml

17:58 jnavila has quit [Ping timeout: 257 seconds]

18:00 ggole has quit [Quit: Leaving]

18:02 Haudegen has joined #ocaml

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

18:07 SpiceGuid has joined #ocaml

18:10 sagax has quit [Quit: Konversation terminated!]

18:10 sagax has joined #ocaml

18:11 sagax has quit [Client Quit]

18:11 sagax has joined #ocaml

18:17 Haudegen has joined #ocaml

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

18:37 ygrek has quit [Ping timeout: 250 seconds]

18:39 dhil has quit [Ping timeout: 250 seconds]

18:40 SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]

18:43 AnAverageHuman has joined #ocaml

19:03 assemblyman has quit [Quit: ™]

19:11 Denommus has joined #ocaml

19:20 kakadu has joined #ocaml

19:24 gravicappa has quit [Ping timeout: 245 seconds]

19:30 jnavila has joined #ocaml

19:33 tane has joined #ocaml

19:36 ravenousmoose has joined #ocaml

19:39 assemblyman has joined #ocaml

19:52 AnAverageHuman has quit [Ping timeout: 256 seconds]

20:00 jbrown has joined #ocaml

20:03 octachron has quit [Quit: ZNC 1.7.2 - https://znc.in]

20:05 octachron has joined #ocaml

20:06 ygrek has joined #ocaml

20:07 jnavila has quit [Ping timeout: 246 seconds]

20:10 GreyFaceNoSpace has quit [Quit: Ex-Chat]

20:11 SpiceGuid has joined #ocaml

20:13 jnavila has joined #ocaml

20:15 AnAverageHuman has joined #ocaml

20:31 dimitarvp has joined #ocaml

20:32 dimitarvp has quit [Quit: Bye]

20:40 raduom has joined #ocaml

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

20:54 freusque has quit [Quit: WeeChat 2.0]

20:59 ravenousmoose has quit [Ping timeout: 252 seconds]

21:02 amiloradovsky has quit [Remote host closed the connection]

21:02 amiloradovsky has joined #ocaml

21:11 SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]

21:14 hdon has joined #ocaml

21:16 ravenousmoose has joined #ocaml

21:17 SpiceGuid has joined #ocaml

21:17 orbifx has joined #ocaml

21:23 sagax has quit [Read error: Connection reset by peer]

21:34 assemblyman has quit [Quit: ™]

21:39 sagax has joined #ocaml

21:42 SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]

21:46 SpiceGuid has joined #ocaml

21:50 ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:55 jnavila has joined #ocaml

21:55 ygrek has quit [Ping timeout: 250 seconds]

22:03 Serpent7776 has quit [Quit: leaving]

22:08 AnAverageHuman has quit [Ping timeout: 256 seconds]

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

22:21 spew has quit [Quit: going home]

22:25 SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]

22:27 kakadu has quit [Remote host closed the connection]

22:28 AnAverageHuman has joined #ocaml

22:30 SpiceGuid has joined #ocaml

22:50 Denommus has quit [Remote host closed the connection]

22:50 kvda has joined #ocaml

22:53 ravenousmoose has joined #ocaml

22:54 bartholin has quit [Remote host closed the connection]

22:58 ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:36 themsay has joined #ocaml

23:48 AnAverageHuman has quit [Ping timeout: 256 seconds]

23:52 SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]