#ocaml on 2005-05-27 — 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:08 mrsolo has joined #ocaml

00:10 <vincenz> l

00:15 mrsolo has quit ["Leaving"]

00:20 vincenz has quit ["leaving"]

00:21 Smerdyakov has joined #ocaml

00:27 vincenz has joined #ocaml

01:13 b00t has joined #ocaml

01:34 Smerdyakov has quit []

01:41 cjohnson has quit [""We live like penguins in the desert...""]

03:02 Smerdyakov has joined #ocaml

03:02 ulfdoz_ has joined #ocaml

03:21 ulfdoz has quit [Read error: 110 (Connection timed out)]

03:59 Smerdyakov has quit ["sleep"]

04:29 mlh_ has quit [Client Quit]

04:57 bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]

05:09 Nutssh has joined #ocaml

06:07 m3ga has joined #ocaml

06:12 Herrchen has joined #ocaml

06:25 m3ga has quit ["Client exiting"]

06:39 Nutssh has quit ["Client exiting"]

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

07:35 <ulfdoz_> re

08:42 smimou has joined #ocaml

10:18 MisterC has joined #ocaml

10:22 bk_ has joined #ocaml

10:39 vincenz has quit [clarke.freenode.net irc.freenode.net]

10:39 cp has quit [clarke.freenode.net irc.freenode.net]

10:39 Amorphous has quit [clarke.freenode.net irc.freenode.net]

10:39 calvin_ has quit [clarke.freenode.net irc.freenode.net]

10:39 cmeme has quit [clarke.freenode.net irc.freenode.net]

10:39 senko has quit [clarke.freenode.net irc.freenode.net]

10:39 MisterC has quit [clarke.freenode.net irc.freenode.net]

10:39 noj has quit [clarke.freenode.net irc.freenode.net]

10:39 Hadaka has quit [clarke.freenode.net irc.freenode.net]

10:39 bk_ has quit [clarke.freenode.net irc.freenode.net]

10:39 Herrchen has quit [clarke.freenode.net irc.freenode.net]

10:39 mrvn has quit [clarke.freenode.net irc.freenode.net]

10:39 cognominal has quit [clarke.freenode.net irc.freenode.net]

10:39 mattam has quit [clarke.freenode.net irc.freenode.net]

10:39 johs has quit [clarke.freenode.net irc.freenode.net]

10:39 dan2 has quit [clarke.freenode.net irc.freenode.net]

10:39 det has quit [clarke.freenode.net irc.freenode.net]

10:39 rossberg has quit [clarke.freenode.net irc.freenode.net]

10:39 SLi has quit [clarke.freenode.net irc.freenode.net]

10:39 skylan has quit [clarke.freenode.net irc.freenode.net]

10:39 mflux has quit [clarke.freenode.net irc.freenode.net]

10:39 slashvar[lri] has quit [clarke.freenode.net irc.freenode.net]

10:39 joo_ has quit [clarke.freenode.net irc.freenode.net]

10:39 smimou has quit [clarke.freenode.net irc.freenode.net]

10:39 _qvisitor has quit [clarke.freenode.net irc.freenode.net]

10:39 gim has quit [clarke.freenode.net irc.freenode.net]

10:39 _fab has quit [clarke.freenode.net irc.freenode.net]

10:39 Demitar has quit [clarke.freenode.net irc.freenode.net]

10:39 avlondono has quit [clarke.freenode.net irc.freenode.net]

10:39 eydaimon has quit [clarke.freenode.net irc.freenode.net]

10:39 TaXules has quit [clarke.freenode.net irc.freenode.net]

10:40 mellum has quit [clarke.freenode.net irc.freenode.net]

10:40 mauke has quit [clarke.freenode.net irc.freenode.net]

10:40 shrimpx has quit [Remote closed the connection]

10:40 ulfdoz_ has quit [Remote closed the connection]

10:40 shawn_ has joined #ocaml

10:40 bk_ has joined #ocaml

10:40 MisterC has joined #ocaml

10:40 smimou has joined #ocaml

10:40 Herrchen has joined #ocaml

10:40 vincenz has joined #ocaml

10:40 SLi has joined #ocaml

10:40 _fab has joined #ocaml

10:40 cp has joined #ocaml

10:40 calvin_ has joined #ocaml

10:40 cmeme has joined #ocaml

10:40 Amorphous has joined #ocaml

10:40 senko has joined #ocaml

10:40 avlondono has joined #ocaml

10:40 Demitar has joined #ocaml

10:40 mrvn has joined #ocaml

10:40 cognominal has joined #ocaml

10:40 _qvisitor has joined #ocaml

10:40 mattam has joined #ocaml

10:40 joo_ has joined #ocaml

10:40 slashvar[lri] has joined #ocaml

10:40 skylan has joined #ocaml

10:40 det has joined #ocaml

10:40 dan2 has joined #ocaml

10:40 rossberg has joined #ocaml

10:40 johs has joined #ocaml

10:40 Hadaka has joined #ocaml

10:40 noj has joined #ocaml

10:40 mflux has joined #ocaml

10:40 gim has joined #ocaml

10:40 eydaimon has joined #ocaml

10:40 TaXules has joined #ocaml

10:40 mellum has joined #ocaml

10:40 mauke has joined #ocaml

10:40 hfhf has quit [Read error: 104 (Connection reset by peer)]

10:40 ulfdoz has joined #ocaml

10:40 hfhf has joined #ocaml

10:41 shrimpx has joined #ocaml

10:51 _shawn has quit [Connection timed out]

10:51 vincenz has quit [clarke.freenode.net irc.freenode.net]

10:51 cp has quit [clarke.freenode.net irc.freenode.net]

10:51 Amorphous has quit [clarke.freenode.net irc.freenode.net]

10:51 calvin_ has quit [clarke.freenode.net irc.freenode.net]

10:51 cmeme has quit [clarke.freenode.net irc.freenode.net]

10:51 senko has quit [clarke.freenode.net irc.freenode.net]

10:51 MisterC has quit [clarke.freenode.net irc.freenode.net]

10:51 noj has quit [clarke.freenode.net irc.freenode.net]

10:51 Hadaka has quit [clarke.freenode.net irc.freenode.net]

10:51 hfhf has quit [clarke.freenode.net irc.freenode.net]

10:51 ulfdoz has quit [clarke.freenode.net irc.freenode.net]

10:51 dan2 has quit [clarke.freenode.net irc.freenode.net]

10:51 bk_ has quit [clarke.freenode.net irc.freenode.net]

10:51 det has quit [clarke.freenode.net irc.freenode.net]

10:51 mrvn has quit [clarke.freenode.net irc.freenode.net]

10:51 cognominal has quit [clarke.freenode.net irc.freenode.net]

10:51 Herrchen has quit [clarke.freenode.net irc.freenode.net]

10:51 johs has quit [clarke.freenode.net irc.freenode.net]

10:51 mattam has quit [clarke.freenode.net irc.freenode.net]

10:51 rossberg has quit [clarke.freenode.net irc.freenode.net]

10:51 SLi has quit [clarke.freenode.net irc.freenode.net]

10:51 skylan has quit [clarke.freenode.net irc.freenode.net]

10:51 mflux has quit [clarke.freenode.net irc.freenode.net]

10:51 slashvar[lri] has quit [clarke.freenode.net irc.freenode.net]

10:51 joo_ has quit [clarke.freenode.net irc.freenode.net]

10:51 _qvisitor has quit [clarke.freenode.net irc.freenode.net]

10:51 shawn_ has quit [clarke.freenode.net irc.freenode.net]

10:51 gim has quit [clarke.freenode.net irc.freenode.net]

10:51 smimou has quit [clarke.freenode.net irc.freenode.net]

10:51 _fab has quit [clarke.freenode.net irc.freenode.net]

10:51 avlondono has quit [clarke.freenode.net irc.freenode.net]

10:51 Demitar has quit [clarke.freenode.net irc.freenode.net]

10:51 mellum has quit [clarke.freenode.net irc.freenode.net]

10:51 eydaimon has quit [clarke.freenode.net irc.freenode.net]

10:51 TaXules has quit [clarke.freenode.net irc.freenode.net]

10:51 mauke has quit [clarke.freenode.net irc.freenode.net]

10:51 shrimpx has quit [Remote closed the connection]

10:51 shrimpx has joined #ocaml

10:51 mrvn_ has joined #ocaml

10:51 hfhf has joined #ocaml

10:51 ulfdoz has joined #ocaml

10:51 shawn_ has joined #ocaml

10:51 bk_ has joined #ocaml

10:51 MisterC has joined #ocaml

10:51 smimou has joined #ocaml

10:51 Herrchen has joined #ocaml

10:51 vincenz has joined #ocaml

10:51 SLi has joined #ocaml

10:51 _fab has joined #ocaml

10:51 cp has joined #ocaml

10:51 calvin_ has joined #ocaml

10:51 cmeme has joined #ocaml

10:51 Amorphous has joined #ocaml

10:51 senko has joined #ocaml

10:51 avlondono has joined #ocaml

10:51 Demitar has joined #ocaml

10:51 mrvn has joined #ocaml

10:51 cognominal has joined #ocaml

10:51 _qvisitor has joined #ocaml

10:51 mattam has joined #ocaml

10:51 joo_ has joined #ocaml

10:51 slashvar[lri] has joined #ocaml

10:51 skylan has joined #ocaml

10:51 det has joined #ocaml

10:51 dan2 has joined #ocaml

10:51 rossberg has joined #ocaml

10:51 johs has joined #ocaml

10:51 Hadaka has joined #ocaml

10:51 noj has joined #ocaml

10:51 mflux has joined #ocaml

10:51 gim has joined #ocaml

10:51 eydaimon has joined #ocaml

10:51 TaXules has joined #ocaml

10:51 mellum has joined #ocaml

10:51 mauke has joined #ocaml

10:52 mrvn has quit [Read error: 60 (Operation timed out)]

11:21 vincenz has quit [clarke.freenode.net irc.freenode.net]

11:21 cp has quit [clarke.freenode.net irc.freenode.net]

11:21 Amorphous has quit [clarke.freenode.net irc.freenode.net]

11:21 calvin_ has quit [clarke.freenode.net irc.freenode.net]

11:21 cmeme has quit [clarke.freenode.net irc.freenode.net]

11:21 senko has quit [clarke.freenode.net irc.freenode.net]

11:21 MisterC has quit [clarke.freenode.net irc.freenode.net]

11:21 noj has quit [clarke.freenode.net irc.freenode.net]

11:21 Hadaka has quit [clarke.freenode.net irc.freenode.net]

11:21 ulfdoz has quit [clarke.freenode.net irc.freenode.net]

11:21 hfhf has quit [clarke.freenode.net irc.freenode.net]

11:21 dan2 has quit [clarke.freenode.net irc.freenode.net]

11:21 bk_ has quit [clarke.freenode.net irc.freenode.net]

11:21 det has quit [clarke.freenode.net irc.freenode.net]

11:21 cognominal has quit [clarke.freenode.net irc.freenode.net]

11:21 Herrchen has quit [clarke.freenode.net irc.freenode.net]

11:21 johs has quit [clarke.freenode.net irc.freenode.net]

11:21 mattam has quit [clarke.freenode.net irc.freenode.net]

11:21 rossberg has quit [clarke.freenode.net irc.freenode.net]

11:21 SLi has quit [clarke.freenode.net irc.freenode.net]

11:21 skylan has quit [clarke.freenode.net irc.freenode.net]

11:21 mflux has quit [clarke.freenode.net irc.freenode.net]

11:21 slashvar[lri] has quit [clarke.freenode.net irc.freenode.net]

11:21 joo_ has quit [clarke.freenode.net irc.freenode.net]

11:21 _qvisitor has quit [clarke.freenode.net irc.freenode.net]

11:21 shawn_ has quit [clarke.freenode.net irc.freenode.net]

11:21 gim has quit [clarke.freenode.net irc.freenode.net]

11:21 smimou has quit [clarke.freenode.net irc.freenode.net]

11:21 _fab has quit [clarke.freenode.net irc.freenode.net]

11:21 avlondono has quit [clarke.freenode.net irc.freenode.net]

11:21 mrvn_ has quit [clarke.freenode.net irc.freenode.net]

11:21 Demitar has quit [clarke.freenode.net irc.freenode.net]

11:21 mellum has quit [clarke.freenode.net irc.freenode.net]

11:21 eydaimon has quit [clarke.freenode.net irc.freenode.net]

11:21 TaXules has quit [clarke.freenode.net irc.freenode.net]

11:21 mauke has quit [clarke.freenode.net irc.freenode.net]

11:21 shrimpx has quit [Remote closed the connection]

11:21 shrimpx has joined #ocaml

11:21 mrvn_ has joined #ocaml

11:21 hfhf has joined #ocaml

11:21 ulfdoz has joined #ocaml

11:21 shawn_ has joined #ocaml

11:21 bk_ has joined #ocaml

11:21 MisterC has joined #ocaml

11:21 smimou has joined #ocaml

11:21 Herrchen has joined #ocaml

11:21 vincenz has joined #ocaml

11:21 SLi has joined #ocaml

11:21 _fab has joined #ocaml

11:21 cp has joined #ocaml

11:21 calvin_ has joined #ocaml

11:21 cmeme has joined #ocaml

11:21 Amorphous has joined #ocaml

11:21 senko has joined #ocaml

11:21 avlondono has joined #ocaml

11:21 Demitar has joined #ocaml

11:21 cognominal has joined #ocaml

11:21 _qvisitor has joined #ocaml

11:21 mattam has joined #ocaml

11:21 joo_ has joined #ocaml

11:21 slashvar[lri] has joined #ocaml

11:21 skylan has joined #ocaml

11:21 det has joined #ocaml

11:21 dan2 has joined #ocaml

11:21 rossberg has joined #ocaml

11:21 johs has joined #ocaml

11:21 Hadaka has joined #ocaml

11:21 noj has joined #ocaml

11:21 mflux has joined #ocaml

11:21 gim has joined #ocaml

11:21 eydaimon has joined #ocaml

11:21 TaXules has joined #ocaml

11:21 mellum has joined #ocaml

11:21 mauke has joined #ocaml

11:28 __DL__ has joined #ocaml

11:45 slashvar[lri] has quit ["leaving"]

12:14 xidaux has joined #ocaml

12:24 <xidaux> Hello

12:24 <xidaux> Anyone around around ?

12:31 <senko> no... :)

13:04 b00t has quit [Remote closed the connection]

13:17 avlondono has quit [Read error: 110 (Connection timed out)]

13:29 raboof has joined #ocaml

13:34 bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]

13:42 Lycan359 has joined #ocaml

13:42 Lycan359 has left #ocaml []

14:07 maml has joined #ocaml

14:23 xidaux has quit ["leaving"]

14:36 Smerdyakov has joined #ocaml

14:40 _fab has quit [Read error: 113 (No route to host)]

14:49 Smerdyakov has quit []

14:54 Smerdyakov has joined #ocaml

15:06 <raboof> hi, i need a quick pointer: how is file i/o done in ocaml?

15:07 <Smerdyakov> There are many ways, since you can interface with any C library you choose, more or less.

15:08 <Smerdyakov> The most basic way involves only types and values from Pervasives, and they're quite helpfully organized in the manual page on that.

15:08 <Smerdyakov> There are also the traditional POSIX things in the Unix module.

15:09 <raboof> ah, Pervasives looks good :)

15:10 <raboof> (i'm new to ocaml)

15:11 <Smerdyakov> Then you must PERISH.

15:11 <raboof> i'm guessing that's an acronym for something? :)

15:13 <Smerdyakov> No, actually it is a portent of doom.

15:14 <raboof> riight

15:25 <raboof> http://caml.inria.fr/pub/docs/manual-ocaml/libref/Format.html points to http://caml.inria.fr/FAQ/format-eng.html , but that document is at http://pauillac.inria.fr/caml/FAQ/format-eng.html

15:32 <Smerdyakov> Well, this isn't the place to report it. :P

15:37 Smerdyakov has quit ["gone"]

15:53 ionOS has quit ["Leaving"]

16:39 mflux has quit [Remote closed the connection]

16:47 <raboof> how does one write mutually recursive functions?

16:48 <raboof> oh, with `and'. never mind :)

16:53 raboof has left #ocaml []

16:53 vezenchio has joined #ocaml

17:01 maml has quit [Read error: 145 (Connection timed out)]

17:01 Snark has joined #ocaml

17:04 <Snark> slt

17:11 _JusSx_ has joined #ocaml

17:11 vodka-goo has joined #ocaml

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

17:14 fam has joined #ocaml

17:20 Gueben has joined #ocaml

17:29 mflux has joined #ocaml

17:32 mrsolo_ has joined #ocaml

18:06 MisterC has quit ["Client exiting"]

18:07 Skal has joined #ocaml

18:40 monochrom has joined #ocaml

19:01 pango has joined #ocaml

19:06 maml has joined #ocaml

19:07 Herrchen has quit ["bye"]

19:12 _JusSx_ has quit ["leaving"]

19:48 __DL__ has quit [Read error: 54 (Connection reset by peer)]

20:17 Snark has quit ["Leaving"]

21:33 smimou has quit ["↓"]

21:46 cjohnson has joined #ocaml

22:18 mrvn has joined #ocaml

22:31 mrvn_ has quit [Read error: 110 (Connection timed out)]

22:39 fam has quit [".,"]

23:06 Smerdyakov has joined #ocaml

23:19 Gueben has quit ["plouf"]

23:42 Skal has quit ["Client exiting"]

23:45 Smerdyakov has quit []

23:46 <mrvn> What is a good way to read a binary int16_t from a Unix.fd into an int?

23:48 <mrvn> To me it looks like a C wraper with read and ntohl() call is the easiest.

23:53 <SLi> I don't know about the easiest one, but...

23:54 <SLi> I would do something like Unix.reading 2 bytes, then it's sth like (Char.code str.[0])*256+(Char.code str.[1]).

23:55 <SLi> Or str.[1]*256+str.[0], depending on the byte order.

23:59 <SLi> And if it's signed, you need to subtract 65536 from it if it's above 32767.