#ocaml on 2010-03-08 — irc logs at freenode.irclog.whitequark.org

2010-01-23 20:01 mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010

00:01 boscop has quit [Quit: Gxis revido!]

00:05 tmaeda is now known as tmaedaZ

00:15 maskd has quit [Quit: leaving]

00:22 sepp2k has quit [Quit: Leaving.]

00:26 mutewit has joined #ocaml

00:28 mutewit is now known as mutew

00:40 dark has quit [Ping timeout: 248 seconds]

00:40 enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]

00:46 krankkatze has quit [Ping timeout: 245 seconds]

00:52 dark has joined #ocaml

01:04 krankkatze has joined #ocaml

01:05 mrvn has quit [Ping timeout: 240 seconds]

01:26 krankkatze has quit [Ping timeout: 276 seconds]

01:29 enthymene has joined #ocaml

01:37 krankkatze has joined #ocaml

01:56 straw_hat has quit [Quit: leaving]

01:57 enthymene` has joined #ocaml

02:01 _unK has quit [Remote host closed the connection]

02:03 orbitz has quit [Ping timeout: 246 seconds]

02:04 orbitz has joined #ocaml

02:16 derdon has quit [Quit: derdon]

02:19 enthymene` has quit [Remote host closed the connection]

02:36 Drk-Sd has quit [Quit: gn]

02:39 jimmyb2187 has quit [Ping timeout: 265 seconds]

02:39 seafood has joined #ocaml

02:40 jimmyb2187 has joined #ocaml

02:43 seafood has quit [Client Quit]

02:55 jimmyb2187 has quit [Ping timeout: 260 seconds]

02:56 jimmyb2187 has joined #ocaml

03:03 seanmcl has joined #ocaml

03:23 joewilliams_away is now known as joewilliams

03:26 seafood has joined #ocaml

03:29 seanmcl has quit [Quit: seanmcl]

03:40 orbitz has quit [Ping timeout: 276 seconds]

03:47 caligula__ has joined #ocaml

03:47 caligula_ has quit [Ping timeout: 240 seconds]

03:52 brendan has joined #ocaml

03:55 seafood has quit [Quit: seafood]

04:12 joewilliams is now known as joewilliams_away

04:17 avsm has joined #ocaml

04:19 avsm1 has quit [Ping timeout: 264 seconds]

04:19 seafood has joined #ocaml

04:20 seafood has quit [Client Quit]

04:28 seafood has joined #ocaml

04:29 seafood has quit [Client Quit]

04:32 seafood has joined #ocaml

04:32 seafood has quit [Client Quit]

04:59 avsm1 has joined #ocaml

05:01 avsm has quit [Ping timeout: 245 seconds]

05:06 valross has quit [Quit: Ex-Chat]

05:06 valross has joined #ocaml

05:33 seafood has joined #ocaml

05:33 seafood has quit [Client Quit]

05:43 ulfdoz has joined #ocaml

05:45 dark has quit [Ping timeout: 240 seconds]

05:48 derdon has joined #ocaml

05:49 dark has joined #ocaml

05:50 dark has quit [Read error: Connection reset by peer]

06:18 yakischloba has quit [Quit: Leaving.]

06:40 ygrek has joined #ocaml

06:41 seafood has joined #ocaml

06:48 seafood has quit [Quit: seafood]

06:55 ttamttam has joined #ocaml

06:56 derdon has quit [Quit: derdon]

06:58 ulfdoz has quit [Ping timeout: 265 seconds]

07:00 BigJ has quit [Ping timeout: 245 seconds]

07:04 Yoric has joined #ocaml

07:09 ttamttam has quit [Quit: Leaving.]

07:10 valross has quit [Quit: Ex-Chat]

07:17 enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]

07:38 Shoggoth has joined #ocaml

07:39 ikaros has joined #ocaml

07:48 jcaose has joined #ocaml

07:53 ttamttam has joined #ocaml

08:06 Yoric has quit [Quit: Yoric]

08:30 _zack has joined #ocaml

08:31 ikaros has quit [Quit: Leave the magic to Houdini]

08:38 cmeme has quit [Ping timeout: 265 seconds]

08:47 spearalot has joined #ocaml

09:00 Shoggoth has quit [Quit: Ex-Chat]

09:16 Yoric has joined #ocaml

09:23 ttamttam1 has joined #ocaml

09:26 ttamttam has quit [Ping timeout: 276 seconds]

09:27 avsm1 has quit [Quit: Leaving.]

09:34 sepp2k has joined #ocaml

09:43 Alpounet has quit [Read error: Connection reset by peer]

09:43 Alpounet has joined #ocaml

10:03 rwmjones has joined #ocaml

10:13 Mr_Awesome has quit [Read error: Connection reset by peer]

10:15 spearalot has quit [Quit: Computer has gone to sleep]

10:27 pimmhogeling has joined #ocaml

10:31 Mr_Awesome has joined #ocaml

10:37 Alpounet has quit [Ping timeout: 264 seconds]

10:52 Alpounet has joined #ocaml

10:57 ido has quit [Ping timeout: 260 seconds]

10:57 avsm has joined #ocaml

11:21 <mfp> flux: you were doing this, right? http://www.reddit.com/r/programming/comments/bamd2/a_heap_of_regular_strings_enumerating_the_strings/

11:24 <flux> mfp, yes.. although that doesn't actually do the re->dfa part?

11:25 <flux> in any case I know (in theory :)) how to do all that, but it'd be nicer if someone had already done it for me :)

11:25 <flux> thelema mentioned some code for doing re->dfa, although in general re->nfa and nfa->dfa could be more useful

11:42 spearalot has joined #ocaml

11:44 noj_ has quit [Quit: leaving]

11:44 noj has joined #ocaml

11:59 spearalot has quit [Quit: Computer has gone to sleep]

12:14 jcaose_ has joined #ocaml

12:17 jcaose has quit [Ping timeout: 245 seconds]

12:18 _andre has joined #ocaml

12:30 drk-sd has joined #ocaml

12:45 pimmhogeling has quit [Ping timeout: 265 seconds]

12:59 pimmhogeling has joined #ocaml

13:02 avsm1 has joined #ocaml

13:03 avsm has quit [Ping timeout: 245 seconds]

13:08 seanmcl has joined #ocaml

13:14 _unK has joined #ocaml

13:19 drk-sd has quit [Quit: leaving]

13:28 Jedai has quit [Ping timeout: 248 seconds]

13:32 <flux> thelema, no PMap.Exceptionless apparently?

13:41 derdon has joined #ocaml

13:42 alp has joined #ocaml

13:43 alp has quit [Read error: Connection reset by peer]

13:44 Alpounet has quit [Read error: No route to host]

13:44 Alpounet has joined #ocaml

13:51 <thelema> flux: You can put that in the issues tracker or code it yourself - most of the exceptionless modules are pretty simple wrappers

13:56 <flux> ok

13:57 <flux> also, is there a way to create an output stream that outputs into a string, other than using BatIO.create_out to implement it?

13:58 <thelema> I wrote a little wrapper IO.to_string that converts a generic (IO.out_channel -> 'a -> unit) into a ('a -> string)

13:58 <thelema> in the straightforward way.

13:59 <flux> ah, BatIO.output_buffer

13:59 <flux> the name of the can be a bit confusing, though..

13:59 <thelema> ah, I misread your question. Yes, that's already written

14:01 pimmhogeling has quit [Ping timeout: 265 seconds]

14:17 tmaedaZ is now known as tmaeda

14:25 sepp2k has quit [Quit: Leaving.]

14:28 _unK has quit [Remote host closed the connection]

14:51 boscop has joined #ocaml

14:58 Associat0r has joined #ocaml

15:00 bzzbzz has joined #ocaml

15:04 pimmhogeling has joined #ocaml

15:06 yakischloba has joined #ocaml

15:15 filp has joined #ocaml

15:34 spearalot has joined #ocaml

15:42 joewilliams_away is now known as joewilliams

15:50 spearalot has quit [Quit: Computer has gone to sleep]

15:50 pimmhogeling has quit [Ping timeout: 265 seconds]

15:51 pimmhogeling has joined #ocaml

16:38 CodeBlock` has quit [Ping timeout: 240 seconds]

16:45 spearalot has joined #ocaml

16:47 tmaeda is now known as tmaedaZ

16:50 CodeBlock` has joined #ocaml

16:58 Drk-Sd has joined #ocaml

16:59 filp has quit [Quit: Bye]

17:00 Alpounet has quit [Ping timeout: 240 seconds]

17:00 _zack has quit [Quit: Leaving.]

17:01 Alpounet has joined #ocaml

17:06 pimmhogeling has quit [Ping timeout: 265 seconds]

17:10 ttamttam1 has quit [Quit: Leaving.]

17:12 sepp2k has joined #ocaml

17:14 Drk-Sd is now known as drk-sd`

17:14 Drk-Sd has joined #ocaml

17:15 drk-sd` has quit [Quit: {'EXIT', Drk-Sd, "bye"}]

17:20 pimmhogeling has joined #ocaml

17:28 krankkatze has quit [Remote host closed the connection]

17:33 pimmhogeling has quit [Ping timeout: 265 seconds]

17:44 joewilliams is now known as joewilliams_away

17:54 ulfdoz has joined #ocaml

17:54 _unK has joined #ocaml

18:01 pimmhogeling has joined #ocaml

18:15 spearalot has quit [Quit: -arividerchi]

18:15 jao has joined #ocaml

18:36 smimou has quit [Ping timeout: 265 seconds]

18:37 ttamttam has joined #ocaml

18:39 smimou has joined #ocaml

18:44 Submarine has joined #ocaml

18:45 albacker has joined #ocaml

18:46 joewilliams_away is now known as joewilliams

18:49 Yoric has quit [Quit: Yoric]

18:54 ygrek has quit [Remote host closed the connection]

18:57 Snark has joined #ocaml

19:06 slash_ has joined #ocaml

19:06 Pepe_ has quit [Ping timeout: 245 seconds]

19:13 Pepe_ has joined #ocaml

19:16 smimou has quit [Ping timeout: 245 seconds]

19:16 smimou has joined #ocaml

19:22 smimou has quit [Ping timeout: 268 seconds]

19:26 smimou has joined #ocaml

19:33 pimmhogeling has quit [Ping timeout: 265 seconds]

19:36 lokydor has joined #ocaml

19:41 Yoric has joined #ocaml

19:54 enthymene has joined #ocaml

19:57 jao has quit [Read error: Connection reset by peer]

20:00 peddie_ has joined #ocaml

20:04 peddie_ has quit [Client Quit]

20:04 ttamttam has quit [Quit: Leaving.]

20:06 joewilliams is now known as joewilliams_away

20:08 yakischloba has quit [Quit: Leaving.]

20:09 yakischloba has joined #ocaml

20:09 maattd has joined #ocaml

20:13 yakischloba has quit [Ping timeout: 245 seconds]

20:23 lokydor has quit [Ping timeout: 240 seconds]

20:34 jcaose_ has quit [Ping timeout: 245 seconds]

20:34 _andre has quit [Quit: *puff*]

20:34 ygrek has joined #ocaml

20:37 Submarine has quit [Ping timeout: 265 seconds]

20:38 yakischloba has joined #ocaml

20:39 mfp has quit [Read error: Connection reset by peer]

20:39 Snark has quit [Quit: Ex-Chat]

20:43 avsm1 has left #ocaml []

20:45 mfp has joined #ocaml

20:47 rwmjones has quit [Ping timeout: 245 seconds]

20:51 ygrek has quit [Quit: Leaving]

20:54 {newbie} has joined #ocaml

21:00 rwmjones has joined #ocaml

21:01 Alpounet has quit [Ping timeout: 276 seconds]

21:04 Alpounet has joined #ocaml

21:21 sepp2k1 has joined #ocaml

21:23 sepp2k has quit [Ping timeout: 245 seconds]

21:31 Alpounet has quit [Ping timeout: 268 seconds]

21:35 Alpounet has joined #ocaml

21:42 albacker has quit [Ping timeout: 256 seconds]

21:45 lokydor has joined #ocaml

21:46 ulfdoz has quit [Ping timeout: 245 seconds]

22:01 lokydor has quit [Ping timeout: 245 seconds]

22:02 valross has joined #ocaml

22:11 yakischloba has quit [Quit: Leaving.]

22:21 yakischloba has joined #ocaml

22:28 Yoric has quit [Quit: Yoric]

22:32 seanmcl has quit [Quit: seanmcl]

22:36 Associat0r has quit [Quit: Associat0r]

22:55 slash_ has quit [Quit: leaving]

23:26 maattd is now known as maattd|away

23:30 Yoric has joined #ocaml

23:36 Yoric has quit [Quit: Yoric]

23:38 Amorphous has quit [Ping timeout: 246 seconds]

23:54 Amorphous has joined #ocaml