#ocaml on 2011-08-21 — irc logs at freenode.irclog.whitequark.org

2011-07-12 19:41 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH

00:00 hcarty__ has joined #ocaml

00:00 hcarty__ has quit [Client Quit]

00:15 ulfdoz_ has joined #ocaml

00:19 ulfdoz has quit [Ping timeout: 252 seconds]

00:19 ulfdoz_ is now known as ulfdoz

00:44 Boscop has quit [Ping timeout: 240 seconds]

00:45 mnabil has quit [Read error: Connection reset by peer]

00:45 mnabil has joined #ocaml

01:02 Boscop has joined #ocaml

01:03 lopex has quit []

01:06 Boscop has quit [Ping timeout: 258 seconds]

01:29 mnabil has quit [Read error: Operation timed out]

02:04 BiDOrD_ has joined #ocaml

02:04 BiDOrD has quit [Read error: Operation timed out]

02:06 sebz has joined #ocaml

02:25 <thelema> "Functional programming is hard, that's why it's good" -- http://dave.fayr.am/posts/2011-08-19-lets-go-shopping.html

02:51 junsuijin has joined #ocaml

03:08 jimmyrcom has quit [Ping timeout: 240 seconds]

03:11 mjonsson has quit [Remote host closed the connection]

04:09 arubin has quit [Quit: arubin]

05:26 junsuijin has quit [Read error: Connection reset by peer]

05:33 micro has joined #ocaml

05:47 BiDOrD has joined #ocaml

05:47 BiDOrD_ has quit [Ping timeout: 258 seconds]

06:46 mnabil has joined #ocaml

06:54 ygrek has joined #ocaml

07:13 dnolen has quit [Quit: dnolen]

07:16 edwin has joined #ocaml

07:18 blinky- has joined #ocaml

07:46 Cyanure has joined #ocaml

08:14 blinky- has quit [Ping timeout: 260 seconds]

08:31 Boscop has joined #ocaml

08:43 Associat0r has joined #ocaml

08:43 Associat0r has quit [Changing host]

08:43 Associat0r has joined #ocaml

08:46 edwin has quit [Read error: Connection reset by peer]

08:47 edwin has joined #ocaml

08:50 Boscop_ has joined #ocaml

08:51 ygrek has quit [Remote host closed the connection]

08:52 Boscop has quit [Ping timeout: 268 seconds]

08:52 zorun has joined #ocaml

08:55 ygrek has joined #ocaml

09:07 mnabil has quit [Read error: Connection reset by peer]

09:09 Boscop__ has joined #ocaml

09:10 Boscop_ has quit [Ping timeout: 252 seconds]

09:11 ikaros has joined #ocaml

09:23 mnabil has joined #ocaml

09:44 ftrvxmtrx has joined #ocaml

09:58 Boscop__ is now known as Boscop

09:59 Boscop has quit [Changing host]

09:59 Boscop has joined #ocaml

10:01 lopex has joined #ocaml

10:01 ygrek has quit [Remote host closed the connection]

10:18 ygrek has joined #ocaml

10:39 jimmyrcom has joined #ocaml

10:49 jimmyrcom has left #ocaml []

11:00 sebz has quit [Quit: Computer has gone to sleep.]

11:00 Anarchos has joined #ocaml

11:29 lopex has quit []

11:33 jimmyrcom has joined #ocaml

11:35 Associat0r has quit [Quit: Associat0r]

11:39 ikaros has quit [Remote host closed the connection]

11:47 ikaros has joined #ocaml

11:55 sebz has joined #ocaml

11:58 asmanur_ has joined #ocaml

13:16 arubin has joined #ocaml

13:17 arubin has quit [Client Quit]

13:17 arubin has joined #ocaml

13:40 Modius has quit [Quit: "Object-oriented design" is an oxymoron]

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

14:13 <adrien> hi, I'm having lots of troubles with "module type", it seems to be impossible (or at least hard) to express some things

14:15 <adrien> currently, I'm trying to nest "module type" : http://vpaste.net/UlzFy?ft=ocaml&bg=dark but get an error when declaring "val x": http://vpaste.net/UlzFy?ft=ocaml&bg=dark

14:15 <adrien> I simply cannot find how to write that, any idea?

14:19 <adrien> ah, ok, I've been pointed in the right direction: inside a "module type X = sig ...", use "module Y : sig ..." for submodules

14:41 ygrek has quit [Remote host closed the connection]

14:42 ygrek has joined #ocaml

14:55 mehdid has quit [Ping timeout: 246 seconds]

14:59 Boscop_ has joined #ocaml

15:01 Boscop has quit [Ping timeout: 240 seconds]

15:03 Boscop__ has joined #ocaml

15:06 Boscop_ has quit [Ping timeout: 268 seconds]

15:18 joewilliams_away is now known as joewilliams

15:23 Boscop__ is now known as Boscop

15:23 Boscop has quit [Changing host]

15:23 Boscop has joined #ocaml

15:28 sebz has quit []

15:29 joewilliams is now known as joewilliams_away

15:32 mnabil has quit [Read error: Connection reset by peer]

15:33 dnolen has joined #ocaml

15:33 mnabil has joined #ocaml

15:48 khia0 has joined #ocaml

15:48 khia0 has left #ocaml []

15:57 bobry has quit [Quit: Leaving.]

16:00 bobry has joined #ocaml

16:08 mehdid has joined #ocaml

16:23 iratsu has joined #ocaml

16:28 iratsu has quit [Ping timeout: 240 seconds]

16:30 Boscop_ has joined #ocaml

16:33 Boscop has quit [Ping timeout: 260 seconds]

16:35 sebz has joined #ocaml

16:40 Boscop_ is now known as Boscop

16:40 iratsu has joined #ocaml

17:13 avsm has joined #ocaml

17:18 avsm has quit [Client Quit]

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

17:36 edwin has joined #ocaml

17:41 edwin has quit [Remote host closed the connection]

17:47 Cyanure has quit [Read error: Operation timed out]

17:49 Dima_ has joined #ocaml

17:57 lopex has joined #ocaml

17:59 Dima_ has quit [Remote host closed the connection]

18:16 Dima_ has joined #ocaml

18:16 ttamttam has joined #ocaml

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

18:31 iratsu has quit [Ping timeout: 240 seconds]

18:35 ttamttam has quit [Quit: Leaving.]

18:41 Dima_ has quit [Quit: Colloquy for iPad - http://colloquy.mobi]

18:51 Boscop has quit [Ping timeout: 264 seconds]

18:54 Dima_ has joined #ocaml

19:05 Dima_ has quit [Quit: Colloquy for iPad - http://colloquy.mobi]

19:08 ulfdoz has quit [Ping timeout: 252 seconds]

19:11 edwin has joined #ocaml

19:30 blinky- has joined #ocaml

19:52 ftrvxmtrx has quit [Quit: This computer has gone to sleep]

20:28 eb4890 has joined #ocaml

20:52 edwin has quit [Remote host closed the connection]

21:05 blinky- has quit [Read error: Operation timed out]

21:11 dnolen has quit [Quit: dnolen]

21:28 sebz has quit [Quit: Computer has gone to sleep.]

21:29 sebz has joined #ocaml

21:39 Morphous has quit [Ping timeout: 240 seconds]

21:43 avsm has joined #ocaml

21:54 Morphous has joined #ocaml

22:05 mattam has quit [Ping timeout: 240 seconds]

22:26 malouin has quit [Ping timeout: 252 seconds]

22:35 avsm has quit [Quit: Leaving.]

22:40 mbac has joined #ocaml

23:06 sebz has quit [Quit: Computer has gone to sleep.]

23:09 sebz has joined #ocaml

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

23:16 eb4890 has quit [Ping timeout: 240 seconds]

23:25 dnolen has joined #ocaml

23:34 joewilliams_away is now known as joewilliams

23:37 qdl_ has joined #ocaml

23:39 qdl has quit [Ping timeout: 268 seconds]

23:39 qdl_ is now known as qdl