#ocaml on 2005-07-14 — irc logs at freenode.irclog.whitequark.org

2005-03-17 14:13 smimou changed the topic of #ocaml to: OCaml 3.08.3 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/

00:27 mlh has joined #ocaml

00:35 rox has quit [Remote closed the connection]

00:41 Sonarman has quit [Read error: 145 (Connection timed out)]

00:43 Sonarman has joined #ocaml

00:51 Sonarman_ has joined #ocaml

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

01:25 tercio has quit [Read error: 104 (Connection reset by peer)]

01:46 mrsolo has quit [Read error: 104 (Connection reset by peer)]

02:10 vezenchio has quit ["ni shi wei yi de shen hua -- wo zhi ai ni You are my super star"]

02:37 Nutssh has joined #ocaml

03:34 ulfdoz has joined #ocaml

03:48 Smerdyakov has joined #ocaml

03:49 Smerdyakov has quit [Client Quit]

03:49 Smerdyakov has joined #ocaml

03:52 ulfdoz_ has quit [Read error: 110 (Connection timed out)]

03:59 Herrchen_ has joined #ocaml

04:05 Smerdy has joined #ocaml

04:05 Smerdyakov has quit [Nick collision from services.]

04:05 Smerdy is now known as Smerdyakov

04:12 Herrchen has quit [Read error: 110 (Connection timed out)]

04:50 <ulfdoz> re

05:02 Sonarman has joined #ocaml

05:05 joeytwiddle has joined #ocaml

05:08 Smerdyakov has quit ["eslepo"]

05:17 Sonarman_ has quit [Read error: 110 (Connection timed out)]

05:41 Ober has quit [Read error: 110 (Connection timed out)]

05:45 totaln00b has joined #ocaml

05:45 <totaln00b> what's the ocaml logical negation?

05:45 <totaln00b> ! does not seem to work

05:45 <totaln00b> nor does ^

05:51 <mflux_> totaln00b, not

06:15 <totaln00b> let tkx =

06:15 <totaln00b> for i = 0 to 1000 do

06:15 <totaln00b> let x = 0.0

06:15 <totaln00b> done;;

06:16 <totaln00b> does not compile

06:16 <totaln00b> I cna't see what's wrong with it

06:16 <totaln00b> what's so bad if my for loop does nothing?

06:39 totaln00b has quit [Remote closed the connection]

06:50 <Nutssh> You need to have 'let ... in ...' for the let clause.

06:57 Herrchen_ is now known as Herrchen

07:05 <ulfdoz> Nutssh: I doubt that he heard it. :)

07:05 <ulfdoz> morns Herrchen

07:11 <Nutssh> Yeah. :(

07:13 <ulfdoz> Another question. Is there a well designed lib for interacting with SQL-Databases. I think of something like [jo]dbc, but for ocaml.

07:33 <Demitar> ulfdoz, http://caml.inria.fr/cgi-bin/hump.en.cgi?sort=0&browse=24

08:05 batdog is now known as batdog|gone

08:05 batdog|gone is now known as batdog

08:11 cpage has quit []

08:12 cpage has joined #ocaml

08:40 mlh has quit [Client Quit]

09:13 Nutssh has quit ["Client exiting"]

09:29 _fab has quit [Read error: 113 (No route to host)]

09:58 _fab has joined #ocaml

10:05 <ulfdoz> thx, demitar.

10:07 _fab has quit [Read error: 113 (No route to host)]

10:14 Skal has joined #ocaml

11:07 _fab has joined #ocaml

11:26 vodka-goo has joined #ocaml

11:33 vodka-goo has quit []

11:34 vodka-goo has joined #ocaml

11:54 vodka-goo has quit []

11:57 mauke has quit [Remote closed the connection]

11:57 mauke has joined #ocaml

12:24 vezenchio has joined #ocaml

12:42 Sonarman_ has joined #ocaml

12:45 vodka-goo has joined #ocaml

12:54 Sonarman has quit [Read error: 110 (Connection timed out)]

13:11 vodka-goo has left #ocaml []

14:39 mellum_ is now known as mellum

15:19 Sonarman has joined #ocaml

15:29 Sonarman_ has quit [Read error: 110 (Connection timed out)]

16:15 pango_ has joined #ocaml

16:20 pango has quit [Read error: 60 (Operation timed out)]

16:58 araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]

17:05 Sonarman_ has joined #ocaml

17:15 Sonarman has quit [Read error: 110 (Connection timed out)]

17:56 araujo has joined #ocaml

18:02 Submarine has joined #ocaml

18:04 vincenz has quit [Remote closed the connection]

18:15 vincenz has joined #ocaml

18:23 _JusSx_ has joined #ocaml

18:29 vincenz has quit [Remote closed the connection]

18:31 Submarine has quit ["Leaving"]

18:34 vincenz has joined #ocaml

18:36 Herrchen has quit [Remote closed the connection]

18:41 Herrchen has joined #ocaml

18:42 Purice has joined #ocaml

18:54 Enveigler has joined #ocaml

19:04 _JusSx__ has joined #ocaml

19:05 Purice has quit ["Leaving"]

19:18 _JusSx_ has quit [Read error: 110 (Connection timed out)]

19:28 Purice has joined #ocaml

20:01 <ulfdoz> bye

20:24 Purice has quit [Read error: 104 (Connection reset by peer)]

20:34 xidaux has joined #ocaml

21:01 Enveigler has quit [Connection timed out]

21:33 Skal has quit [brown.freenode.net irc.freenode.net]

21:33 mflux_ has quit [brown.freenode.net irc.freenode.net]

21:33 _shawn has quit [brown.freenode.net irc.freenode.net]

21:33 Hadaka has quit [brown.freenode.net irc.freenode.net]

21:33 noj has quit [brown.freenode.net irc.freenode.net]

21:33 araujo has quit [brown.freenode.net irc.freenode.net]

21:33 vezenchio has quit [brown.freenode.net irc.freenode.net]

21:33 Banana has quit [brown.freenode.net irc.freenode.net]

21:33 mattam has quit [brown.freenode.net irc.freenode.net]

21:33 mellum has quit [brown.freenode.net irc.freenode.net]

21:33 _qvisitor has quit [brown.freenode.net irc.freenode.net]

21:33 Amorphous has quit [brown.freenode.net irc.freenode.net]

21:33 whee has quit [brown.freenode.net irc.freenode.net]

21:33 skylan has quit [brown.freenode.net irc.freenode.net]

21:33 mw has quit [brown.freenode.net irc.freenode.net]

21:33 det has quit [brown.freenode.net irc.freenode.net]

21:33 cmeme has quit [brown.freenode.net irc.freenode.net]

21:33 xidaux has quit [brown.freenode.net irc.freenode.net]

21:33 Herrchen has quit [brown.freenode.net irc.freenode.net]

21:33 cpage has quit [brown.freenode.net irc.freenode.net]

21:33 joeytwiddle has quit [brown.freenode.net irc.freenode.net]

21:33 ulfdoz has quit [brown.freenode.net irc.freenode.net]

21:33 johs has quit [brown.freenode.net irc.freenode.net]

21:33 calvin_ has quit [brown.freenode.net irc.freenode.net]

21:33 Hipo has quit [brown.freenode.net irc.freenode.net]

21:33 pango_ has quit [brown.freenode.net irc.freenode.net]

21:33 joo_ has quit [brown.freenode.net irc.freenode.net]

21:33 slashvar[lri] has quit [brown.freenode.net irc.freenode.net]

21:34 Amorphous has joined #ocaml

21:34 cmeme has joined #ocaml

21:34 skylan has joined #ocaml

21:34 mw has joined #ocaml

21:34 _qvisitor has joined #ocaml

21:34 det has joined #ocaml

21:34 whee has joined #ocaml

21:35 xidaux has joined #ocaml

21:35 Herrchen has joined #ocaml

21:35 cpage has joined #ocaml

21:35 joeytwiddle has joined #ocaml

21:35 ulfdoz has joined #ocaml

21:35 johs has joined #ocaml

21:35 calvin_ has joined #ocaml

21:35 Hipo has joined #ocaml

21:36 araujo has joined #ocaml

21:36 vezenchio has joined #ocaml

21:36 Banana has joined #ocaml

21:36 mattam has joined #ocaml

21:36 mellum has joined #ocaml

21:36 pango_ has joined #ocaml

21:36 slashvar[lri] has joined #ocaml

21:36 joo_ has joined #ocaml

21:36 ulfdoz has quit [brown.freenode.net irc.freenode.net]

21:36 cpage has quit [brown.freenode.net irc.freenode.net]

21:36 xidaux has quit [brown.freenode.net irc.freenode.net]

21:36 johs has quit [brown.freenode.net irc.freenode.net]

21:36 Herrchen has quit [brown.freenode.net irc.freenode.net]

21:36 joeytwiddle has quit [brown.freenode.net irc.freenode.net]

21:36 calvin_ has quit [brown.freenode.net irc.freenode.net]

21:36 Hipo has quit [brown.freenode.net irc.freenode.net]

21:36 mw has quit [brown.freenode.net irc.freenode.net]

21:36 _qvisitor has quit [brown.freenode.net irc.freenode.net]

21:36 whee has quit [brown.freenode.net irc.freenode.net]

21:36 det has quit [brown.freenode.net irc.freenode.net]

21:36 Amorphous has quit [brown.freenode.net irc.freenode.net]

21:36 skylan has quit [brown.freenode.net irc.freenode.net]

21:36 cmeme has quit [brown.freenode.net irc.freenode.net]

21:36 Banana has quit [brown.freenode.net irc.freenode.net]

21:36 mellum has quit [brown.freenode.net irc.freenode.net]

21:36 mattam has quit [brown.freenode.net irc.freenode.net]

21:36 vezenchio has quit [brown.freenode.net irc.freenode.net]

21:36 araujo has quit [brown.freenode.net irc.freenode.net]

21:36 araujo has joined #ocaml

21:36 vezenchio has joined #ocaml

21:36 Banana has joined #ocaml

21:36 mattam has joined #ocaml

21:36 mellum has joined #ocaml

21:36 Banana has quit [brown.freenode.net irc.freenode.net]

21:36 mellum has quit [brown.freenode.net irc.freenode.net]

21:36 mattam has quit [brown.freenode.net irc.freenode.net]

21:36 vezenchio has quit [brown.freenode.net irc.freenode.net]

21:36 araujo has quit [brown.freenode.net irc.freenode.net]

21:37 mellum has joined #ocaml

21:37 mattam has joined #ocaml

21:37 Banana has joined #ocaml

21:37 vezenchio has joined #ocaml

21:37 araujo has joined #ocaml

21:37 Skal has joined #ocaml

21:37 mflux_ has joined #ocaml

21:37 noj has joined #ocaml

21:37 Hadaka has joined #ocaml

21:37 Amorphous has joined #ocaml

21:37 cmeme has joined #ocaml

21:37 skylan has joined #ocaml

21:37 mw has joined #ocaml

21:37 _qvisitor has joined #ocaml

21:37 whee has joined #ocaml

21:37 det has joined #ocaml

21:37 xidaux has joined #ocaml

21:37 Herrchen has joined #ocaml

21:37 cpage has joined #ocaml

21:37 joeytwiddle has joined #ocaml

21:37 ulfdoz has joined #ocaml

21:37 johs has joined #ocaml

21:37 calvin_ has joined #ocaml

21:37 Hipo has joined #ocaml

21:37 _shawn has joined #ocaml

21:37 _qvisitor has quit [brown.freenode.net irc.freenode.net]

21:37 Amorphous has quit [brown.freenode.net irc.freenode.net]

21:37 whee has quit [brown.freenode.net irc.freenode.net]

21:38 skylan has quit [brown.freenode.net irc.freenode.net]

21:38 mw has quit [brown.freenode.net irc.freenode.net]

21:38 det has quit [brown.freenode.net irc.freenode.net]

21:38 cmeme has quit [brown.freenode.net irc.freenode.net]

21:38 noj has quit [brown.freenode.net irc.freenode.net]

21:38 noj has joined #ocaml

21:38 Amorphous has joined #ocaml

21:38 cmeme has joined #ocaml

21:38 skylan has joined #ocaml

21:38 mw has joined #ocaml

21:38 _qvisitor has joined #ocaml

21:38 det has joined #ocaml

21:38 whee has joined #ocaml

22:05 xidaux has quit [Client Quit]

22:25 _JusSx__ has quit ["leaving"]