#ocaml on 2019-03-01 — 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:17 kvda has joined #ocaml

00:25 haesbaert has quit [Remote host closed the connection]

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

01:44 wilfredh has quit [Quit: Connection closed for inactivity]

02:19 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:22 kvda has joined #ocaml

02:46 wham has quit [Ping timeout: 246 seconds]

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

03:20 tormen has joined #ocaml

03:22 kvda has joined #ocaml

03:23 tormen_ has quit [Ping timeout: 246 seconds]

03:26 mfp has quit [Ping timeout: 240 seconds]

03:26 dtornabene has joined #ocaml

03:29 <dtornabene> hey does anyone know how to find where a function comes from, from within utop?

03:30 AnAverageHuman has joined #ocaml

03:55 wham has joined #ocaml

04:16 olle has joined #ocaml

04:31 groovy2shoes has quit [Remote host closed the connection]

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

04:57 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:01 kakadu_ has joined #ocaml

05:04 kakadu has quit [Ping timeout: 268 seconds]

05:06 kakadu_ has quit [Ping timeout: 255 seconds]

05:07 kakadu_ has joined #ocaml

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

05:15 ggole has joined #ocaml

05:37 dtornabene has quit [Remote host closed the connection]

06:59 mildtaste has joined #ocaml

07:10 freyr69 has joined #ocaml

07:11 crowley95 has quit [Ping timeout: 240 seconds]

07:13 jao has quit [Ping timeout: 250 seconds]

07:18 crowley95 has joined #ocaml

07:32 nicoo has quit [Ping timeout: 256 seconds]

07:34 nicoo has joined #ocaml

07:51 _whitelogger_ has joined #ocaml

07:56 olle has quit [Ping timeout: 255 seconds]

08:16 asymptotically has joined #ocaml

08:24 _whitelogger has joined #ocaml

08:28 amiloradovsky has joined #ocaml

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

09:20 freyr69 has joined #ocaml

09:41 Serpent7776 has joined #ocaml

09:50 dhil has joined #ocaml

09:58 mildtaste has quit [Ping timeout: 250 seconds]

10:42 mfp has joined #ocaml

10:45 Haudegen has joined #ocaml

11:01 ollehar has joined #ocaml

11:01 ollehar_ has joined #ocaml

11:02 silver has joined #ocaml

11:17 mildtaste has joined #ocaml

11:24 malina has joined #ocaml

11:53 marvin2 has joined #ocaml

11:56 malina has quit [Ping timeout: 268 seconds]

11:58 klntsky has quit [Remote host closed the connection]

11:59 klntsky has joined #ocaml

12:04 malina has joined #ocaml

12:14 emias has quit [Quit: Reboot.]

12:24 emias has joined #ocaml

12:25 dhil has quit [Ping timeout: 255 seconds]

12:31 jao has joined #ocaml

12:32 dhil has joined #ocaml

12:37 themsay has joined #ocaml

12:46 wham has quit [Ping timeout: 250 seconds]

12:52 freyr69 has quit [Ping timeout: 255 seconds]

13:08 q9929t has joined #ocaml

13:16 freyr69 has joined #ocaml

13:22 jaar has joined #ocaml

13:24 Haudegen has quit [Read error: Connection reset by peer]

13:31 dhil has quit [Ping timeout: 250 seconds]

13:35 q9929t has quit [Quit: q9929t]

13:41 FreeBirdLjj has joined #ocaml

13:55 malina has quit [Remote host closed the connection]

13:56 amiloradovsky has quit [Remote host closed the connection]

14:05 unyu has quit [Quit: Reboot.]

14:08 unyu has joined #ocaml

14:13 dhil has joined #ocaml

14:17 spew has joined #ocaml

14:26 Haudegen has joined #ocaml

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

14:55 FreeBirdLjj has joined #ocaml

15:08 unyu has quit [Ping timeout: 258 seconds]

15:17 freyr69 has quit [Remote host closed the connection]

15:19 mildtaste has left #ocaml [#ocaml]

16:04 orbifx has joined #ocaml

16:22 ygrek has joined #ocaml

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

16:26 Jesin has quit [Quit: Leaving]

16:28 Jesin has joined #ocaml

16:29 AnAverageHuman has joined #ocaml

16:34 unyu has joined #ocaml

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

16:47 orbifx has quit [Ping timeout: 258 seconds]

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

16:49 kjak has quit [Ping timeout: 268 seconds]

16:49 wilfredh has joined #ocaml

16:57 kjak has joined #ocaml

17:08 unyu has quit [Ping timeout: 245 seconds]

17:13 AnAverageHuman has quit [Ping timeout: 256 seconds]

17:20 jaar has quit [Quit: Leaving]

17:29 ollehar_ has quit [Ping timeout: 255 seconds]

17:29 ollehar has quit [Ping timeout: 255 seconds]

17:32 unyu has joined #ocaml

17:33 jmiven has quit [Remote host closed the connection]

17:34 jmiven has joined #ocaml

17:38 cantstanya has quit [Remote host closed the connection]

17:40 cantstanya has joined #ocaml

17:50 <jstolarek> how do I write more than one sharing constraint in a module signature?

17:50 <jstolarek> module Foo : (FooSig with type t = P.t and s = R.s) = struct ... end

17:50 <jstolarek> this results in a syntax error

17:50 <jstolarek> though Real World Ocaml says it should work

17:51 <octachron> "and type s ..."

17:51 unyu has quit [Ping timeout: 255 seconds]

17:56 dhil has quit [Ping timeout: 245 seconds]

17:58 <jstolarek> ah... thanks!

18:00 gareppa has joined #ocaml

18:02 gareppa has quit [Remote host closed the connection]

18:14 Haudegen has joined #ocaml

18:30 unyu has joined #ocaml

18:32 dhil has joined #ocaml

18:38 <cemerick> a type-level `with` expression would be neat

18:38 <cemerick> e.g. `type foo' = { foo with field : type }`, etc

18:44 <ggole> You can sort of do that with first-class modules

18:44 <ggole> But it's pretty heavy

18:48 tane has joined #ocaml

18:49 jao has quit [Remote host closed the connection]

18:52 jao has joined #ocaml

18:52 <cemerick> ggole: you mean module includes, etc?

18:53 <ggole> Yeah. You can override or add fields to a module fairly easily.

19:17 orbifx has joined #ocaml

19:27 olle has joined #ocaml

19:28 themsay has joined #ocaml

19:33 themsay has quit [Ping timeout: 250 seconds]

19:35 ravenous_ has joined #ocaml

19:37 kakadu has joined #ocaml

19:41 webshinra_ has joined #ocaml

19:41 webshinra has quit [Remote host closed the connection]

19:43 marvin2 has quit [Ping timeout: 258 seconds]

19:46 orbifx has quit [Ping timeout: 240 seconds]

19:56 ggole has quit [Quit: Leaving]

20:01 tane has quit [Quit: Leaving]

20:01 orbifx has joined #ocaml

20:05 marvin2 has joined #ocaml

20:06 orbifx has quit [Ping timeout: 258 seconds]

20:06 dhil has quit [Ping timeout: 245 seconds]

20:25 wham has joined #ocaml

20:31 wham has quit [Quit: Leaving]

20:37 jnavila has joined #ocaml

20:37 dhil has joined #ocaml

20:55 wham has joined #ocaml

20:55 ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:56 ravenousmoose has joined #ocaml

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

20:59 spew has quit [Quit: going home]

20:59 Haudegen has joined #ocaml

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

21:24 ygrek has quit [Ping timeout: 244 seconds]

21:33 nikivi has quit [Quit: ZNC is awesome]

21:34 nikivi has joined #ocaml

21:50 omarramo has joined #ocaml

21:51 <omarramo> hey guys, if I want to apply a function on a list of tuples via list.map, but I only want to change the first element of each tuple, can I somehow match on the other elements of the tuple with _?

21:51 themsay has joined #ocaml

21:53 <companion_cube> List.map (fun (x,y) -> f x, y) my_list

21:54 <omarramo> but I always need to specify y, right? can't just wildcard it?

21:54 <companion_cube> not if you want it to be in the result

21:55 <omarramo> ok, thanks

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

22:34 Serpent7776 has quit [Quit: leaving]

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

22:39 omarramo has quit [Ping timeout: 244 seconds]

22:44 _whitelogger_ has joined #ocaml

22:45 banjiewen_ has joined #ocaml

22:45 mgsk__ has joined #ocaml

22:45 metadave_ has joined #ocaml

22:45 bitonic_ has joined #ocaml

22:45 l1x_ has joined #ocaml

22:45 Haudegen has joined #ocaml

22:46 hfjvjffju_ has joined #ocaml

22:46 ec_ has joined #ocaml

22:46 timeless_ has joined #ocaml

22:46 timeless has quit [Disconnected by services]

22:46 timeless_ is now known as timeless

22:50 Geekingfrog_ has joined #ocaml

22:51 SegFaultAX_ has joined #ocaml

22:52 _whitelogger has quit [*.net *.split]

22:52 zmt01 has quit [*.net *.split]

22:52 ttt123[m] has quit [*.net *.split]

22:52 copy` has quit [*.net *.split]

22:52 aspiwack[m] has quit [*.net *.split]

22:52 mgsk has quit [*.net *.split]

22:52 bitonic has quit [*.net *.split]

22:52 l1x has quit [*.net *.split]

22:52 hfjvjffju has quit [*.net *.split]

22:52 metadave has quit [*.net *.split]

22:52 ec has quit [*.net *.split]

22:52 banjiewen has quit [*.net *.split]

22:52 Geekingfrog has quit [*.net *.split]

22:52 SegFaultAX has quit [*.net *.split]

22:52 mgsk__ is now known as mgsk

22:52 SegFaultAX_ is now known as SegFaultAX

22:52 banjiewen_ is now known as banjiewen

22:52 bitonic_ is now known as bitonic

22:52 l1x_ is now known as l1x

22:52 hfjvjffju_ is now known as hfjvjffju

22:52 ec_ is now known as ec

22:54 nikivi has quit [Quit: ZNC is awesome]

22:54 nikivi has joined #ocaml

22:56 unyu has quit [Ping timeout: 258 seconds]

22:58 asymptotically has quit [Quit: Leaving]

23:01 copy` has joined #ocaml

23:02 aspiwack[m] has joined #ocaml

23:02 ttt123[m] has joined #ocaml

23:03 dedgrant_ has quit [Quit: Leaving]

23:20 olle has quit [Ping timeout: 245 seconds]

23:32 JimmyRcom has quit [Ping timeout: 244 seconds]

23:33 unyu has joined #ocaml

23:40 _whitelogger has joined #ocaml

23:42 sagax has quit [Ping timeout: 245 seconds]

23:45 JimmyRcom has joined #ocaml

23:46 sagax has joined #ocaml

23:52 JimmyRcom has quit [Quit: Leaving]

23:55 AnAverageHuman has joined #ocaml