#ocaml on 2006-06-25 — irc logs at freenode.irclog.whitequark.org

2006-06-22 20:17 dark_light changed the topic of #ocaml to: OCaml 3.09.2 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:05 smimou has quit ["bli"]

00:18 chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- The professional IRC Client"]

00:22 chessguy has joined #ocaml

00:57 love-pingoo has quit ["Connection reset by pear"]

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

01:29 ski has joined #ocaml

02:17 _coder_ has joined #ocaml

02:21 dbueno has joined #ocaml

02:22 <dbueno> Question: is there any way to get an in_channel that reads from a string, without doing file i/o?

02:22 <dbueno> Or should I just use extLib's input type?

02:32 <avlondono> dbueno: you could use Unix.pipe and then convert the file_descr into in and out_channels. then output the string in the out_channel ...

02:42 <Smerdyakov> Hooray for SML, whose standard stream types allow construction of your own arbitrary streams. ;)

02:43 <avlondono> how are they different from Ocaml's streams?

02:43 <avlondono> I never used them

02:44 <Smerdyakov> Funkier!

02:44 <avlondono> heh

02:45 <Smerdyakov> I don't quite know what all this stuff is about, but here's the STREAM_IO interface for SML: http://www.standardml.org/Basis/stream-io.html

02:49 <avlondono> uff, what's all that ...

03:48 ski has quit [kornbluth.freenode.net irc.freenode.net]

03:48 chessguy has quit [kornbluth.freenode.net irc.freenode.net]

03:48 finelemon has quit [kornbluth.freenode.net irc.freenode.net]

03:48 slipstream has quit [kornbluth.freenode.net irc.freenode.net]

03:48 dylan has quit [kornbluth.freenode.net irc.freenode.net]

03:48 TaXules has quit [kornbluth.freenode.net irc.freenode.net]

03:48 danly has quit [kornbluth.freenode.net irc.freenode.net]

03:48 Lob-Sogular has quit [kornbluth.freenode.net irc.freenode.net]

03:48 dvekravy has quit [kornbluth.freenode.net irc.freenode.net]

03:48 cmeme has quit [kornbluth.freenode.net irc.freenode.net]

03:48 mellum has quit [kornbluth.freenode.net irc.freenode.net]

03:48 _coder_ has quit [kornbluth.freenode.net irc.freenode.net]

03:48 dark_light has quit [kornbluth.freenode.net irc.freenode.net]

03:48 Revision17 has quit [kornbluth.freenode.net irc.freenode.net]

03:48 Smerdyakov has quit [kornbluth.freenode.net irc.freenode.net]

03:48 szsz has quit [kornbluth.freenode.net irc.freenode.net]

03:48 Demitar has quit [kornbluth.freenode.net irc.freenode.net]

03:48 mattam has quit [kornbluth.freenode.net irc.freenode.net]

03:48 ketty has quit [kornbluth.freenode.net irc.freenode.net]

03:48 avlondono has quit [kornbluth.freenode.net irc.freenode.net]

03:48 Bigb[a]ng has quit [kornbluth.freenode.net irc.freenode.net]

03:48 ramkrsna has quit [kornbluth.freenode.net irc.freenode.net]

03:48 bzzbzz has quit [kornbluth.freenode.net irc.freenode.net]

03:48 creichen has quit [kornbluth.freenode.net irc.freenode.net]

03:48 dbueno has quit [kornbluth.freenode.net irc.freenode.net]

03:48 shawn has quit [kornbluth.freenode.net irc.freenode.net]

03:48 sieni_ has quit [kornbluth.freenode.net irc.freenode.net]

03:48 pattern has quit [kornbluth.freenode.net irc.freenode.net]

03:48 Nargg has quit [kornbluth.freenode.net irc.freenode.net]

03:48 ulfdoz has quit [kornbluth.freenode.net irc.freenode.net]

03:48 Hadaka has quit [kornbluth.freenode.net irc.freenode.net]

03:48 ppsmimou has quit [kornbluth.freenode.net irc.freenode.net]

03:48 oracle1 has quit [kornbluth.freenode.net irc.freenode.net]

03:48 descender has quit [kornbluth.freenode.net irc.freenode.net]

03:48 Amorphous has quit [kornbluth.freenode.net irc.freenode.net]

03:53 clog has joined #ocaml

03:53 ppsmimou has joined #ocaml

03:54 ramkrsna has joined #ocaml

03:56 ski has joined #ocaml

05:04 cmeme has joined #ocaml

05:04 finelemon has joined #ocaml

05:04 TaXules has joined #ocaml

05:04 Lob-Sogular has joined #ocaml

05:04 Nargg has joined #ocaml

05:04 sieni_ has joined #ocaml

05:04 dbueno has joined #ocaml

05:04 Demitar has joined #ocaml

05:04 flux__ has joined #ocaml

05:04 Bigb[a]ng has joined #ocaml

05:04 avlondono has joined #ocaml

05:04 bzzbzz has joined #ocaml

05:04 creichen has joined #ocaml

05:04 zmdkrbou has joined #ocaml

05:04 Smerdyakov has joined #ocaml

05:04 mattam has joined #ocaml

05:04 Hadaka has joined #ocaml

05:04 dvekravy has joined #ocaml

05:04 pango has joined #ocaml

05:04 ulfdoz has joined #ocaml

05:04 shawn has joined #ocaml

05:04 pattern has joined #ocaml

05:18 ramkrsna has quit [No route to host]

05:20 ramkrsna has joined #ocaml

05:34 dylan has joined #ocaml

05:48 clog_ has joined #ocaml

05:48 oracle1 has joined #ocaml

05:48 descender has joined #ocaml

05:48 slipstream has joined #ocaml

05:48 ppsmimou has joined #ocaml

05:48 Amorphous has joined #ocaml

05:48 mellum has joined #ocaml

05:49 ski has joined #ocaml

05:59 Revision17 has joined #ocaml

06:51 danly has joined #ocaml

08:12 _jol_ has joined #ocaml

08:37 _jol_ has quit ["leaving"]

08:44 love-pingoo has joined #ocaml

08:45 _jol_ has joined #ocaml

09:04 revision17_ has joined #ocaml

09:17 Revision17 has quit [Read error: 110 (Connection timed out)]

09:23 slipstream has quit [Read error: 104 (Connection reset by peer)]

09:29 slipstream has joined #ocaml

09:41 _jol_ has quit ["leaving"]

10:14 ramkrsna has quit [Read error: 110 (Connection timed out)]

10:17 ramkrsna has joined #ocaml

10:56 mattam has quit [Client Quit]

11:33 m3ga has joined #ocaml

11:36 love-pingoo has quit ["dehors"]

11:36 m3ga has left #ocaml []

11:45 mattam has joined #ocaml

12:05 b00t has joined #ocaml

12:43 b00t has quit [Client Quit]

12:44 mikeX has joined #ocaml

12:53 _jol_ has joined #ocaml

13:12 _JusSx_ has joined #ocaml

13:35 _jol_ has quit ["leaving"]

13:38 kral has joined #ocaml

13:42 ketty has joined #ocaml

14:20 _jol_ has joined #ocaml

14:57 clog_ has quit [^C]

14:58 clog has joined #ocaml

14:59 love-pingoo has joined #ocaml

15:22 smimou has joined #ocaml

15:25 _jol_ has quit ["leaving"]

15:43 Amorphous has quit ["arg... must... shutdown... computer burnin..."]

15:43 Amorphous has joined #ocaml

15:48 avlondon1 has joined #ocaml

15:59 avlondono has quit [Read error: 110 (Connection timed out)]

16:11 kral has quit ["adios"]

16:16 mikeX_ has joined #ocaml

16:25 _jol_ has joined #ocaml

16:26 finelemo1 has joined #ocaml

16:29 avlondon1 is now known as avlondono

16:29 mikeX has quit [Read error: 110 (Connection timed out)]

16:40 finelemon has quit [Read error: 110 (Connection timed out)]

17:41 love-pingoo has quit ["Connection reset by pear"]

17:47 _jol_ has quit ["co'o rodo"]

17:56 Snark has joined #ocaml

18:02 _coder_ has joined #ocaml

18:02 _coder_ has quit [Read error: 104 (Connection reset by peer)]

18:30 chessguy has joined #ocaml

18:39 Snark has quit [Read error: 104 (Connection reset by peer)]

18:40 mikeX_ has quit [Read error: 110 (Connection timed out)]

18:52 Snark has joined #ocaml

19:00 chessguy has quit [Connection timed out]

19:28 ski_ has joined #ocaml

19:44 ski has quit [Read error: 110 (Connection timed out)]

20:10 Snark has quit ["Leaving"]

21:03 jcreigh has joined #ocaml

21:12 _coder_ has joined #ocaml

21:17 _coder_ is now known as __coder__

21:20 __coder__ is now known as _coder_

21:21 _coder_ has quit ["Leaving"]

21:23 jcreigh has quit ["Do androids dream of electric sheep?"]

21:58 _JusSx_ has quit ["leaving"]

22:09 smimou has quit ["bli"]

22:40 love-pingoo has joined #ocaml

22:54 flux__ has quit [Remote closed the connection]

23:00 flux__ has joined #ocaml

23:04 pango is now known as pangoafk

23:58 love-pingoo has quit [Read error: 60 (Operation timed out)]