#ocaml on 2012-12-02 — irc logs at freenode.irclog.whitequark.org

2012-11-01 16:03 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/

00:02 djcoin has quit [Quit: WeeChat 0.3.9.1]

00:05 fraggle_ has quit [Ping timeout: 240 seconds]

00:06 fraggle_ has joined #ocaml

00:32 fraggle_ has quit [Ping timeout: 248 seconds]

00:33 fraggle_ has joined #ocaml

00:35 Neros has quit [Ping timeout: 250 seconds]

00:35 iago has quit [Quit: Leaving]

00:42 eikke has joined #ocaml

00:46 Yoric has joined #ocaml

00:56 eikke has quit [Ping timeout: 255 seconds]

00:56 ulfdoz_ has joined #ocaml

01:00 ulfdoz has quit [Ping timeout: 255 seconds]

01:00 ulfdoz_ is now known as ulfdoz

01:10 jamii has quit [Read error: Connection reset by peer]

01:19 madroach has quit [Ping timeout: 244 seconds]

01:20 tac has quit [Quit: Page closed]

01:21 madroach has joined #ocaml

01:22 Yoric has quit [Ping timeout: 265 seconds]

01:45 eikke has joined #ocaml

01:54 lolcathost has quit [Ping timeout: 256 seconds]

02:03 testcocoon has quit [Ping timeout: 276 seconds]

02:17 eikke has quit [Ping timeout: 265 seconds]

02:17 paolooo has joined #ocaml

02:18 paolooo has quit [Client Quit]

02:18 paolooo has joined #ocaml

02:49 lolcathost has joined #ocaml

04:14 fantasticsid has joined #ocaml

04:18 fantasticsid has quit [Remote host closed the connection]

04:19 fantasticsid has joined #ocaml

04:28 mattrepl has quit [Quit: mattrepl]

04:59 Yoric has joined #ocaml

05:45 ikaros has joined #ocaml

05:49 Kakadu has joined #ocaml

05:57 sepp2k1 has quit [Remote host closed the connection]

05:57 Submarine has joined #ocaml

05:57 Submarine has quit [Changing host]

05:57 Submarine has joined #ocaml

06:19 lolcathost has quit [Quit: lag]

06:19 lolcathost has joined #ocaml

06:20 ikaros has quit [Quit: Ex-Chat]

06:28 paolooo has quit [Quit: Page closed]

07:00 Yoric has quit [Ping timeout: 260 seconds]

07:02 leoncamel has joined #ocaml

07:09 testcocoon has joined #ocaml

07:22 Vinnipeg has joined #ocaml

07:39 lolcathost has quit [Ping timeout: 255 seconds]

07:45 lolcathost has joined #ocaml

08:02 Vinnipeg has quit [Quit: Leaving.]

08:03 Yoric has joined #ocaml

08:16 leoncamel has quit [Ping timeout: 265 seconds]

08:29 leoncamel has joined #ocaml

08:56 answer_42 has joined #ocaml

09:28 milosn has quit [Read error: No route to host]

09:29 milosn has joined #ocaml

09:51 answer_42 has quit [Ping timeout: 276 seconds]

10:22 tane has joined #ocaml

10:22 answer_42 has joined #ocaml

10:39 lolcathost has quit [Ping timeout: 244 seconds]

10:40 lolcathost has joined #ocaml

10:44 Neros has joined #ocaml

10:45 lolcathost has quit [Ping timeout: 256 seconds]

10:51 lolcathost has joined #ocaml

10:51 ontologiae has joined #ocaml

10:57 Xizor has joined #ocaml

11:03 lolcathost has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]

11:04 lolcathost has joined #ocaml

11:05 fantasticsid has quit [Ping timeout: 264 seconds]

11:07 cdidd has quit [Ping timeout: 250 seconds]

11:42 Neros has quit [Remote host closed the connection]

11:46 jewel has joined #ocaml

11:53 eikke has joined #ocaml

11:54 Oejet has joined #ocaml

12:07 eikke has quit [Ping timeout: 250 seconds]

12:12 fantasticsid has joined #ocaml

12:24 eni has joined #ocaml

12:28 ikaros has joined #ocaml

12:51 nze has joined #ocaml

12:52 <nze> hi

12:54 <nze> is it possible to apply a when guard only to one matching condition? like in | case0 | (case1 when sometest) -> same_result

12:55 <nze> this syntax gives me a « Syntax error: ')' expected, the highlighted '(' might be unmatched »

12:56 <nze> what i want is "if ((case0 is matched) or (case1 is matched and sometest is true)) then same_result"

13:02 <Qrntz> nze, a «when» guard can only attach to the entire match case, not individual patterns

13:06 <nze> then i'll have to add some dead branches just for exhaustiveness :/

13:16 <Qrntz> yep, afraid that is the case

13:23 ontologiae has quit [Ping timeout: 260 seconds]

13:40 ontologiae has joined #ocaml

13:52 ak0s has joined #ocaml

14:07 <adrien> I'm unable to git clone http://git.ocamlcore.org/yypkg/yypkg.git

14:07 <adrien> and this has been the case for several weeks now

14:07 <adrien> is anyone experiencing similar issues?

14:08 <adrien> actually it depends on the computer I use

14:08 <adrien> hmmmmmm

14:09 <adrien> but I can clone other repositories

14:10 <flux> works for me(TM), but it was a bit slow

14:11 Snark has joined #ocaml

14:14 hongboz has joined #ocaml

14:17 Yoric has quit [Ping timeout: 256 seconds]

14:19 <adrien> hah!

14:19 <adrien> strace <3

14:19 <adrien> 26328 16:17:26.178637 --- SIGSEGV (Segmentation fault) @ 0 (0) ---

14:21 hongboz has quit [Ping timeout: 244 seconds]

14:26 <adrien> could well be:

14:26 <adrien> * "git fetch" over the dumb-http revision walker could segfault when

14:26 <adrien> curl's multi interface was used.

14:37 eni has quit [Ping timeout: 245 seconds]

14:38 Ptival has quit [Remote host closed the connection]

14:48 mye has joined #ocaml

15:04 mattrepl has joined #ocaml

15:18 Yoric has joined #ocaml

15:20 Yoric has quit [Client Quit]

15:20 Yoric has joined #ocaml

15:27 fantasticsid has quit [Remote host closed the connection]

15:27 justdit has joined #ocaml

15:44 Oejet has quit [Ping timeout: 256 seconds]

15:49 lolcathost has quit [Ping timeout: 265 seconds]

15:57 Neros has joined #ocaml

15:58 justdit has quit [Read error: Operation timed out]

16:04 paolooo has joined #ocaml

16:08 sepp2k has joined #ocaml

16:10 vbmithr has quit [Quit: leaving]

16:14 paolooo has quit [Quit: Page closed]

16:14 Ptival has joined #ocaml

16:15 paolooo has joined #ocaml

16:34 BiDOrD_ has joined #ocaml

16:35 BiDOrD has quit [Ping timeout: 252 seconds]

16:35 vbmithr has joined #ocaml

16:43 philed` has joined #ocaml

16:44 philed has quit [Ping timeout: 246 seconds]

16:46 larhat1 has quit [Quit: Leaving.]

16:49 larhat has joined #ocaml

16:51 flux has quit [Ping timeout: 250 seconds]

16:53 flux has joined #ocaml

16:54 paolooo has quit [Quit: Page closed]

17:07 larhat has quit [Quit: Leaving.]

17:51 eni has joined #ocaml

18:02 larhat has joined #ocaml

18:10 cdidd has joined #ocaml

18:14 Snark has quit [Quit: Quitte]

18:33 eikke has joined #ocaml

18:35 cdidd has quit [Read error: Connection reset by peer]

18:38 mye has quit [Quit: mye]

18:43 jamii has joined #ocaml

18:43 jamii has quit [Read error: Connection reset by peer]

18:44 jamii has joined #ocaml

18:55 jewel has quit [Ping timeout: 264 seconds]

19:03 cdidd has joined #ocaml

19:18 ak0s has quit [Quit: Leaving]

19:30 Neros has quit [Read error: Connection reset by peer]

19:33 jamii has quit [Quit: Leaving]

19:33 Neros has joined #ocaml

19:33 jamii has joined #ocaml

19:34 tane has quit [Quit: Verlassend]

19:56 answer_42 has quit [Quit: WeeChat 0.3.9.2]

19:58 myx has joined #ocaml

19:59 jpdeplaix has quit [Ping timeout: 255 seconds]

20:01 jpdeplaix has joined #ocaml

20:02 sepp2k1 has joined #ocaml

20:04 sepp2k has quit [Ping timeout: 245 seconds]

20:08 weie has quit [Quit: Leaving...]

20:08 mye has joined #ocaml

20:14 jamii has quit [Quit: Leaving]

20:15 eikke has quit [Read error: Connection reset by peer]

20:15 milosn has quit [Ping timeout: 264 seconds]

20:16 milosn has joined #ocaml

20:18 eikke has joined #ocaml

20:22 ftrvxmtrx has quit [Quit: Leaving]

20:36 Kakadu has quit []

20:43 treepwood has joined #ocaml

20:44 nze has left #ocaml []

20:47 mye_ has joined #ocaml

20:50 mye has quit [Ping timeout: 245 seconds]

20:50 mye_ is now known as mye

21:08 TDJACR has quit [Remote host closed the connection]

21:19 myx has quit [Ping timeout: 252 seconds]

21:23 ImAlsoGreg has quit [Remote host closed the connection]

21:32 ikaros has quit [Quit: Ex-Chat]

21:40 eni has quit [Quit: Leaving]

21:41 ikaros has joined #ocaml

21:41 Yoric has quit [Ping timeout: 246 seconds]

21:42 BigJ has quit [Ping timeout: 250 seconds]

21:53 Neros has quit [Remote host closed the connection]

22:00 Anarchos has joined #ocaml

22:03 <Anarchos> Who knows ats ?

22:12 Xizor has quit []

22:52 ontologiae has quit [Ping timeout: 255 seconds]

23:03 tac has joined #ocaml

23:30 eikke has quit [Ping timeout: 264 seconds]

23:31 Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]

23:43 Neros has joined #ocaml

23:48 ikaros has quit [Remote host closed the connection]