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

2007-05-23 19:57 mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)

00:06 danly has joined #ocaml

00:10 slipstream-- has joined #ocaml

00:15 slipstream-- has quit [Remote closed the connection]

00:23 NullPointer has joined #ocaml

00:27 NullPointer has quit [Client Quit]

00:28 slipstream-- has joined #ocaml

00:33 slipstream-- has quit [Remote closed the connection]

00:39 NullPointer has joined #ocaml

00:42 smimou has quit ["bli"]

00:46 tehdeuce has left #ocaml []

00:47 NullPointer has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.4/2007051502]"]

00:48 NullPointer has joined #ocaml

00:51 <NullPointer> nick chenhong

00:52 NullPointer is now known as chenhong

00:52 chenhong has left #ocaml []

00:52 slipstream-- has joined #ocaml

00:56 chenhong has joined #ocaml

00:57 slipstream-- has quit [Remote closed the connection]

01:00 chenhong has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.4/2007051502]"]

01:00 mbishop has quit [Remote closed the connection]

01:03 chenhong has joined #ocaml

01:10 slipstream-- has joined #ocaml

01:12 yodafinger has quit [Read error: 110 (Connection timed out)]

01:15 slipstream-- has quit [Remote closed the connection]

01:21 chenhong is now known as np

01:28 slipstream-- has joined #ocaml

01:33 visage has joined #ocaml

01:33 slipstream-- has quit [Remote closed the connection]

01:34 martin_ has joined #ocaml

01:34 martin_ is now known as mbishop

01:37 seafoodX has joined #ocaml

01:37 noteventime has quit [Remote closed the connection]

01:39 bluestorm_ has joined #ocaml

01:44 visage has quit []

01:49 slipstream-- has joined #ocaml

01:54 slipstream-- has quit [Remote closed the connection]

02:05 pants1 has quit [Read error: 110 (Connection timed out)]

02:07 slipstream-- has joined #ocaml

02:12 slipstream-- has quit [Remote closed the connection]

02:24 visage has joined #ocaml

02:24 slipstream-- has joined #ocaml

02:30 slipstream-- has quit [Remote closed the connection]

02:36 tehdeuce has joined #ocaml

02:38 <tehdeuce> What is the best way to refer to keycodes in ocaml? I'm playing around with opengl/glut, but I can't figure out how to check if the key pressed is F1 or escape or anything like that.

02:43 visage has quit []

02:45 slipstream-- has joined #ocaml

02:48 delamarche has joined #ocaml

02:48 np has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.4/2007051502]"]

02:50 slipstream-- has quit [Remote closed the connection]

02:57 Jessehk has joined #ocaml

02:57 <Jessehk> Hello. Does anyone have any experience writing a META file for ocamlfind? I'm having a few irratating problems...

02:58 <tsuyoshi> I've written a couple

02:59 <Jessehk> I'm trying to package lablgtk for Arch linux. All the files have been installed in /usr/lib/ocaml/lablgtk

02:59 <Jessehk> I've successfully gotten the META file to install in /usr/lib/ocaml/site-lib/lablgtk

03:00 <Jessehk> But when I try to compile it, I get a message indicating that it couldn't find the .cma files. Just a second, I'll post it.

03:00 pango has quit [Remote closed the connection]

03:01 <Jessehk> http://rafb.net/p/y97fEP85.html

03:01 <Jessehk> That's just a basic file to test that it works.

03:02 <Jessehk> When I try to compile using ocamlfind, it tells me it can't find GMain.

03:02 pango has joined #ocaml

03:02 <Jessehk> When I compile without ocamlfind (manually including the lablgtk dir with -I), it works fine

03:02 <tsuyoshi> hmm

03:03 <tsuyoshi> is GMain in gtkInit.cmo?

03:03 slipstream-- has joined #ocaml

03:04 <tsuyoshi> I seem to remember having to link it in separately

03:04 <tsuyoshi> the debian META has this:

03:04 <tsuyoshi> package "init" ( requires = "lablgtk2" archive(byte) = "gtkInit.cmo" archive(native) = "gtkInit.cmx"

03:04 <tsuyoshi> )

03:04 <tsuyoshi> er

03:05 <tsuyoshi> newlines were stripped, but you get the idea

03:08 <Jessehk> tsuyoshi: I think it's gmain (which comes from lablgtk.cma), because it compiles fine without gtkInit.cmo -- it just crashes when it's run (this is when I compile it without ocamlfind)

03:08 slipstream-- has quit [Remote closed the connection]

03:09 <Jessehk> tsuyoshi: But I'll keep your solution in mind regarding gtkInit.cmo -- I hadn't gotten there yet. :)

03:09 <tsuyoshi> wait.. what is crashing?

03:11 <Jessehk> tsuyoshi: If you don't link in gtkInit.cmo, it compiles but immediately crashes. This is without ocamlfind

03:11 <tsuyoshi> oh, yeah

03:11 <tsuyoshi> ok.. that's because gtkInit is calling something for you

03:11 <tsuyoshi> not an ocamlfind issue at all

03:16 <Jessehk> tsuyoshi: Do you think you could send me a copy of the Debian META?

03:17 <Jessehk> nvm, I'm getting it myself :)

03:21 slipstream-- has joined #ocaml

03:26 slipstream-- has quit [Remote closed the connection]

03:37 seafoodX has quit []

03:39 slipstream-- has joined #ocaml

03:44 slipstream-- has quit [Remote closed the connection]

03:46 seafoodX has joined #ocaml

04:03 slipstream-- has joined #ocaml

04:08 slipstream-- has quit [Remote closed the connection]

04:10 delamarche has quit []

04:21 slipstream-- has joined #ocaml

04:23 piggybox has joined #ocaml

04:26 slipstream-- has quit [Remote closed the connection]

04:35 piggybox3 has quit [Read error: 110 (Connection timed out)]

04:36 Smerdyakov has quit ["Leaving"]

04:42 slipstream-- has joined #ocaml

04:47 slipstream-- has quit [Remote closed the connection]

04:59 ramkrsna has joined #ocaml

05:00 slipstream-- has joined #ocaml

05:05 slipstream-- has quit [Remote closed the connection]

05:06 cmeme has quit ["Client terminated by server"]

05:06 cmeme has joined #ocaml

05:16 tehdeuce has quit [Remote closed the connection]

05:18 slipstream-- has joined #ocaml

05:23 slipstream-- has quit [Remote closed the connection]

05:32 Jessehk has quit ["Leaving"]

05:36 slipstream-- has joined #ocaml

05:38 Mr_Awesome has joined #ocaml

05:39 screwt8 has quit [Remote closed the connection]

05:41 slipstream-- has quit [Remote closed the connection]

05:42 screwt8 has joined #ocaml

05:51 ygrek has quit [Remote closed the connection]

05:57 slipstream-- has joined #ocaml

06:02 slipstream-- has quit [Remote closed the connection]

06:09 screwt8 has quit [Remote closed the connection]

06:15 slipstream-- has joined #ocaml

06:20 slipstream-- has quit [Remote closed the connection]

06:32 seafoodX has quit [Read error: 110 (Connection timed out)]

06:32 seafoodX has joined #ocaml

06:39 slipstream-- has joined #ocaml

06:44 slipstream-- has quit [Remote closed the connection]

06:57 slipstream-- has joined #ocaml

07:02 zarvok has quit ["BitchX-1.1-final -- just do it."]

07:02 slipstream-- has quit [Remote closed the connection]

07:15 slipstream-- has joined #ocaml

07:16 rwmjones has joined #ocaml

07:20 slipstream-- has quit [Remote closed the connection]

07:36 slipstream-- has joined #ocaml

07:41 slipstream-- has quit [Remote closed the connection]

07:51 Submarine has quit [Remote closed the connection]

07:54 slipstream-- has joined #ocaml

07:59 slipstream-- has quit [Remote closed the connection]

08:11 Mr_Awesome has quit ["time to impregnate a moth"]

08:12 slipstream-- has joined #ocaml

08:17 slipstream-- has quit [Remote closed the connection]

08:32 slipstream-- has joined #ocaml

08:37 slipstream-- has quit [Remote closed the connection]

08:40 smimou has joined #ocaml

08:42 piggybox3 has joined #ocaml

08:45 seafoodX has quit []

08:47 piggybox has quit [Read error: 110 (Connection timed out)]

08:50 slipstream-- has joined #ocaml

08:55 slipstream-- has quit [Remote closed the connection]

08:59 lamby has quit [Connection reset by peer]

09:08 slipstream-- has joined #ocaml

09:13 slipstream-- has quit [Remote closed the connection]

09:33 slipstream-- has joined #ocaml

09:38 slipstream-- has quit [Remote closed the connection]

09:51 slipstream-- has joined #ocaml

09:56 slipstream-- has quit [Remote closed the connection]

09:59 screwt8 has joined #ocaml

10:08 slipstream-- has joined #ocaml

10:12 smimou has quit ["bli"]

10:14 slipstream-- has quit [Remote closed the connection]

10:21 screwt8 has quit [Remote closed the connection]

10:26 screwt8 has joined #ocaml

10:29 slipstream-- has joined #ocaml

10:31 noteventime has joined #ocaml

10:34 kelaouchi has quit ["leaving"]

10:34 jlouis has joined #ocaml

10:34 slipstream-- has quit [Remote closed the connection]

10:41 ygrek has joined #ocaml

10:47 jlouis_ has quit [Read error: 110 (Connection timed out)]

10:47 slipstream-- has joined #ocaml

10:52 slipstream-- has quit [Remote closed the connection]

11:05 slipstream-- has joined #ocaml

11:10 slipstream-- has quit [Remote closed the connection]

11:22 tty56_ has joined #ocaml

11:26 slipstream-- has joined #ocaml

11:31 slipstream-- has quit [Remote closed the connection]

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

11:44 slipstream-- has joined #ocaml

11:49 slipstream-- has quit [Remote closed the connection]

12:01 visage has joined #ocaml

12:02 slipstream-- has joined #ocaml

12:03 <vincenz> slipstream--: connection issues/

12:07 slipstream-- has quit [Remote closed the connection]

12:08 visage_ has joined #ocaml

12:08 kelaouchi has joined #ocaml

12:09 visage has quit [Read error: 104 (Connection reset by peer)]

12:12 _blackdog has joined #ocaml

12:15 visage has joined #ocaml

12:16 visage_ has quit [Read error: 104 (Connection reset by peer)]

12:26 slipstream-- has joined #ocaml

12:31 slipstream-- has quit [Remote closed the connection]

12:34 visage has quit [Read error: 110 (Connection timed out)]

12:44 slipstream-- has joined #ocaml

12:50 slipstre1m-- has joined #ocaml

12:55 slipstre2m-- has joined #ocaml

12:55 slipstre1m-- has quit [Remote closed the connection]

13:03 slipstream-- has quit [Connection timed out]

13:09 slipstre3m-- has joined #ocaml

13:13 slipstre2m-- has quit [Connection timed out]

13:14 slipstre3m-- has quit [Remote closed the connection]

13:18 slipstre2m-- has joined #ocaml

13:29 slipstream-- has joined #ocaml

13:34 visage has joined #ocaml

13:34 slipstream-- has quit [Remote closed the connection]

13:36 slipstre2m-- has quit [Connection timed out]

14:02 edwardk has joined #ocaml

14:20 edwardk has left #ocaml []

14:32 slipstream has joined #ocaml

14:37 slipstream has quit [Remote closed the connection]

14:39 visage has quit []

14:41 visage has joined #ocaml

14:46 malc_ has joined #ocaml

14:53 slipstream-- has joined #ocaml

14:58 slipstream-- has quit [Remote closed the connection]

15:11 slipstream-- has joined #ocaml

15:16 slipstream-- has quit [Remote closed the connection]

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

15:26 pango has joined #ocaml

15:27 fremo has joined #ocaml

15:28 slipstream-- has joined #ocaml

15:34 slipstream-- has quit [Remote closed the connection]

15:35 malc__ has joined #ocaml

15:46 malc_ has quit [Read error: 110 (Connection timed out)]

15:49 slipstream-- has joined #ocaml

15:51 mrael has joined #ocaml

15:52 Smerdyakov has joined #ocaml

15:52 <mrael> what's wrong with this?type component = int list;; let max_component_n (c:component) = List.fold_right max min_int c;;

15:52 <mrael> it doesn't like min_int... it thinks this function is being applied to a list of arbitrary type (a')

15:54 <ppsmimou> mrael: you should exchange c and min_int

15:54 <mrael> haha... sorry

15:54 <ppsmimou> the order of arguments of fold_left is not the same as fold_right

15:54 <zmdkrbou> if c is the list you're trying to fold, you should write List.fold_right max c min_int

15:54 <ppsmimou> hi zmdkrbou

15:54 <zmdkrbou> lo

15:54 slipstream-- has quit [Remote closed the connection]

15:55 <mrael> thank you ppsmimou

15:56 <ppsmimou> np

16:07 slipstream-- has joined #ocaml

16:12 _blackdog has quit [Read error: 110 (Connection timed out)]

16:12 slipstream-- has quit [Remote closed the connection]

16:21 cmeme has quit [Read error: 104 (Connection reset by peer)]

16:22 cmeme has joined #ocaml

16:24 noteventime has quit [Remote closed the connection]

16:25 slipstream-- has joined #ocaml

16:29 malc__ is now known as malc_

16:30 slipstream-- has quit [Remote closed the connection]

16:43 slipstream-- has joined #ocaml

16:48 visage_ has joined #ocaml

16:48 slipstream-- has quit [Remote closed the connection]

16:49 visage has quit [Read error: 104 (Connection reset by peer)]

17:01 slipstream-- has joined #ocaml

17:06 slipstream-- has quit [Remote closed the connection]

17:09 Modius has joined #ocaml

17:20 loran has joined #ocaml

17:22 slipstream-- has joined #ocaml

17:25 visage_ has left #ocaml []

17:25 visage has joined #ocaml

17:27 loran has left #ocaml []

17:27 slipstream-- has quit [Remote closed the connection]

17:28 qwwqe has joined #ocaml

17:37 Submarine has joined #ocaml

17:40 slipstream-- has joined #ocaml

17:45 slipstream-- has quit [Remote closed the connection]

17:56 love-pingoo has joined #ocaml

17:56 _blackdog has joined #ocaml

17:58 slipstream-- has joined #ocaml

18:03 slipstream-- has quit [Remote closed the connection]

18:20 visage has quit [Connection timed out]

18:23 slipstream-- has joined #ocaml

18:26 qwwqe has quit [Remote closed the connection]

18:28 slipstream-- has quit [Remote closed the connection]

18:38 slipstream-- has joined #ocaml

18:43 slipstream-- has quit [Remote closed the connection]

18:43 slipstream-- has joined #ocaml

18:48 slipstream-- has quit [Remote closed the connection]

18:48 slipstream-- has joined #ocaml

18:53 slipstream-- has quit [Remote closed the connection]

18:55 piggybox3 has quit [Connection timed out]

18:57 TFK has joined #ocaml

18:58 piggybox has joined #ocaml

19:03 visage has joined #ocaml

19:04 ygrek has quit [Remote closed the connection]

19:12 slipstream-- has joined #ocaml

19:17 slipstream-- has quit [Remote closed the connection]

19:19 _blackdog is now known as _blackdog_away

19:33 slipstream-- has joined #ocaml

19:48 smimou has joined #ocaml

19:51 slipstream-- has quit [Connection timed out]

20:17 psnively has joined #ocaml

20:25 visage has quit [Connection timed out]

20:49 Submarine has quit ["in Soviet Russia, Céline Dion owns you"]

21:10 _blackdog_away is now known as _blackdog

21:13 _blackdog has left #ocaml []

21:20 bluestorm_ has quit [Remote closed the connection]

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

21:39 kelaouchi has quit [Remote closed the connection]

21:41 kelaouchi has joined #ocaml

21:42 visage has joined #ocaml

21:43 visage has quit [Client Quit]

21:52 pants1 has joined #ocaml

21:58 EliasAmaral has quit [Connection timed out]

22:08 screwt8 has quit [Remote closed the connection]

22:13 screwt8 has joined #ocaml

22:30 noteventime has joined #ocaml

22:33 benny_ has joined #ocaml

22:40 noteventime has quit ["Leaving"]

22:50 benny has quit [Read error: 110 (Connection timed out)]

22:51 _blackdog has joined #ocaml

22:52 _blackdog has left #ocaml []

23:20 piggybox3 has joined #ocaml

23:28 Mr_Awesome has joined #ocaml

23:32 piggybox has quit [Connection timed out]

23:54 visage has joined #ocaml

23:56 pants1 has quit ["Leaving."]