#ocaml on 2007-03-28 — irc logs at freenode.irclog.whitequark.org

2007-02-10 00:51 sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/

00:01 <mbishop> http://paste.lisp.org/display/38821

00:01 <mbishop> Anyone know what's up with that?

00:07 <mbishop> oh, silly me

00:07 <mbishop> needs real tabs

00:30 mnemonic has joined #ocaml

00:38 JeffSmac has joined #ocaml

00:40 david_koontz has quit [Read error: 104 (Connection reset by peer)]

01:21 david_koontz has joined #ocaml

01:23 joshcryer has joined #ocaml

01:27 JeffSmac has quit []

01:39 JeffSmac has joined #ocaml

01:45 <mbishop> Hmm, neat, F# has range comprehension

02:13 JeffSmac has quit []

02:19 JeffSmac has joined #ocaml

02:40 mnemonic has quit ["leaving"]

03:03 JeffSmac has quit []

03:16 joshcryer has quit [Connection timed out]

03:33 joshcryer has joined #ocaml

05:12 shawn has quit [Read error: 60 (Operation timed out)]

05:17 a-priori_ has quit [Read error: 110 (Connection timed out)]

06:00 a-priori_ has joined #ocaml

06:12 fremo has quit [zelazny.freenode.net irc.freenode.net]

06:12 descender has quit [zelazny.freenode.net irc.freenode.net]

06:12 Oatmeat|umn has quit [zelazny.freenode.net irc.freenode.net]

06:12 gunark has quit [zelazny.freenode.net irc.freenode.net]

06:12 ppsmimou has quit [zelazny.freenode.net irc.freenode.net]

06:12 eradman has quit [zelazny.freenode.net irc.freenode.net]

06:12 gim has quit [zelazny.freenode.net irc.freenode.net]

06:12 fremo has joined #ocaml

06:12 descender has joined #ocaml

06:12 Oatmeat|umn has joined #ocaml

06:12 gunark has joined #ocaml

06:12 gim has joined #ocaml

06:12 ppsmimou has joined #ocaml

06:12 eradman has joined #ocaml

08:15 Submarine has quit ["Leaving"]

08:45 diffbavis has quit [Read error: 131 (Connection reset by peer)]

08:52 love-pingoo has joined #ocaml

09:08 jlouis has quit [Remote closed the connection]

10:26 diffbavis has joined #ocaml

10:39 eradman has quit [zelazny.freenode.net irc.freenode.net]

10:39 fremo has quit [zelazny.freenode.net irc.freenode.net]

10:39 Oatmeat|umn has quit [zelazny.freenode.net irc.freenode.net]

10:39 descender has quit [zelazny.freenode.net irc.freenode.net]

10:39 gunark has quit [zelazny.freenode.net irc.freenode.net]

10:39 ppsmimou has quit [zelazny.freenode.net irc.freenode.net]

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

10:39 love-pingoo has quit [zelazny.freenode.net irc.freenode.net]

10:39 david_koontz has quit [zelazny.freenode.net irc.freenode.net]

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

10:39 oscarh has quit [zelazny.freenode.net irc.freenode.net]

10:39 diffbavis has quit [zelazny.freenode.net irc.freenode.net]

10:39 joshcryer has quit [zelazny.freenode.net irc.freenode.net]

10:39 benny_ has quit [zelazny.freenode.net irc.freenode.net]

10:39 slipstream has quit [zelazny.freenode.net irc.freenode.net]

10:39 hcarty has quit [zelazny.freenode.net irc.freenode.net]

10:39 a-priori_ has quit [zelazny.freenode.net irc.freenode.net]

10:39 tsuyoshi has quit [zelazny.freenode.net irc.freenode.net]

10:39 jacobian has quit [zelazny.freenode.net irc.freenode.net]

10:39 ulfdoz_ has quit [zelazny.freenode.net irc.freenode.net]

10:39 theneb has quit [zelazny.freenode.net irc.freenode.net]

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

10:39 danly has quit [zelazny.freenode.net irc.freenode.net]

10:39 delamon has quit [zelazny.freenode.net irc.freenode.net]

10:39 mbishop has quit [zelazny.freenode.net irc.freenode.net]

10:39 sourcerror has quit [zelazny.freenode.net irc.freenode.net]

10:39 levi_home has quit [zelazny.freenode.net irc.freenode.net]

10:39 flux- has quit [zelazny.freenode.net irc.freenode.net]

10:39 haelix has quit [zelazny.freenode.net irc.freenode.net]

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

10:39 zhllg has quit [zelazny.freenode.net irc.freenode.net]

10:39 ramkrsna has quit [zelazny.freenode.net irc.freenode.net]

10:39 ozzloy has quit [zelazny.freenode.net irc.freenode.net]

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

10:39 pattern has quit [zelazny.freenode.net irc.freenode.net]

10:39 trisiak has quit [zelazny.freenode.net irc.freenode.net]

10:39 oracle1 has quit [zelazny.freenode.net irc.freenode.net]

10:39 jdev has quit [zelazny.freenode.net irc.freenode.net]

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

10:39 zmdkrbou has quit [zelazny.freenode.net irc.freenode.net]

10:39 bebui has quit [zelazny.freenode.net irc.freenode.net]

10:39 pants1 has quit [zelazny.freenode.net irc.freenode.net]

10:39 eroyf has quit [SendQ exceeded]

10:40 pstickne has quit [SendQ exceeded]

10:40 diffbavis has joined #ocaml

10:40 love-pingoo has joined #ocaml

10:40 eradman has joined #ocaml

10:40 ppsmimou has joined #ocaml

10:40 gim has joined #ocaml

10:40 gunark has joined #ocaml

10:40 Oatmeat|umn has joined #ocaml

10:40 descender has joined #ocaml

10:40 fremo has joined #ocaml

10:40 a-priori_ has joined #ocaml

10:40 joshcryer has joined #ocaml

10:40 david_koontz has joined #ocaml

10:40 pants1 has joined #ocaml

10:40 benny_ has joined #ocaml

10:40 slipstream has joined #ocaml

10:40 theneb has joined #ocaml

10:40 trisiak has joined #ocaml

10:40 sourcerror has joined #ocaml

10:40 Hadaka has joined #ocaml

10:40 levi_home has joined #ocaml

10:40 oracle1 has joined #ocaml

10:40 jdev has joined #ocaml

10:40 zmdkrbou has joined #ocaml

10:40 mattam has joined #ocaml

10:40 bebui has joined #ocaml

10:40 jacobian has joined #ocaml

10:40 ulfdoz_ has joined #ocaml

10:40 zhllg has joined #ocaml

10:40 delamon has joined #ocaml

10:40 hcarty has joined #ocaml

10:40 ramkrsna has joined #ocaml

10:40 flux- has joined #ocaml

10:40 Amorphous has joined #ocaml

10:40 TaXules has joined #ocaml

10:40 cmeme has joined #ocaml

10:40 pattern has joined #ocaml

10:40 danly has joined #ocaml

10:40 ozzloy has joined #ocaml

10:40 haelix has joined #ocaml

10:40 tsuyoshi has joined #ocaml

10:40 mbishop has joined #ocaml

10:40 oscarh has joined #ocaml

10:41 pstickne has joined #ocaml

10:42 eroyf has joined #ocaml

11:11 Ugarte has quit [Read error: 110 (Connection timed out)]

11:46 mikeX has joined #ocaml

12:00 a-priori_ is now known as a-priori

12:02 vorago has joined #ocaml

12:02 <vorago> Hi.

12:05 <flux-> hello

12:31 <vorago> Have somebody a nice syntax highlighting for ocamlyacc and ocamllex for vim? (mll, mly)? ;D

13:31 malc_ has joined #ocaml

14:34 slipstream-- has joined #ocaml

14:37 slipstream has quit [Read error: 145 (Connection timed out)]

14:53 joshcryer has quit [Read error: 131 (Connection reset by peer)]

14:53 mbp has joined #ocaml

14:54 <mbp> running ocaml in interactive modes prints outs the values after each statement, is there a way to do the same when the input is a .ml file?

14:55 <mbp> ah, #use "foo.ml";;

15:05 <vorago> ;)

15:06 <vorago> (also ocamlc -i prints interface of a compiled file)

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

15:33 pango has joined #ocaml

15:38 love-pingoo has quit ["Leaving"]

15:46 <flux-> of a compiled file, it works with .cmi/.cmo-files too?

16:02 smimou has joined #ocaml

16:07 bluestorm_ has joined #ocaml

16:15 ramkrsna has quit [Remote closed the connection]

16:16 oscarh has quit [zelazny.freenode.net irc.freenode.net]

16:16 Hadaka has quit [zelazny.freenode.net irc.freenode.net]

16:16 david_koontz has quit [zelazny.freenode.net irc.freenode.net]

16:17 david_koontz has joined #ocaml

16:41 Naked has joined #ocaml

16:41 Naked is now known as Hadaka

16:41 oscarh has joined #ocaml

16:41 mnemonic has joined #ocaml

16:45 oscarh has quit [zelazny.freenode.net irc.freenode.net]

16:45 Hadaka has quit [zelazny.freenode.net irc.freenode.net]

16:56 postalchris has joined #ocaml

17:00 mbp has quit []

17:01 Naked has joined #ocaml

17:01 Naked is now known as Hadaka

17:02 mbp has joined #ocaml

17:02 mbp has quit [Read error: 104 (Connection reset by peer)]

17:02 mbp_ has joined #ocaml

17:03 oscarh has joined #ocaml

17:05 benny has joined #ocaml

17:07 mnemonic has quit ["leaving"]

17:11 malc__ has joined #ocaml

17:13 benny_ has quit [Read error: 145 (Connection timed out)]

17:18 malc_ has quit [Read error: 110 (Connection timed out)]

17:33 mbp_ has quit [Read error: 104 (Connection reset by peer)]

17:34 postalchris has quit [Read error: 110 (Connection timed out)]

17:49 pango has quit [Remote closed the connection]

18:18 postalchris has joined #ocaml

18:22 <postalchris> More camlp4 fun... <:sig_item< value x : int ref >> becomes "val x : ref int"...

18:23 pango has joined #ocaml

18:23 <postalchris> The pretty-printed pre-processed output is: (MLast.SgVal

18:23 <postalchris> (_loc, "x",

18:23 <postalchris> MLast.TyApp

18:23 <postalchris> (_loc, MLast.TyLid (_loc, "int"), MLast.TyLid (_loc, "ref"))),

18:23 <postalchris> _loc)

18:26 <postalchris> OK, it seems the parametric type syntax is inverted in camlp4 <:sig_item <value x : ref int >> becomes "val x : int ref"...

18:27 love-pingoo has joined #ocaml

18:44 Submarine has joined #ocaml

19:07 cmvjk has joined #ocaml

19:15 shawn has joined #ocaml

19:16 shawn has quit [Remote closed the connection]

19:19 shawn has joined #ocaml

19:30 shawn has quit [Read error: 131 (Connection reset by peer)]

19:30 <flux-> postalchris, camlp4 uses the revised syntax

19:31 shawn has joined #ocaml

19:40 dark_light has joined #ocaml

19:47 shawn has quit [Connection timed out]

19:47 shawn has joined #ocaml

20:17 postalchris has quit ["Leaving."]

20:17 postalchris has joined #ocaml

20:22 oscarh has quit [zelazny.freenode.net irc.freenode.net]

20:22 Hadaka has quit [zelazny.freenode.net irc.freenode.net]

20:22 mikeX has quit [zelazny.freenode.net irc.freenode.net]

20:22 diffbavis has quit [zelazny.freenode.net irc.freenode.net]

20:22 hcarty has quit [zelazny.freenode.net irc.freenode.net]

20:22 cmvjk has quit [zelazny.freenode.net irc.freenode.net]

20:22 pstickne has quit [zelazny.freenode.net irc.freenode.net]

20:22 tsuyoshi has quit [zelazny.freenode.net irc.freenode.net]

20:22 jacobian has quit [zelazny.freenode.net irc.freenode.net]

20:22 a-priori has quit [zelazny.freenode.net irc.freenode.net]

20:22 ulfdoz_ has quit [zelazny.freenode.net irc.freenode.net]

20:22 love-pingoo has quit [zelazny.freenode.net irc.freenode.net]

20:22 theneb has quit [zelazny.freenode.net irc.freenode.net]

20:22 delamon has quit [zelazny.freenode.net irc.freenode.net]

20:22 Amorphous has quit [zelazny.freenode.net irc.freenode.net]

20:22 danly has quit [zelazny.freenode.net irc.freenode.net]

20:22 Submarine has quit [zelazny.freenode.net irc.freenode.net]

20:22 david_koontz has quit [zelazny.freenode.net irc.freenode.net]

20:22 vorago has quit [zelazny.freenode.net irc.freenode.net]

20:22 mbishop has quit [zelazny.freenode.net irc.freenode.net]

20:22 slipstream-- has quit [zelazny.freenode.net irc.freenode.net]

20:22 zhllg has quit [zelazny.freenode.net irc.freenode.net]

20:22 TaXules has quit [zelazny.freenode.net irc.freenode.net]

20:22 haelix has quit [zelazny.freenode.net irc.freenode.net]

20:22 flux- has quit [zelazny.freenode.net irc.freenode.net]

20:22 cmeme has quit [zelazny.freenode.net irc.freenode.net]

20:22 sourcerror has quit [zelazny.freenode.net irc.freenode.net]

20:22 levi_home has quit [zelazny.freenode.net irc.freenode.net]

20:22 ozzloy has quit [zelazny.freenode.net irc.freenode.net]

20:22 pattern has quit [zelazny.freenode.net irc.freenode.net]

20:22 malc__ has quit [zelazny.freenode.net irc.freenode.net]

20:22 oracle1 has quit [zelazny.freenode.net irc.freenode.net]

20:22 trisiak has quit [zelazny.freenode.net irc.freenode.net]

20:22 bebui has quit [zelazny.freenode.net irc.freenode.net]

20:22 zmdkrbou has quit [zelazny.freenode.net irc.freenode.net]

20:22 jdev has quit [zelazny.freenode.net irc.freenode.net]

20:22 mattam has quit [zelazny.freenode.net irc.freenode.net]

20:22 cmvjk has joined #ocaml

20:22 Submarine has joined #ocaml

20:22 love-pingoo has joined #ocaml

20:22 malc__ has joined #ocaml

20:22 oscarh has joined #ocaml

20:22 Hadaka has joined #ocaml

20:22 david_koontz has joined #ocaml

20:22 slipstream-- has joined #ocaml

20:22 vorago has joined #ocaml

20:22 mikeX has joined #ocaml

20:22 pstickne has joined #ocaml

20:22 diffbavis has joined #ocaml

20:22 a-priori has joined #ocaml

20:22 theneb has joined #ocaml

20:22 trisiak has joined #ocaml

20:22 sourcerror has joined #ocaml

20:22 levi_home has joined #ocaml

20:22 mbishop has joined #ocaml

20:22 tsuyoshi has joined #ocaml

20:22 oracle1 has joined #ocaml

20:22 jdev has joined #ocaml

20:22 zmdkrbou has joined #ocaml

20:22 mattam has joined #ocaml

20:22 bebui has joined #ocaml

20:22 jacobian has joined #ocaml

20:22 ulfdoz_ has joined #ocaml

20:22 zhllg has joined #ocaml

20:22 delamon has joined #ocaml

20:22 hcarty has joined #ocaml

20:22 flux- has joined #ocaml

20:22 Amorphous has joined #ocaml

20:22 TaXules has joined #ocaml

20:22 cmeme has joined #ocaml

20:22 pattern has joined #ocaml

20:22 danly has joined #ocaml

20:22 ozzloy has joined #ocaml

20:22 haelix has joined #ocaml

20:32 david_koontz has left #ocaml []

20:53 jlouis has joined #ocaml

21:38 theneb has left #ocaml []

21:47 love-pingoo has quit ["Connection reset by pear"]

22:05 malc__ has quit ["leaving"]

22:11 JeffSmac has joined #ocaml

22:15 Mr_Awesome has joined #ocaml

22:23 bluestorm_ has quit ["Konversation terminated!"]

22:31 mnemonic has joined #ocaml

22:49 JeffSmac has quit []

23:03 <mnemonic> hi

23:05 <jlouis> oy

23:06 <mbishop> Anyone know of a channel for F# (I'm in #Fsharp, it's registered by empty)

23:18 JeffSmac has joined #ocaml

23:39 postalchris has quit [Read error: 110 (Connection timed out)]