#ocaml on 2007-10-21 — irc logs at freenode.irclog.whitequark.org

2007-05-23 19:57 mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)

00:10 baruk has joined #ocaml

00:15 jlouis has quit [Remote closed the connection]

00:19 jlouis has joined #ocaml

00:32 hcarty has quit ["leaving"]

00:38 hcarty has joined #ocaml

00:44 <Smerdyakov> I just told you that .mli files can't define types.

00:44 <Smerdyakov> They only impose visibility restrictions on definitions in their corresponding .ml files.

01:07 aij has joined #ocaml

01:13 smimou has quit ["bli"]

01:20 baruk has quit ["leaving"]

01:36 Mr_Awesome has quit [Read error: 110 (Connection timed out)]

01:38 CRathman_ has joined #ocaml

01:49 rfischer has joined #ocaml

01:54 CRathman has quit [Read error: 110 (Connection timed out)]

02:50 CRathman_ has quit [Read error: 110 (Connection timed out)]

02:52 joshcryer has joined #ocaml

03:26 CRathman_ has joined #ocaml

03:26 CRathman_ is now known as CRathman

03:27 mrsolo has joined #ocaml

04:13 rfischer has quit ["I'm out: check me out at http://smokejumperit.com"]

04:14 loufoque has quit [Read error: 104 (Connection reset by peer)]

04:56 CRathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.8/2007100816]"]

05:22 piggybox_ has joined #ocaml

05:40 piggybox__ has quit [Connection timed out]

05:43 mrsolo has quit ["Leaving"]

06:03 netx has quit [Remote closed the connection]

06:21 seafoodX has joined #ocaml

06:29 pango has quit [Remote closed the connection]

06:30 pango has joined #ocaml

06:31 ygrek has joined #ocaml

08:34 filp has joined #ocaml

09:06 schme` is now known as schme

09:10 bluestorm has joined #ocaml

09:45 seafoodX_ has joined #ocaml

09:45 seafoodX has quit [Read error: 104 (Connection reset by peer)]

10:13 DT has joined #ocaml

10:13 <DT> hi

10:17 screwt840 has quit [Remote closed the connection]

10:17 Abo-Marwan14 has quit [Remote closed the connection]

10:24 Len1 has joined #ocaml

10:25 Len1 is now known as Lena

10:25 Lena is now known as Lena_

10:29 Abo-Marwan14 has joined #ocaml

10:31 Halabund has joined #ocaml

10:37 screwt840 has joined #ocaml

10:39 Lena_ has quit ["Leaving."]

10:41 buluca has joined #ocaml

10:41 Lena has joined #ocaml

11:11 bluestorm has quit ["Konversation terminated!"]

11:34 <DT> Yeah, it compiles.

11:57 kelaouch1 has joined #ocaml

12:09 kelaouchi has quit [Read error: 110 (Connection timed out)]

12:27 baruk has joined #ocaml

12:35 <DT> Well, no, it doesn't

12:35 <DT> "Error: Mutually recursive definitions must have the same parameters."

12:37 smimou has joined #ocaml

12:41 jlouis_ has joined #ocaml

12:56 <DT> arf, that's a bug in the specs

12:57 jlouis has quit [Read error: 110 (Connection timed out)]

13:02 ygrek_ has joined #ocaml

13:13 seafoodX_ has quit []

13:17 ygrek has quit [Remote closed the connection]

13:24 baruk has left #ocaml []

13:43 bluestorm has joined #ocaml

14:43 seafoodX has joined #ocaml

14:46 schme has quit [Read error: 110 (Connection timed out)]

14:52 kelaouch1 has quit ["leaving"]

14:57 Smerdyakov has quit [Remote closed the connection]

14:57 seafoodX has quit []

14:58 Smerdyakov has joined #ocaml

14:59 Demitar has joined #ocaml

15:00 Riesz has quit ["Leaving.."]

15:04 kelaouchi has joined #ocaml

15:18 pango has quit [Remote closed the connection]

15:20 pango has joined #ocaml

15:25 pango has quit [Remote closed the connection]

15:25 ygrek_ has quit [Remote closed the connection]

15:26 pango has joined #ocaml

15:26 ygrek_ has joined #ocaml

16:04 authentic has left #ocaml []

16:04 authentic has joined #ocaml

16:14 robozni has joined #ocaml

16:18 buluca has quit [Read error: 113 (No route to host)]

16:27 oc13 has joined #ocaml

17:13 ^authentic has joined #ocaml

17:29 authentic has quit [Connection timed out]

17:29 ^authentic is now known as authentic

17:32 ita has joined #ocaml

17:38 bluestorm has quit [Read error: 113 (No route to host)]

17:48 buluca has joined #ocaml

17:50 ygrek_ has quit [Remote closed the connection]

17:53 Halabund has quit [Read error: 104 (Connection reset by peer)]

18:18 robozni has quit [Connection timed out]

18:20 robozni has joined #ocaml

18:31 Jedai has joined #ocaml

18:33 bluestorm has joined #ocaml

18:47 schme has joined #ocaml

18:48 Torment has quit [Read error: 110 (Connection timed out)]

18:53 buluca has quit [No route to host]

19:34 tty56 has joined #ocaml

19:42 ygrek has joined #ocaml

19:57 oc13 has left #ocaml []

19:57 CRathman has joined #ocaml

19:59 Lena has quit ["Leaving."]

20:12 p_a_u_l has joined #ocaml

20:14 schme has quit [Read error: 110 (Connection timed out)]

20:15 p_a_u_l has quit ["leaving"]

20:16 p_a_u_l has joined #ocaml

20:22 p_a_u_l has quit ["Changing server"]

20:24 Mr_Awesome has joined #ocaml

20:26 buluca has joined #ocaml

20:31 p_a_u_l has joined #ocaml

20:37 ygrek has quit [Remote closed the connection]

20:55 robozni has quit [Read error: 110 (Connection timed out)]

20:58 filp has quit ["Bye"]

21:27 munga has joined #ocaml

21:41 munga has quit ["Ex-Chat"]

21:43 tty56 has quit [Read error: 60 (Operation timed out)]

21:45 DT has quit ["Ex-Chat"]

21:48 Mr_Awesome has quit [Read error: 110 (Connection timed out)]

21:49 buluca has quit [Read error: 113 (No route to host)]

22:16 bluestorm has quit ["Konversation terminated!"]

23:07 buluca has joined #ocaml

23:19 robozni has joined #ocaml

23:52 smimou has quit ["bli"]

23:53 seafoodX has joined #ocaml