#ocaml on 2010-09-30 — irc logs at freenode.irclog.whitequark.org

2010-08-02 14:28 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp

00:01 ccasin has quit [Quit: Leaving]

00:59 valross has joined #ocaml

01:14 jakedouglas has quit [Quit: Leaving.]

02:05 mfp has quit [Ping timeout: 245 seconds]

02:12 jakedouglas has joined #ocaml

02:17 mfp has joined #ocaml

02:38 valross has quit [Remote host closed the connection]

02:48 valross has joined #ocaml

03:27 jakedouglas has quit [Quit: Leaving.]

03:58 _unK has quit [Remote host closed the connection]

04:14 jakedouglas has joined #ocaml

04:39 ulfdoz has joined #ocaml

05:30 jakedouglas has quit [Quit: Leaving.]

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

06:18 f[x] has joined #ocaml

06:20 oc13 has joined #ocaml

06:27 valross has quit [Remote host closed the connection]

06:28 gildor has quit [Ping timeout: 276 seconds]

06:30 gildor has joined #ocaml

06:40 Yoric has joined #ocaml

06:58 Yoric has quit [Quit: Yoric]

06:59 munga has joined #ocaml

07:09 ftrvxmtrx has quit [Quit: Leaving]

07:13 seafood has quit [Quit: seafood]

07:20 Amorphous has quit [Ping timeout: 276 seconds]

07:26 ttamttam has joined #ocaml

07:30 ikaros has joined #ocaml

07:32 ttamttam has quit [Remote host closed the connection]

07:34 ttamttam has joined #ocaml

07:35 Amorphous has joined #ocaml

08:03 Yoric has joined #ocaml

08:27 munga has quit [Ping timeout: 252 seconds]

08:43 rwmjones_afk has quit [Ping timeout: 245 seconds]

08:58 rwmjones_afk has joined #ocaml

09:05 lpereira has joined #ocaml

09:07 adrien has quit [Quit: leaving]

09:07 adrien has joined #ocaml

09:11 ftrvxmtrx has joined #ocaml

09:24 ikaros has quit [Quit: Leave the magic to Houdini]

09:44 Axsuul has quit []

09:46 sepp2k has joined #ocaml

09:58 verte has joined #ocaml

09:59 verte has left #ocaml []

10:03 barismetin has joined #ocaml

10:17 munga has joined #ocaml

10:29 munga has quit [Ping timeout: 255 seconds]

10:48 Yoric has quit [Read error: Connection reset by peer]

10:49 Yoric has joined #ocaml

10:57 yezariaely has joined #ocaml

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

11:23 Yoric has joined #ocaml

11:26 Yoric has quit [Read error: Connection reset by peer]

11:34 munga has joined #ocaml

11:45 unenana has joined #ocaml

11:46 unenana has quit [Client Quit]

12:03 Yoric has joined #ocaml

12:03 munga has quit [Ping timeout: 245 seconds]

12:19 orbitz has quit [Ping timeout: 240 seconds]

12:27 lpereira has quit [Quit: Leaving.]

12:32 joewilliams_away is now known as joewilliams

12:45 joewilliams is now known as joewilliams_away

12:45 joewilliams_away is now known as joewilliams

13:03 _unK has joined #ocaml

13:04 th5 has joined #ocaml

13:12 munga has joined #ocaml

13:25 munga has quit [Read error: Connection reset by peer]

13:26 mjonsson has quit [Remote host closed the connection]

13:33 joewilliams is now known as joewilliams_away

13:37 ccasin has joined #ocaml

13:54 th5 has quit [Quit: th5]

14:00 jakedouglas has joined #ocaml

14:11 seafood has joined #ocaml

14:32 avsm has joined #ocaml

14:38 ikaros has joined #ocaml

14:51 seafood has quit [Quit: seafood]

15:15 munga has joined #ocaml

15:44 Yoric_ has joined #ocaml

15:44 Yoric has quit [Read error: Connection reset by peer]

15:44 Yoric_ is now known as Yoric

15:45 ikaros has quit [Quit: Leave the magic to Houdini]

15:46 <yezariaely> yesterday I asked a question on type comparison which was not really well described. I try it again now:

15:46 ikaros has joined #ocaml

15:47 <yezariaely> If i have a type abc = a | b | c | ... I can differentiate using a match x with ... expression.

15:47 <yezariaely> is it possible to use a if expression instead of a match to compare to get to know if x is of type abc created with constructor a ?

15:49 <yezariaely> the intention is, that I have a large type and simply want to know if 1 constructor fits, and if not, then an exception is thrown.

15:49 <yezariaely> however this will produce a nested match for my code and I wanted to replace the inner match by a smaller and nicer readable "if" if possible

15:53 <yezariaely> to clarify: http://pastebin.com/Fd7ys3MR

16:11 <thelema> match a with T1 e when anotherfun e -> "good" | T1 _ -> failwith "bad"

16:11 <thelema> but that's not quite what you want

16:13 <thelema> if you want [ match a with T1 e -> (match anotherfun e with T1 _ -> good | _ -> bad)], there's no builtin shortcut

16:14 <thelema> you could do [ match a with T1 e when typeof e = TypeT1 -> "good" ]

16:15 <thelema> given a typeof function that converts from a discriminated union with arguments to one without

16:15 <thelema> but you'd have to write this (despite my occasional desires for this too)

16:20 ztfw has joined #ocaml

16:34 Yoric has quit [Quit: Yoric]

16:47 ikaros has quit [Quit: Leave the magic to Houdini]

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

16:50 ftrvxmtrx has quit [Quit: Leaving]

16:52 init1 has joined #ocaml

16:52 ttamttam has quit [Remote host closed the connection]

17:03 ikaros has joined #ocaml

17:04 jonafan has joined #ocaml

17:05 nimred has quit [Quit: Lost terminal]

17:08 ulfdoz has joined #ocaml

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

17:13 ikaros has quit [Quit: Leave the magic to Houdini]

17:14 fraggle_laptop has quit [Quit: Quitte]

17:16 ikaros has joined #ocaml

17:20 Yoric has joined #ocaml

17:24 nimred has joined #ocaml

17:39 ygrek has joined #ocaml

17:45 yezariaely has quit [Quit: Leaving.]

17:48 munga has quit [Ping timeout: 265 seconds]

17:51 joewilliams_away is now known as joewilliams

17:53 sepp2k has joined #ocaml

18:14 ygrek has quit [Ping timeout: 245 seconds]

18:19 avsm has quit [Quit: Leaving.]

18:19 ftrvxmtrx has joined #ocaml

18:19 munga has joined #ocaml

18:25 <flux> hmph, this is most annoying

18:25 <flux> the results of my Lwt.pick [..] vary depending on the order of the values in the list

18:26 <flux> I suppose I need to reproduce that in a smaller test case to figure it out :)

18:28 ygrek has joined #ocaml

18:41 ulfdoz has quit [Ping timeout: 265 seconds]

18:42 ulfdoz has joined #ocaml

18:52 <flux> hmm, I think I'm having the followint pattern:

18:53 <flux> Lwt.pick [Lwt_mvar.take a; Lwt_mvar.take b] is waiting for stuff

18:53 <flux> both a and b get stuff

18:54 <flux> a gets woken b's taken value is discarded

18:54 <flux> so I would need to use npick, but that isn't quite the same.

18:55 <flux> and I wonder how to fix this.. still need to build a minimal test case first, I suppose.

18:57 <flux> but I did annotate lwt_mvar properly and I'm getting:

18:57 <flux> take:Mvar has no contents, blocking

18:57 <flux> put:stuff put in

18:57 <flux> take:cancelled

18:57 <flux> take:Mvar has no contents, blocking

18:58 <flux> (hmph, but that might be misleading)

19:08 joewilliams is now known as joewilliams_away

19:12 init1 has quit [Quit: Quitte]

19:31 <flux> I think I've got it: http://modeemi.fi/~flux/lwttest.ml - why doesn't this output C?

19:32 hcarty has quit [Read error: Connection reset by peer]

19:47 <diml> flux: when all threads are terminated, Lwt.pick choose one at random. Try to add Random.self_init () at the beginning of your program

20:02 easy4 has quit [Ping timeout: 252 seconds]

20:17 ulfdoz has quit [Ping timeout: 240 seconds]

20:17 ulfdoz has joined #ocaml

20:23 avsm has joined #ocaml

20:23 lpereira has joined #ocaml

20:26 hto has joined #ocaml

20:28 easy4 has joined #ocaml

20:33 ftrvxmtrx has quit [Read error: Connection reset by peer]

20:46 oc13 has quit [Ping timeout: 265 seconds]

20:52 ftrvxmtrx has joined #ocaml

20:52 easy4 has quit [Ping timeout: 240 seconds]

20:53 sepp2k has quit [Quit: sepp2k]

21:15 ygrek has quit [Ping timeout: 245 seconds]

21:18 avsm has quit [Quit: Leaving.]

21:29 nagnatron has joined #ocaml

21:31 ztfw has quit [Remote host closed the connection]

21:32 ikaros has quit [Quit: Leave the magic to Houdini]

21:42 avsm has joined #ocaml

21:47 Yoric has quit [Quit: Yoric]

21:50 avsm has quit [Quit: Leaving.]

21:51 rossberg_ has quit [Ping timeout: 240 seconds]

22:22 ccasin has quit [Quit: Leaving]

22:25 ulfdoz has quit [Ping timeout: 240 seconds]

22:26 valross has joined #ocaml

22:29 seafood has joined #ocaml

22:34 mjonsson has joined #ocaml

23:08 easy4 has joined #ocaml

23:12 wuj has joined #ocaml

23:20 munga has quit [Ping timeout: 264 seconds]

23:31 orbitz has joined #ocaml

23:31 wuj has quit [Remote host closed the connection]

23:34 wuj has joined #ocaml

23:37 ftrvxmtrx has quit [Ping timeout: 255 seconds]

23:39 nagnatron has left #ocaml []

23:40 avsm has joined #ocaml

23:46 valross has quit [Remote host closed the connection]

23:49 ftrvxmtrx has joined #ocaml

23:52 wuj has quit [Read error: Connection reset by peer]