#ocaml on 2016-08-28 — irc logs at freenode.irclog.whitequark.org

2016-07-30 19:20 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:06 bruce_r has quit [Ping timeout: 240 seconds]

00:19 breitenj has joined #ocaml

00:26 breitenj has quit [Ping timeout: 264 seconds]

00:26 bruce_r has joined #ocaml

00:44 Algebr` has quit [Remote host closed the connection]

00:47 rgrinberg has joined #ocaml

00:54 silver has quit [Quit: rakede]

00:56 breitenj has joined #ocaml

00:57 Algebr` has joined #ocaml

00:58 bruce_r has quit [Ping timeout: 258 seconds]

01:04 breitenj has quit [Ping timeout: 264 seconds]

01:04 jtmcf has quit [Ping timeout: 264 seconds]

01:06 rgrinberg has quit [Ping timeout: 244 seconds]

01:07 pierpa has quit [Ping timeout: 255 seconds]

01:08 bruce_r has joined #ocaml

01:11 jtmcf has joined #ocaml

01:18 Sorella has joined #ocaml

01:26 gyro has joined #ocaml

01:29 <gyro> Is there any way to have an exception of polymorphic type? As in: type exn += AlreadyInMap of 'k val add_but_dont_override: ('k, 'v) map -> 'k -> 'v -> unit

01:29 f[x] has quit [Ping timeout: 258 seconds]

01:30 <Algebr`> I think there was a stackoverflow answer that indirectly did this

01:30 <Algebr`> probably will use a local module

01:31 breitenj has joined #ocaml

01:38 breitenj has quit [Ping timeout: 276 seconds]

02:00 breitenj has joined #ocaml

02:04 <Algebr`> anyone used hopper with ocaml code? useful?

02:06 breitenj has quit [Ping timeout: 260 seconds]

02:32 gyro has quit [Quit: Leaving]

02:35 breitenj has joined #ocaml

02:37 Denommus has joined #ocaml

02:37 <Denommus> anyone there?

02:43 breitenj has quit [Ping timeout: 258 seconds]

03:12 breitenj has joined #ocaml

03:17 Reshi has joined #ocaml

03:17 breitenj has quit [Ping timeout: 265 seconds]

03:20 M-jimt has quit [Ping timeout: 250 seconds]

03:20 evhan` has joined #ocaml

03:20 M-jimt has joined #ocaml

03:20 vinoski_ has joined #ocaml

03:21 sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]

03:21 cantstanya has quit [Ping timeout: 250 seconds]

03:23 smondet_ has joined #ocaml

03:23 Leonidas_ has joined #ocaml

03:23 atsampso1 has joined #ocaml

03:23 pippijn has quit [Ping timeout: 250 seconds]

03:23 mehdib has joined #ocaml

03:24 al-maisan_ has joined #ocaml

03:25 pippijn has joined #ocaml

03:25 alpen- has joined #ocaml

03:25 evhan has quit [Ping timeout: 258 seconds]

03:25 vinoski has quit [Ping timeout: 258 seconds]

03:25 Sorella has quit [Ping timeout: 258 seconds]

03:25 al-maisan has quit [Ping timeout: 258 seconds]

03:25 mankyKitty has quit [Ping timeout: 258 seconds]

03:25 osheeta has quit [Ping timeout: 258 seconds]

03:25 rfv has quit [Ping timeout: 258 seconds]

03:25 msch has quit [Ping timeout: 258 seconds]

03:25 Kakadu2[m] has quit [Ping timeout: 258 seconds]

03:25 smondet has quit [Ping timeout: 258 seconds]

03:25 adi___ has quit [Ping timeout: 258 seconds]

03:25 maker has quit [Ping timeout: 258 seconds]

03:26 atsampson has quit [Ping timeout: 258 seconds]

03:26 Leonidas has quit [Ping timeout: 258 seconds]

03:26 cnu- has quit [Ping timeout: 258 seconds]

03:26 chelfi has quit [Ping timeout: 258 seconds]

03:26 mehdib_ has quit [Ping timeout: 258 seconds]

03:26 alpen has quit [Ping timeout: 258 seconds]

03:26 vinoski_ is now known as vinoski

03:26 Kakadu2[m] has joined #ocaml

03:26 maker1 has joined #ocaml

03:26 osheeta has joined #ocaml

03:27 cnu- has joined #ocaml

03:27 chelfi has joined #ocaml

03:27 Sorella has joined #ocaml

03:27 adi___ has joined #ocaml

03:27 cantstanya has joined #ocaml

03:30 <bruce_r> Hey guys can someone tell me how to do this please:

03:30 <bruce_r> let f () = (`A : [`A])

03:30 mankyKitty has joined #ocaml

03:30 <bruce_r> let g () = (f () :> [> `A])

03:31 <bruce_r> I want g to return [> `A] and not [`A], but this doesn't work

03:31 rfv has joined #ocaml

03:31 msch has joined #ocaml

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

03:47 reynir has quit [Ping timeout: 250 seconds]

03:47 reynir has joined #ocaml

03:49 infinity0 has joined #ocaml

03:53 breitenj has joined #ocaml

04:01 <Drup> replace the second one by

04:01 <Drup> let g () = (f () : [` A] :> [> `A])

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

04:09 FreeBirdLjj has joined #ocaml

04:13 <bruce_r> Thanks Drup, that indeed works.

04:13 <bruce_r> I wonder why the type is needed here

04:22 Heasummn has quit [Quit: Leaving]

04:37 breitenj has joined #ocaml

04:45 breitenj has quit [Ping timeout: 255 seconds]

04:58 ohama has quit [Ping timeout: 264 seconds]

04:58 bruce_r has quit [Ping timeout: 250 seconds]

04:59 ohama has joined #ocaml

05:12 bruce_r has joined #ocaml

05:15 breitenj has joined #ocaml

05:23 breitenj has quit [Ping timeout: 264 seconds]

05:25 breitenj has joined #ocaml

05:30 breitenj has quit [Ping timeout: 252 seconds]

05:40 MercurialAlchemi has joined #ocaml

05:57 breitenj has joined #ocaml

06:02 breitenj has quit [Ping timeout: 264 seconds]

06:19 tane has joined #ocaml

06:21 Algebr` has quit [Ping timeout: 240 seconds]

06:22 Reshi has quit [Quit: WeeChat 1.5]

06:30 d0nn1e has quit [Ping timeout: 265 seconds]

06:31 d0nn1e has joined #ocaml

06:34 copy` has quit [Quit: Connection closed for inactivity]

06:38 parsnip has joined #ocaml

06:39 ggole has joined #ocaml

06:55 breitenj has joined #ocaml

07:06 Algebr` has joined #ocaml

07:07 <Denommus> uh

07:07 tmtwd has quit [Ping timeout: 252 seconds]

07:07 breitenj has quit [Ping timeout: 258 seconds]

07:08 <Denommus> I can't install ocsigen-start

07:08 <Denommus> it requires ocsigen-toolkit, which seems to have broken dependencies

07:20 tmtwd has joined #ocaml

07:22 <Denommus> ah, I had to pin A LOT of other things

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

07:47 Leonidas_ is now known as Leonidas

07:48 <Leonidas> Algebr: what is hopper?

07:49 <Algebr`> Leonidas: the most amazing disassembler

07:49 <Algebr`> Made by a Frenchmen too

07:50 bruce_r has quit [Ping timeout: 264 seconds]

07:53 tmtwd has quit [Ping timeout: 265 seconds]

07:54 tmtwd has joined #ocaml

08:04 breitenj has joined #ocaml

08:15 antranigv has quit [Ping timeout: 244 seconds]

08:17 antranigv has joined #ocaml

08:27 Simn has joined #ocaml

08:29 <Algebr`> its an awesome debugger too

08:47 Denommus has quit [Quit: sleeping]

08:50 tane has quit [Quit: Leaving]

08:57 Algebr` has quit [Ping timeout: 276 seconds]

09:00 tmtwd has quit [Ping timeout: 264 seconds]

09:05 yegods has joined #ocaml

09:07 tmtwd has joined #ocaml

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

09:19 infinity0 has joined #ocaml

09:26 tmtwd has quit [Ping timeout: 244 seconds]

09:27 yegods has quit [Remote host closed the connection]

09:32 tmtwd has joined #ocaml

09:32 LiamGoodacre has joined #ocaml

09:41 f[x] has joined #ocaml

09:47 octachron has joined #ocaml

09:56 tmtwd has quit [Ping timeout: 260 seconds]

10:00 Algebr` has joined #ocaml

10:05 kolko has quit [Quit: ZNC - http://znc.in]

10:06 kolko has joined #ocaml

10:12 f[x] has quit [Ping timeout: 276 seconds]

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

10:40 silver has joined #ocaml

10:53 octachron has quit [Ping timeout: 244 seconds]

11:00 zpe has joined #ocaml

11:03 soupault has joined #ocaml

11:12 tane has joined #ocaml

11:18 rand__ has joined #ocaml

11:33 sdothum has joined #ocaml

11:45 pierpa has joined #ocaml

12:10 Algebr`` has joined #ocaml

12:12 Algebr` has quit [Ping timeout: 260 seconds]

12:29 breitenj has quit [Ping timeout: 260 seconds]

12:37 breitenj has joined #ocaml

12:52 jbrown has quit [Ping timeout: 265 seconds]

12:56 breitenj has quit [Ping timeout: 255 seconds]

12:58 breitenj has joined #ocaml

13:01 octachron has joined #ocaml

13:03 breitenj has quit [Ping timeout: 260 seconds]

13:05 breitenj has joined #ocaml

13:08 octachron has quit [Quit: Leaving]

13:13 breitenj has quit [Ping timeout: 258 seconds]

13:18 breitenj has joined #ocaml

13:19 martinkl_ has joined #ocaml

13:22 jbrown has joined #ocaml

13:27 tane has quit [Quit: Leaving]

13:33 breitenj has quit [Quit: ZNC - 1.6.0 - http://znc.in]

13:48 breitenj has joined #ocaml

14:03 Algebr`` has quit [Ping timeout: 244 seconds]

14:12 rgrinberg has joined #ocaml

14:13 Algebr`` has joined #ocaml

14:19 <Leonidas> Algebr: nice, I'll take a look

14:22 <Algebr``> ya, its awesome

14:32 martinkl_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:03 agarwal1975 has joined #ocaml

15:05 _whitelogger has joined #ocaml

15:16 bruce_r has joined #ocaml

15:21 <tormen> Hmm. I have 2 problems with my Functor where I don't really know how to continue :(

15:21 <tormen> https://paste.debian.net/hidden/c9943b26/

15:24 <tormen> Sorry!

15:24 <tormen> Now with M1 as well :)

15:24 <tormen> https://paste.debian.net/hidden/9723c797/

15:33 <tormen> My 2 problems (described in the pastebin as well): (a) Signature match "t not included in 'a" .... whaaaaat ? ;) (b) How do I deal with a functor function that can get 2 different inputs (depending on the type of functor involved) ?

15:41 jbrown has quit [Ping timeout: 276 seconds]

15:49 copy` has joined #ocaml

15:52 <Algebr``> what happened with that jabber client, is it still working

15:56 <tormen> ... jabber client ?

16:03 soupault has quit [Remote host closed the connection]

16:04 soupault has joined #ocaml

16:05 <Algebr``> hannes made one I thought

16:07 <tormen> ah :)

16:10 jbrown has joined #ocaml

16:13 martinkl_ has joined #ocaml

16:15 <Algebr``> wasn't there a way to recreate everything on a switch quickly? like `opam list | opam switch new -R -A 4.02.3 ` would be nice

16:15 <Algebr``> or apparenly there was a switch import

16:19 soupault has quit [Remote host closed the connection]

16:20 soupault has joined #ocaml

16:21 seliopou has quit [Quit: whaaaat]

16:21 yegods has joined #ocaml

16:22 <rgrinberg> Algebr``: i have this little hack i made - https://github.com/rgrinberg/opam-lock

16:22 <rgrinberg> ymmv

16:22 seliopou has joined #ocaml

16:28 tmtwd has joined #ocaml

16:41 Algebr`` is now known as Algebr`

16:41 tane has joined #ocaml

16:43 <Algebr`> now using this pidgin app for jabber, would prefer the OCaml one, what was it called, termline?

16:50 <tormen> My first problem now a bit more concise: https://paste.debian.net/hidden/bb4ee178/

16:56 <zozozo> tormen: in "val lst : (int32 * 'a) list", you probably don't want 'a

16:59 <zozozo> you'd probably need to have a "type m", and then "val lst : (int32 * m) list"

17:02 <def`> Algebr`: jackline maybe

17:02 <Algebr`> ah right, jackline

17:02 <Algebr`> nothing on opam info jackline

17:13 shinnya has quit [Ping timeout: 240 seconds]

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

17:16 <Armael> Algebr`: you need to add hannes' xmpp opam repository iirc; cf the jackline github page

17:29 <tormen> zozozo: yes! .... re-thinking about it I came to the same conclusion :) Trying it now :))

17:29 <tormen> zozozo: thanks :)))

17:30 <tormen> zozozo: (I realized: I have this value lst which signature changes between M1 and M2 ... and this I need to encapsulate)

17:35 jake__ has joined #ocaml

17:36 jake__ has quit [Client Quit]

17:36 mekaj has joined #ocaml

17:37 mekaj has quit [Client Quit]

17:37 govg has quit [Ping timeout: 276 seconds]

17:37 <tormen> zozozo: How can I deal with the need to have the need for an optional second type in my Functor ?

17:38 <tormen> (like for M1 I only need 1 type, but for M2 I need 2 types)

17:39 <tormen> https://paste.debian.net/793689/

17:41 <tormen> type p_t I only need in the case of the nested version (enum = Nested x)...

17:41 f[x] has joined #ocaml

17:42 <tormen> (I always need my "t" and in case of nested, I have a parent and I also need /his/ t)

17:42 govg has joined #ocaml

17:42 jackweirdy has joined #ocaml

17:44 <tormen> ... I guess I could set type p_t = t (in case where I don't need the parent type ?) ... but this seems somewhat brute force / ugly ;)

17:46 <tormen> Can a Functor take 2 modules as input parameter ? -- something like : module Make_ENUM (M:ENUM_type,P:ENUM_type)

17:49 thizanne has joined #ocaml

17:49 <zozozo> from what I see, you need the p_t, and afterward, you can always constrain it in the type signature of the module

17:57 jbrown has quit [Ping timeout: 255 seconds]

18:06 <tormen> zozozo: hmm what would I constrin p_t to in case I don't actually need a parent_type (p_t) ?

18:07 <zozozo> then you just don't constain it

18:07 tane_ has joined #ocaml

18:07 tane is now known as Guest41182

18:07 Guest41182 has quit [Killed (weber.freenode.net (Nickname regained by services))]

18:07 tane_ is now known as tane

18:08 soupault has quit [Ping timeout: 264 seconds]

18:11 tmtwd has quit [Ping timeout: 255 seconds]

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

18:26 martinkl_ has joined #ocaml

18:30 zpe has quit [Remote host closed the connection]

18:30 zpe has joined #ocaml

18:35 <Algebr`> tormen: yea, you can give more than one Make_Enum (M: A) (P: B)

18:35 zpe has quit [Ping timeout: 276 seconds]

18:44 snowshovel has joined #ocaml

18:46 chris2 has quit [Quit: trotz alledem!]

18:46 picolino has joined #ocaml

18:46 jackweirdy has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

18:46 chris2 has joined #ocaml

18:52 demonimin has quit [Remote host closed the connection]

18:52 jbrown has joined #ocaml

18:58 unbalanced has joined #ocaml

18:58 unbalanced has quit [Client Quit]

19:08 tane has quit [Quit: Leaving]

19:13 tane has joined #ocaml

19:15 zpe has joined #ocaml

19:18 cschneid has quit [Ping timeout: 250 seconds]

19:18 <tormen> Algebr`: Hah. Nice :) Thanks !!!

19:19 <tormen> Is there a way to make printf print an integer in the nice "1_000" format ?

19:19 <Algebr`> I think so?

19:20 <tormen> printf "%ld" 1l does NOT do the trick ;)

19:20 <tormen> How is this syntax called (the 1_000 ? ... I don't know what to search for ;))

19:21 <tormen> s/the 1_000 ?/the 1_000/

19:21 cschneid has joined #ocaml

19:21 <tormen> s/1l/1_000l/ ;)

19:27 soupault has joined #ocaml

19:30 <Algebr`> hmm, europeans using _ instead of , or . ?

19:31 kakadu has joined #ocaml

19:33 <flux> I've never seen _ outside programming languages. ' ' has been used. never '.', though.

19:34 <chris2> 100.000,99 is german

19:36 <Algebr`> I just moved to a country where the , and . are flipped, still getting used to it

19:43 martinkl_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:47 martinkl_ has joined #ocaml

19:50 kakadu has quit []

19:50 kakadu has joined #ocaml

19:56 <pierpa> who uses _ uses it just to be neutral wrt , vs .

19:57 kakadu has quit []

19:58 martinkl_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:02 shinnya has joined #ocaml

20:05 <flux> well, I guess _ makes sense in a programing languages as it results the number being a single token, compared to if ' ' was used

20:11 ggole has quit []

20:21 MercurialAlchemi has quit [Ping timeout: 260 seconds]

20:27 d0nn1e has quit [Ping timeout: 244 seconds]

20:30 d0nn1e has joined #ocaml

20:38 soupault has quit [Remote host closed the connection]

20:47 struktured has joined #ocaml

20:47 parsnip has left #ocaml [#ocaml]

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

20:50 infinity0 has joined #ocaml

20:54 evhan` is now known as evhan

20:56 Nahra has quit [Remote host closed the connection]

21:00 nicoo has quit [Remote host closed the connection]

21:01 tmtwd has joined #ocaml

21:02 struktured has quit [Ping timeout: 264 seconds]

21:11 jackweirdy has joined #ocaml

21:13 f[x] has quit [Ping timeout: 264 seconds]

21:15 jackweirdy has quit [Client Quit]

21:17 martinkl_ has joined #ocaml

21:21 yegods has joined #ocaml

21:22 nicoo has joined #ocaml

21:29 martinkl_ has quit [Quit: Textual IRC Client: www.textualapp.com]

21:29 rand__ has quit [Quit: leaving]

21:36 nicoo has quit [K-Lined]

21:40 nicoo has joined #ocaml

21:45 struktured has joined #ocaml

21:51 tane has quit [Quit: Leaving]

21:59 Heasummn has joined #ocaml

21:59 struktured has quit [Ping timeout: 250 seconds]

22:02 struktured has joined #ocaml

22:04 yegods has quit [Remote host closed the connection]

22:17 struktured has quit [Ping timeout: 276 seconds]

22:19 yegods has joined #ocaml

22:22 yegods_ has joined #ocaml

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

22:25 NhanH has quit [Ping timeout: 264 seconds]

22:26 Sorella has quit [Ping timeout: 264 seconds]

22:26 Kakadu2[m] has quit [Ping timeout: 264 seconds]

22:26 M-martinklepsch has quit [Ping timeout: 264 seconds]

22:26 mbrock has quit [Ping timeout: 264 seconds]

22:27 gasche` has joined #ocaml

22:27 maufred has quit [Ping timeout: 264 seconds]

22:27 gasche has quit [Ping timeout: 264 seconds]

22:27 Madars has quit [Ping timeout: 264 seconds]

22:28 tobiasBora has quit [Ping timeout: 264 seconds]

22:28 _y has quit [Ping timeout: 264 seconds]

22:28 mfp has quit [Ping timeout: 264 seconds]

22:29 Sorella has joined #ocaml

22:29 _y has joined #ocaml

22:30 mbrock has joined #ocaml

22:31 Kakadu2[m] has joined #ocaml

22:31 M-martinklepsch has joined #ocaml

22:32 NhanH has joined #ocaml

22:39 mfp has joined #ocaml

22:40 tobiasBora has joined #ocaml

22:43 maufred has joined #ocaml

22:43 Madars has joined #ocaml

22:46 Simn has quit [Quit: Leaving]

22:52 silver has quit [Quit: rakede]

22:53 tristero has quit [Ping timeout: 276 seconds]

22:56 mrallen1 has quit [Read error: Connection reset by peer]

22:56 NhanH has quit [Ping timeout: 260 seconds]

22:57 jkni has quit [Ping timeout: 276 seconds]

22:57 yunxing has quit [Ping timeout: 265 seconds]

22:57 mbrock has quit [Ping timeout: 255 seconds]

22:58 jmct has quit [Ping timeout: 244 seconds]

22:59 msch has quit [Ping timeout: 255 seconds]

22:59 Sorella has quit [Ping timeout: 258 seconds]

23:00 oldmanistan_ has quit [Ping timeout: 276 seconds]

23:00 rfv has quit [Ping timeout: 255 seconds]

23:03 thizanne has quit [Ping timeout: 265 seconds]

23:09 NhanH has joined #ocaml

23:11 tmtwd has quit [Ping timeout: 265 seconds]

23:16 yunxing has joined #ocaml

23:17 jkni has joined #ocaml

23:26 oldmanistan_ has joined #ocaml

23:26 Sorella has joined #ocaml

23:26 rfv has joined #ocaml

23:28 jmct has joined #ocaml

23:32 mrallen1 has joined #ocaml

23:33 tristero has joined #ocaml

23:33 smondet_ has quit [Ping timeout: 276 seconds]

23:33 mbrock has joined #ocaml

23:35 msch has joined #ocaml

23:37 yegods_ has quit [Remote host closed the connection]

23:40 smondet has joined #ocaml

23:58 smondet has quit [Ping timeout: 255 seconds]

23:58 smondet has joined #ocaml