#ocaml on 2003-04-18 — irc logs at freenode.irclog.whitequark.org

2002-11-09 13:39 Yurik changed the topic of #ocaml to: http://icfpcontest.cse.ogi.edu/ -- OCaml wins | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml| Early releases of OCamlBDB and OCamlGettext are available

00:05 baader has quit ["I'll be back"]

00:36 Riastradh has quit ["Changing server"]

00:37 Riastradh has joined #ocaml

01:02 stepcut has joined #ocaml

01:03 <stepcut> how do I explicitly type a function in my .ml file?

01:03 hitachi has joined #ocaml

01:05 <lus|wazze> let foobar (a:t) (b:t) : t = ...;

01:05 <lus|wazze> let foobar (a:t) (b:t) : t = ...;;

01:06 <stepcut> the last :t is for the return value?

01:06 <lus|wazze> yep

01:06 <stepcut> excellent

01:07 <stepcut> Its been driving my crazy for months now ;)

01:07 Riastrad1 has joined #ocaml

01:08 Riastradh has quit [Killed (NickServ (Ghost: Riastrad1!~riastradh@pool-141-154-239-96.bos.east.verizon.net))]

01:08 Riastrad1 is now known as Riastradh

01:09 systems has joined #ocaml

01:10 systems has quit [Client Quit]

01:12 systems has joined #ocaml

01:21 * emu wonders how you do anything without being able to type

01:23 <Riastradh> If you use a Mac, use Key Caps with your mouse.

01:24 lament has joined #ocaml

01:46 stepcut has quit [Remote closed the connection]

02:06 __DL__ has quit [Remote closed the connection]

02:23 systems has left #ocaml []

03:21 Riastradh has quit [Read error: 60 (Operation timed out)]

03:23 Riastradh has joined #ocaml

04:10 mattam has quit [sterling.freenode.net irc.freenode.net]

04:10 asqui has quit [sterling.freenode.net irc.freenode.net]

04:10 lam has quit [sterling.freenode.net irc.freenode.net]

04:10 mattam has joined #ocaml

04:10 asqui has joined #ocaml

04:10 lam has joined #ocaml

04:15 liyang has quit [sterling.freenode.net irc.freenode.net]

04:15 rox has quit [sterling.freenode.net irc.freenode.net]

04:15 liyang has joined #ocaml

04:16 rox has joined #ocaml

04:27 clog has joined #ocaml

04:27 seth_ has joined #ocaml

04:27 asqui has joined #ocaml

04:36 seth_ has quit [leguin.freenode.net irc.freenode.net]

04:36 Yurik_ has quit [leguin.freenode.net irc.freenode.net]

04:36 async has quit [leguin.freenode.net irc.freenode.net]

04:36 pattern_ has quit [leguin.freenode.net irc.freenode.net]

04:36 lament has quit [leguin.freenode.net irc.freenode.net]

04:36 docelic has quit [leguin.freenode.net irc.freenode.net]

04:36 cm has quit [leguin.freenode.net irc.freenode.net]

04:36 emu has quit [leguin.freenode.net irc.freenode.net]

04:36 polin8 has quit [leguin.freenode.net irc.freenode.net]

04:36 liyang has quit [leguin.freenode.net irc.freenode.net]

04:36 vegai has quit [leguin.freenode.net irc.freenode.net]

04:36 mattam has quit [leguin.freenode.net irc.freenode.net]

04:36 smkl has quit [leguin.freenode.net irc.freenode.net]

04:36 mellum has quit [leguin.freenode.net irc.freenode.net]

04:36 Riastradh has quit [leguin.freenode.net irc.freenode.net]

04:36 gl has quit [leguin.freenode.net irc.freenode.net]

04:36 Smerdyakov has quit [leguin.freenode.net irc.freenode.net]

04:36 skylan has quit [leguin.freenode.net irc.freenode.net]

04:36 rox has quit [leguin.freenode.net irc.freenode.net]

04:36 iusris_ has quit [leguin.freenode.net irc.freenode.net]

04:36 lus|wazze has quit [leguin.freenode.net irc.freenode.net]

04:36 hitachi has quit [leguin.freenode.net irc.freenode.net]

04:36 whee has quit [leguin.freenode.net irc.freenode.net]

04:36 foxster has quit [leguin.freenode.net irc.freenode.net]

04:36 lam has quit [leguin.freenode.net irc.freenode.net]

04:38 liyang has joined #ocaml

04:38 mattam has joined #ocaml

04:38 Riastradh has joined #ocaml

04:38 vegai has joined #ocaml

04:38 mellum has joined #ocaml

04:38 Smerdyakov has joined #ocaml

04:38 smkl has joined #ocaml

04:38 skylan has joined #ocaml

04:38 gl has joined #ocaml

04:38 asqui has quit [Excess Flood]

04:38 seth_ has joined #ocaml

04:38 asqui has joined #ocaml

04:40 polin8 has joined #ocaml

04:40 rox has joined #ocaml

04:40 lam has joined #ocaml

04:40 hitachi has joined #ocaml

04:40 lus|wazze has joined #ocaml

04:40 foxster has joined #ocaml

04:40 whee has joined #ocaml

04:40 iusris_ has joined #ocaml

04:40 cm has joined #ocaml

04:40 Yurik_ has joined #ocaml

04:40 docelic has joined #ocaml

04:40 async has joined #ocaml

04:40 emu has joined #ocaml

04:40 pattern_ has joined #ocaml

04:40 Yurik__ has joined #ocaml

04:40 lament has joined #ocaml

04:41 pattern_ has quit [Killed (zelazny.freenode.net (carroll.freenode.net <- carroll.freenode.net))]

04:41 pattern_ has joined #ocaml

04:41 lament has quit [Killed (zelazny.freenode.net (carroll.freenode.net <- carroll.freenode.net))]

04:41 lament has joined #ocaml

04:41 async has quit [leguin.freenode.net irc.freenode.net]

04:41 cm has quit [leguin.freenode.net irc.freenode.net]

04:41 emu has quit [leguin.freenode.net irc.freenode.net]

04:41 Yurik_ has quit [leguin.freenode.net irc.freenode.net]

04:41 docelic has quit [leguin.freenode.net irc.freenode.net]

04:41 lament has quit [leguin.freenode.net irc.freenode.net]

04:41 pattern_ has quit [leguin.freenode.net irc.freenode.net]

04:41 seth_ has quit [leguin.freenode.net irc.freenode.net]

04:42 emu has joined #ocaml

04:42 docelic has joined #ocaml

04:42 cm has joined #ocaml

04:42 lament has joined #ocaml

04:42 pattern_ has joined #ocaml

04:42 async has joined #ocaml

04:42 seth_ has joined #ocaml

04:43 hitachi has quit [Remote closed the connection]

05:18 Kinners has joined #ocaml

06:58 lam has quit ["leaving"]

07:08 lam has joined #ocaml

07:37 Demitar has joined #ocaml

07:39 Demitar has quit [Remote closed the connection]

08:43 karryall has joined #ocaml

08:51 lament has quit ["Well shirigim duraham da..."]

09:45 Kinners has left #ocaml []

10:02 polin8 has quit [Ping timeout: 14400 seconds]

10:14 __DL__ has joined #ocaml

10:40 Yurik__ is now known as Yurik

11:59 systems has joined #ocaml

12:00 baader has joined #ocaml

12:18 systems has quit ["Client Exiting"]

12:20 systems has joined #ocaml

12:21 gene9 has joined #ocaml

12:21 <gene9> Yurik: hi

12:22 <gene9> Yurik: no news since Sat Nov 09 15:39:18?

12:22 <gene9> =)

12:25 <Yurik> gene9: hi

12:25 <Yurik> gene9: news about what?

12:25 <gene9> it was quote from #ocaml topic - `*** Set by Yurik on Sat Nov 09 15:39:18`

12:26 <Yurik> gene9: ah :)

12:31 systems has quit ["Client Exiting"]

12:56 __mattam__ has joined #ocaml

12:56 mattam has quit [Read error: 104 (Connection reset by peer)]

13:36 gene9 has quit []

13:50 hitachi has joined #ocaml

13:58 hitachi has quit [Remote closed the connection]

14:00 mattam has joined #ocaml

14:08 __mattam__ has quit [Read error: 60 (Operation timed out)]

14:15 lus|wazze has quit [""War is God's way of teaching Americans geography.""]

14:22 __DL__ has quit [Remote closed the connection]

14:28 baader has quit ["I'll be back"]

14:29 baader has joined #ocaml

14:31 lus|wazze has joined #ocaml

15:14 polin8 has joined #ocaml

15:52 lus|wazze has quit ["\o/ *liephab* \o/"]

15:56 Zadeh has joined #ocaml

17:02 karryall has quit [Ping timeout: 14400 seconds]

17:15 iusris_ has quit [Remote closed the connection]

17:15 iusris_ has joined #ocaml

19:22 gene9 has joined #ocaml

19:32 gene9_ has joined #ocaml

19:32 gene9_ has quit [Client Quit]

19:33 baader has quit ["I'll be back"]

19:58 gene9 has quit [Connection timed out]

20:24 systems has joined #ocaml

20:59 hitachi has joined #ocaml

21:20 systems has left #ocaml []

21:59 lament has joined #ocaml