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

2010-06-06 08:58 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Batteries 1.2.0 released http://batteries.forge.ocamlcore.org

01:48 thelema_ has joined #ocaml

01:51 orbitz_ has joined #ocaml

01:52 _nejimban has joined #ocaml

01:53 npouillard has quit [Ping timeout: 248 seconds]

01:53 bacam_ has joined #ocaml

01:53 nejimban has quit [Ping timeout: 240 seconds]

01:53 thelema has quit [Ping timeout: 240 seconds]

01:53 orbitz has quit [Ping timeout: 240 seconds]

01:53 bacam has quit [Ping timeout: 240 seconds]

01:53 neorab has quit [Ping timeout: 240 seconds]

01:53 svenl has quit [Ping timeout: 240 seconds]

01:53 svenl has joined #ocaml

01:53 npouillard has joined #ocaml

01:54 neorab has joined #ocaml

01:54 jimmyb2187 has joined #ocaml

02:14 NYnix has joined #ocaml

02:22 joewilliams is now known as joewilliams_away

02:42 NYnix has quit [Quit: leaving]

02:43 ccasin has quit [Quit: Leaving]

02:44 joewilliams_away is now known as joewilliams

02:52 joewilliams is now known as joewilliams_away

03:10 sidolin has quit [Read error: Operation timed out]

03:11 thrasibule has joined #ocaml

03:12 sidolin has joined #ocaml

03:57 pad has quit [Remote host closed the connection]

04:01 joewilliams_away is now known as joewilliams

04:01 joewilliams is now known as joewilliams_away

04:38 ulfdoz has joined #ocaml

04:54 Shoggoth has joined #ocaml

05:20 Shoggoth has quit [Remote host closed the connection]

05:24 jimmyb2187 has quit [Read error: Operation timed out]

05:50 ygrek has joined #ocaml

05:57 Amorphous has quit [Read error: Connection reset by peer]

06:00 ttamttam has joined #ocaml

06:02 ulfdoz has quit [Ping timeout: 252 seconds]

06:15 ttamttam has quit [Quit: Leaving.]

06:15 Amorphous has joined #ocaml

06:24 jimmyb2187 has joined #ocaml

06:50 ttamttam has joined #ocaml

07:23 oriba has joined #ocaml

07:28 mrchebas has joined #ocaml

07:32 spearalot has joined #ocaml

07:33 mrchebas has quit [Quit: mrchebas]

07:33 thrasibule has quit [Quit: No Ping reply in 180 seconds.]

07:34 thrasibule has joined #ocaml

07:34 ygrek has quit [Remote host closed the connection]

07:46 ygrek has joined #ocaml

07:49 barismetin has joined #ocaml

07:53 ygrek has quit [Ping timeout: 245 seconds]

07:54 spearalot has quit [Quit: -arividerchi]

07:54 oriba has quit [Quit: Verlassend]

08:00 Yoric has joined #ocaml

08:02 ikaros has joined #ocaml

08:04 hcarty_ has joined #ocaml

08:04 mrvn_ has joined #ocaml

08:05 __mattam__ has joined #ocaml

08:05 msteele_ has joined #ocaml

08:05 rwmjones is now known as rwmjones_biab

08:05 aavogt1 has joined #ocaml

08:06 Associat0r has quit [Quit: Associat0r]

08:08 ygrek has joined #ocaml

08:09 ttamttam has quit [*.net *.split]

08:09 aavogt has quit [*.net *.split]

08:09 mrvn has quit [*.net *.split]

08:09 hcarty has quit [*.net *.split]

08:09 msteele has quit [*.net *.split]

08:09 mattam has quit [*.net *.split]

08:09 olegfink has quit [*.net *.split]

08:09 emias has quit [*.net *.split]

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

08:14 ikaros has joined #ocaml

08:25 olegfink has joined #ocaml

08:25 emias has joined #ocaml

08:27 ttamttam has joined #ocaml

08:27 olegfink has quit [Excess Flood]

08:28 olegfink has joined #ocaml

08:28 olegfink has quit [Excess Flood]

08:32 olegfink has joined #ocaml

08:37 olegfink has quit [*.net *.split]

08:37 ttamttam has quit [*.net *.split]

08:37 emias has quit [*.net *.split]

08:43 bacam_ has quit [Quit: Reconnecting]

08:43 bacam has joined #ocaml

08:54 myu2 has joined #ocaml

09:12 ftrvxmtrx has joined #ocaml

09:15 rwmjones_biab is now known as rjones

09:15 rjones is now known as rwmjones

09:20 emias has joined #ocaml

09:20 olegfink has joined #ocaml

09:25 ttamttam has joined #ocaml

09:55 Edward_ has joined #ocaml

09:57 ygrek has quit [Ping timeout: 245 seconds]

10:06 Edward_ has quit [Ping timeout: 276 seconds]

10:12 f[x] has quit [Ping timeout: 248 seconds]

10:13 f[x] has joined #ocaml

10:21 prince has joined #ocaml

10:22 myu2 has quit [Quit: Leaving...]

11:09 Edward__ has joined #ocaml

11:23 ygrek has joined #ocaml

11:39 kaustuv has joined #ocaml

11:40 _andre has joined #ocaml

11:48 <kaustuv> % (cd ~/build/ocaml-trunk && svn diff -c 10534 VERSION | egrep '^[+-]3')

11:48 <kaustuv> -3.12.0+dev26 (2010-06-04)

11:48 <kaustuv> +3.13.0+dev0 (2010-06-07)

11:48 <kaustuv> ... does this mean that 3.12.0 is about to land?

11:48 Edward__ has quit []

11:59 <flux> :-o

11:59 <kaustuv> Wow, apparently lablgtk and othe rprograms depended on a type system unsoundness: http://caml.inria.fr/mantis/view.php?id=4824

12:00 <flux> :)

12:01 <adrien> yeah, release was expected around july iirc

12:01 <adrien> so RC soon

12:01 <flux> Obj.magic to the rescue?

12:02 <adrien> kaustuv: could hurt a lot

12:09 fraggle_ has quit [Quit: -ENOBRAIN]

12:09 fraggle_ has joined #ocaml

12:15 __mattam__ has left #ocaml []

12:16 mattam has joined #ocaml

12:35 Yoric has quit [Quit: Yoric]

12:43 kaustuv has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

12:51 thrasibule has quit [Ping timeout: 265 seconds]

13:22 orbitz_ has quit [Quit: Reconnecting]

13:22 orbitz has joined #ocaml

13:25 ygrek has quit [Ping timeout: 245 seconds]

13:30 boscop has joined #ocaml

13:40 Submarine has joined #ocaml

14:10 ccasin has joined #ocaml

14:25 ikaros has quit [Quit: Leave the magic to Houdini]

14:27 Associat0r has joined #ocaml

14:30 joewilliams_away is now known as joewilliams

15:19 avsm has joined #ocaml

15:27 ftrvxmtrx has quit [Quit: Leaving]

15:48 aavogt1 is now known as aavogt

15:49 derdon has joined #ocaml

16:07 avsm has quit [Quit: Leaving.]

16:24 ttamttam has quit [Quit: Leaving.]

16:25 Yoric has joined #ocaml

16:28 Jedai has joined #ocaml

16:28 barismetin has quit [Quit: Leaving...]

16:38 <flux> soo, has anyone yet taken a look on how to fix lablgtk?

16:39 * adrien won't admit he didn't even think of it and simply hopes Jacques will ;-)

16:40 hcarty_ has left #ocaml []

16:40 hcarty has joined #ocaml

16:41 * hcarty seconds adrien's wishful thinking

16:41 <flux> wishful-thinking-driven development?-)

16:42 <hcarty> WTDD

16:42 <adrien> Jacques-knows-better-driven development ;-)

16:42 thelema_ is now known as thelema

16:43 <thelema> someone-else's-job-driven development

16:45 <sgnb> Jacques fixed it years ago

16:45 <derdon> thelema: hi

16:45 <sgnb> flux: ^^^

16:45 <sgnb> (i.e. this morning)

16:46 <thelema> derdon: hi

16:46 <derdon> thelema: I'm trying to combine ocamlbuild and the batteries like described there: http://batteries.forge.ocamlcore.org/doc.preview:batteries-beta1/html/setup.html

16:47 <thelema> derdon: sorry, those are old instructions. Look here: http://github.com/thelema/batteries-included/blob/a87e31d6e36dfe3e2f9e60a6bca83231e86fb37e/examples/euler/Makefile

16:48 <derdon> thelema: but it fails with the following error message: "ocamlfind: cannot find command: /usr/lib/ocaml/batteries/ocamlbuild"

16:48 <derdon> thelema: I use ocamlbuild, no makefile

16:50 <derdon> thelema: I mean the section "Complete projects (easiest technique)" in the link I pasted

16:50 <thelema> are you using a findlib-enabled myocamlbuild.ml?

16:50 <thelema> http://wiki.github.com/thelema/batteries-included/

16:51 <derdon> thelema: ah, this link will probably help. thanks!

16:57 <derdon> woooooooow, my script works (partially) :))

16:57 <derdon> amazing feeling

17:00 ftrvxmtrx has joined #ocaml

17:04 prince has quit [Ping timeout: 258 seconds]

17:15 _unK has joined #ocaml

17:17 pad has joined #ocaml

17:22 Yoric has quit [Quit: Yoric]

17:33 bzzbzz has joined #ocaml

17:41 ygrek has joined #ocaml

18:06 ttamttam has joined #ocaml

18:17 sdschulze has joined #ocaml

18:19 Submarine has quit [Ping timeout: 260 seconds]

18:22 Submarine has joined #ocaml

18:40 _nejimban has left #ocaml []

18:41 jimmyb2187 has quit [Ping timeout: 264 seconds]

18:42 nejimban has joined #ocaml

18:43 ulfdoz has joined #ocaml

18:55 travisbrady has joined #ocaml

19:14 ikaros has joined #ocaml

19:22 jimmyb2187 has joined #ocaml

19:28 alexyk has joined #ocaml

19:35 <derdon> will there be real tracebacks (like in python, for example) in ocaml anytime?

19:36 <hcarty> derdon: I haven't used Python enough to be familiar with its backtraces, but OCaml supports this already

19:37 <hcarty> derdon: You need to compile with debugging support and enable backtraces (usually with OCAMLRUNPARAM=b in the environment)

19:41 <derdon> hcarty: I can give you an example for a python backtrace

19:43 <adrien> the only difference I can think of is printing the values of arguments and returns, is that what you have in mind?

19:45 <derdon> adrien: I have in mind that I can see the whole way the interpreter "went" (that is, every line of the functions which are affected)

19:45 Jedai has quit [Ping timeout: 245 seconds]

19:45 Jedai has joined #ocaml

19:46 <adrien> OCAMLRUNPARAM="b" will show that, the difference is that you need to compile with -g

19:46 <adrien> otherwise it won't be usable

19:46 <adrien> (actually I think there can be other catches which are being worked on for most of them, but maybe not all)

19:47 <adrien> you're using an external library?

19:48 <derdon> adrien: yes, but I think it doesn't matter in this case

19:49 <adrien> well, what does your current backtrace look like?

19:51 <derdon> here is the traceback for a broken python script: http://paste.pocoo.org/show/223339/

19:52 <adrien> I meant, in your ocaml code

19:53 <derdon> there is currently no backtrace at all because I didn't activate it (yet)

19:54 <derdon> well, I thought there was a module for tracebacks in ocaml

19:54 <derdon> either in standard lib or in the bateries (or even in both?).

19:55 ccasin has quit [Quit: Leaving]

19:56 _andre has quit [Quit: leaving]

19:57 <derdon> ah, Printexc

20:10 alexyk has quit [Quit: alexyk]

20:44 alexyk has joined #ocaml

20:55 fraggle_ has quit [Ping timeout: 276 seconds]

20:57 fraggle_ has joined #ocaml

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

21:14 ulfdoz has quit [Ping timeout: 240 seconds]

21:22 ygrek has quit [Ping timeout: 245 seconds]

21:33 alexyk has quit [Quit: alexyk]

21:36 alexyk has joined #ocaml

21:57 Yoric has joined #ocaml

22:13 valross has joined #ocaml

22:19 alexyk has quit [Quit: alexyk]

22:20 valross has quit [Ping timeout: 265 seconds]

22:24 Yoric has quit [Quit: Yoric]

22:30 boscop has quit [Ping timeout: 240 seconds]

22:31 derdon has quit [Ping timeout: 260 seconds]

22:31 alexyk has joined #ocaml

22:32 valross has joined #ocaml

22:35 alexyk has quit [Client Quit]

22:46 valross has quit [Ping timeout: 240 seconds]

22:49 alexyk has joined #ocaml

22:53 ikaros has quit [Quit: Leave the magic to Houdini]

22:59 valross has joined #ocaml

23:02 <julm> http://pleac.sourceforge.net/pleac_ocaml/index.html :)

23:03 Jedai has quit [Quit: KVIrc Insomnia 4.0.0, revision: 3900, sources date: 20100125, built on: 2010-02-15 08:27:55 UTC 3900 http://www.kvirc.net/]

23:03 alexyk has quit [Quit: alexyk]

23:05 <dcolish> awesome!

23:10 thrasibule has joined #ocaml

23:20 valross has quit [Quit: Ex-Chat]

23:33 valross has joined #ocaml

23:37 _unK has quit [Remote host closed the connection]

23:38 valross has quit [Quit: Ex-Chat]