#ocaml on 2011-11-05 — irc logs at freenode.irclog.whitequark.org

2011-07-12 19:41 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH

00:06 <agust1n> just saying hi

00:06 <agust1n> thanks :)

00:12 pumpkin has quit [Quit: Computer has gone to sleep.]

00:14 leboulanger has quit [Remote host closed the connection]

00:23 Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]

00:35 copumpkin has joined #ocaml

00:40 ikaros has quit [Quit: Ex-Chat]

00:44 ikaros has joined #ocaml

00:44 mjonsson has joined #ocaml

00:44 <everyonemines> Ah, sorry. A lot of the time on IRC you get people who come in, and have a question but go "hey, anyone here".

00:47 <agust1n> no problem sir :) eventually ill have a question and for sure ill ask here if I cannot solve it myself

00:48 copumpkin is now known as JesusGarcia

00:48 JesusGarcia is now known as copumpkin

00:48 sebz has quit [Quit: Computer has gone to sleep.]

00:49 arubin has joined #ocaml

00:51 Sysop_fb has joined #ocaml

01:05 struktured has joined #ocaml

01:06 sebz has joined #ocaml

01:13 sebz has quit [Quit: Computer has gone to sleep.]

01:14 Sysop_fb has quit [Ping timeout: 252 seconds]

01:17 sebz has joined #ocaml

01:18 sebz has quit [Client Quit]

01:19 sebz has joined #ocaml

01:25 sebz has quit [Quit: Computer has gone to sleep.]

01:26 dnolen has quit [Quit: dnolen]

01:29 sebz has joined #ocaml

01:29 sebz has quit [Client Quit]

01:30 sebz has joined #ocaml

01:39 peddie has joined #ocaml

01:39 dnolen has joined #ocaml

01:39 xmichaelx has quit [Quit: Leaving]

01:49 probst has joined #ocaml

01:51 ulfdoz_ has joined #ocaml

01:53 probst has quit [Ping timeout: 256 seconds]

01:54 ulfdoz has quit [Ping timeout: 244 seconds]

01:54 ulfdoz_ is now known as ulfdoz

02:04 dnolen has quit [Read error: Connection reset by peer]

02:04 dnolen has joined #ocaml

02:09 ikaros has quit [Quit: Ex-Chat]

02:14 sebz has quit [Quit: Computer has gone to sleep.]

02:15 copumpkin has quit [Ping timeout: 260 seconds]

02:16 copumpkin has joined #ocaml

02:18 sebz has joined #ocaml

02:33 sebz has quit [Quit: Computer has gone to sleep.]

02:34 sebz has joined #ocaml

02:51 dnolen has quit [Quit: dnolen]

02:53 sebz has quit [Quit: Computer has gone to sleep.]

03:06 EmmanuelOga has joined #ocaml

03:06 arubin has quit [Quit: arubin]

03:12 mjonsson has quit [Remote host closed the connection]

03:24 ybit3 has joined #ocaml

03:26 iris1 has quit [Quit: iris1]

03:29 sebz has joined #ocaml

03:37 probst has joined #ocaml

03:41 probst has quit [Ping timeout: 260 seconds]

03:43 sebz has quit [Quit: Computer has gone to sleep.]

03:57 sebz has joined #ocaml

04:12 sepp2k has quit [Remote host closed the connection]

04:30 rossberg has quit [Ping timeout: 240 seconds]

05:02 sebz has quit [Quit: Computer has gone to sleep.]

05:09 sebz has joined #ocaml

05:19 EmmanuelOga has quit [Ping timeout: 252 seconds]

05:25 probst has joined #ocaml

05:27 probst has quit [Read error: Operation timed out]

05:35 sebz has quit [Quit: Computer has gone to sleep.]

05:37 sebz has joined #ocaml

05:46 musically_ut has quit [Read error: Connection reset by peer]

05:59 sebz has quit [Quit: Computer has gone to sleep.]

06:00 sebz has joined #ocaml

06:06 sebz has quit [Quit: Computer has gone to sleep.]

06:10 sebz has joined #ocaml

06:17 leoncamel has joined #ocaml

06:26 LarryB has joined #ocaml

06:27 LarryB has quit [Read error: Connection reset by peer]

06:28 LarryB has joined #ocaml

06:29 LarryB has quit [Read error: Connection reset by peer]

06:41 sebz has quit [Quit: Computer has gone to sleep.]

07:10 chp has joined #ocaml

07:13 probst has joined #ocaml

07:16 copumpkin has left #ocaml []

07:18 probst has quit [Ping timeout: 256 seconds]

07:24 chp has quit [Quit: IRC webchat at http://irc2go.com/]

07:24 chp_ has joined #ocaml

07:29 caaakeeey has quit [Ping timeout: 240 seconds]

07:31 edwin has joined #ocaml

07:50 <chp_> hi folks! I'm new on this channel so please stop me if this isn't the right place for questions...

07:51 <adrien> it is

07:51 * adrien is leaving however

07:51 ygrek has joined #ocaml

07:52 <chp_> I'm trying to use an ocaml library about Fibonacci Heap... that I found at http://code.google.com/p/fiblib/source/browse/trunk/src/fibHeap_test.ml...

07:54 <chp_> but when I implemented it non my program I obtain an error that my ocaml skills can't handle... Can someone help me?

07:54 <krktz> can you give us the error?

07:56 <chp_> so..

07:56 <chp_> module MioTipo:FibHeap.KeyOrderType = struct

07:56 <chp_> type t = int

07:56 <chp_> let compare = Pervasives.compare

07:56 <chp_> let min = 0

07:56 <chp_> end;;

07:56 <chp_> module MioHeap = FibHeap.Make(MioTipo);;

07:57 <chp_> the error is: when i try to create a node with fibnode_new I obtain an error about type

07:59 <chp_> for example: let node10 = fibnode_new ~key:10 ~data:10

08:00 <chp_> the error is: Error: This expression has type int but an expression was expected of type MioHeap.key = MioTipo.t

08:02 Associat0r has joined #ocaml

08:02 Associat0r has quit [Changing host]

08:02 Associat0r has joined #ocaml

08:11 <flux> chp_, you have too strict module type for FibHeap.Make

08:12 <flux> or it is lacking the 'with' statement

08:12 <chp_> I'm new with Ocaml... what does it means "too strict module"?

08:15 <flux> it maked MioHeap.key abstract

08:15 <flux> (makes)

08:16 <chp_> and what about type t = int... this statement doesn't restrict the type of the structure???

08:17 <flux> I mean FibHeap.Make, not the code you pasted

08:17 <flux> your functor propably ends with ..: MioHeap?

08:18 <flux> or is thr heap not your code?

08:20 <chp_> I've downloaded the library at the above url... I'v just write the following few lines

08:20 <chp_> module MioTipo:FibHeap.KeyOrderType = struct

08:20 <chp_> type t = int

08:20 <chp_> let compare = Pervasives.compare

08:20 <chp_> let min = 0

08:20 <chp_> end;;

08:20 <chp_> open MioTipo;;

08:20 <chp_> module MioHeap = FibHeap.Make(MioTipo);;

08:20 <chp_> open MioHeap;;

08:20 <chp_> let node10 = fibnode_new ~key:10 ~data:10;;

08:21 <flux> maybe a paste site wouls be more convenient

08:22 <chp_> it's too long... anyway

08:22 <chp_> (** This module provides an efficient, imperative implementation of Fibonacci

08:22 <chp_> heaps based on the pseudocode from CLRS, 2nd ed., ch. 20.

08:22 <chp_> {3 Fiblib }

08:22 <chp_> Fibonacci heaps are kind of an obscure data structure, but they have their

08:22 <chp_> purposes. Operations that do not delete an element run in [O(1)] amortised

08:22 <chp_> time. In particular, if the number of [extract-min] and [delete] operations is

08:22 <chp_> small compared to the number of other operations, fibonacci heaps are a win

08:22 <chp_> (CLRS 477).

08:22 <chp_> In this library, each heap is conceptually a min-heap (elements are closer

08:22 <chp_> to the root whose keys are less than other keys). However, the comparison

08:22 <chp_> function is parameterised by functorisation, so it is just as easy to create a

08:22 <chp_> min-heap as a max-heap.

08:23 <chp_> In particular, if your keys are integers, and the comparison function is

08:23 <chp_> {!Pervasives.compare}, you will get a min-heap, e.g., data with key 5 will come

08:23 <chp_> out of the heap before data with key 10.

08:23 <chp_> *)

08:23 <chp_> (** The signature of the output of {!Make}. *)

08:23 <chp_> module type S = sig

08:23 <chp_> (** {3 Types } *)

08:23 <chp_> type key

08:23 <chp_> (** The totally-ordered key type.

08:23 <chp_> The comparison of this key determines whether this is a min-heap or a

08:23 <chp_> max-heap. If [fibkey] is [int], for example, and is compared by

08:23 <chp_> [Pervasives.compare], you get a min-heap.

08:23 <chp_> In general, if [f] compares keys, it is required that that [f k k' <

08:23 <chp_> 0] if and only if [k] should occur before [k'] in extraction order. *)

08:23 <chp_> type 'a fibheap

08:23 <chp_> (** A fibonacci heap containing elements of type ['a]. *)

08:23 <_habnabit> uh

08:23 <chp_> type 'a fibnode

08:23 <chp_> (** A fibonacci heap node. *)

08:23 <chp_> (** {3 Exceptions } *)

08:23 <chp_> exception Empty;;

08:23 <_habnabit> why are you pasting that here

08:23 <chp_> (** Thrown when the heap is empty. *)

08:23 <chp_> exception Key_too_big;;

08:23 <chp_> (** Thrown when the new key given for a call to {!fibheap_decrease_key}

08:23 <chp_> would not result in a decreased key. *)

08:23 <chp_> (** {3 Operations } *)

08:23 <chp_> val fibheap_create : unit -> 'a fibheap

08:23 <_habnabit> jesus christ

08:23 <chp_> (** Create a fibonacci heap.

08:23 <chp_> @return a fresh heap *)

08:24 <chp_> val fibheap_insert : 'a fibheap

08:24 <chp_> sorry...

08:24 <_habnabit> NEVER post more than, like, three lines to irc

08:24 <chp_> Maybe I don't understand the flux request

08:24 <_habnabit> paste.pocoo.org

08:25 <chp_> I'm totaly new about ocaml and irc... I'm a disaster... Please explain me what I have to done...

08:26 <_habnabit> you use a site like paste.pocoo.org so you don't spam the channel

08:27 sebz has joined #ocaml

08:31 <chp_> my code is: http://paste.pocoo.org/show/503189/

08:32 bobry has quit [Ping timeout: 248 seconds]

08:33 <chp_> fibheap.mli that I've downloaded: http://paste.pocoo.org/show/503192/

08:35 <chp_> and finally fibheap.ml: http://paste.pocoo.org/show/503194/

08:38 testcocoon has quit [Quit: Coyote finally caught me]

08:42 sebz has quit [Quit: Computer has gone to sleep.]

08:45 testcocoon has joined #ocaml

08:45 <flux> the files are somehow corrupted, they cannot be compiled

08:47 rwmjones has quit [Read error: Operation timed out]

08:48 <flux> oh, managed to fix them

08:48 bobry has joined #ocaml

08:49 sebz has joined #ocaml

08:49 Associat0r has quit [Quit: Associat0r]

08:50 <flux> ah

08:50 <flux> chp_, you need to remove ":FibHeap.KeyOrderType"

08:50 <flux> chp_, alternative, you can replace it with ":FibHeap.KeyOrderType with type t = int"

08:51 sebz has quit [Client Quit]

08:51 <flux> chp_, that's what I meant that it's restricting too much

08:51 <chp_> I'm trying...

08:51 <flux> because the type signature says that type t is abstract, when you say :FibHeap.KeyOrderType, the type of t will in module MioTipo will be abstract as well

08:51 <flux> unless it's annotated that type t should be som concrete type

08:52 leboulanger has joined #ocaml

08:54 testcocoon has quit [Read error: Connection reset by peer]

08:54 Associat0r has joined #ocaml

08:54 Associat0r has quit [Changing host]

08:54 Associat0r has joined #ocaml

08:54 <chp_> It's works

08:54 <chp_> :-)

08:55 <chp_> Thanks for your time

08:55 <flux> chp_, may your ocaml learning experience have fewer obstacles in the future :)

09:00 testcocoon has joined #ocaml

09:07 testcocoon has quit [Quit: Coyote finally caught me]

09:12 testcocoon has joined #ocaml

09:14 ygrek has quit [Ping timeout: 248 seconds]

09:20 sebz has joined #ocaml

09:40 ttamttam has joined #ocaml

09:43 sebz has quit [Quit: Computer has gone to sleep.]

09:46 testcocoon has quit [Quit: Coyote finally caught me]

09:55 testcocoon has joined #ocaml

09:57 Associat0r has quit [Quit: Associat0r]

10:17 bobry has quit [Ping timeout: 258 seconds]

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

10:27 chp_ has quit [Quit: Ex-Chat]

10:28 ttamttam has joined #ocaml

10:31 sebz has joined #ocaml

10:34 bobry has joined #ocaml

10:39 sebz has quit [Quit: Computer has gone to sleep.]

10:42 sebz has joined #ocaml

10:42 ttamttam has quit [Quit: Leaving.]

10:43 ttamttam has joined #ocaml

10:44 Cyanure has quit [Ping timeout: 255 seconds]

10:55 sebz has quit [Quit: Computer has gone to sleep.]

10:58 Cyanure has joined #ocaml

11:10 ikaros has joined #ocaml

11:16 Snark has joined #ocaml

11:24 ikaros has quit [Quit: Ex-Chat]

11:25 ttamttam1 has joined #ocaml

11:25 ttamttam has quit [Read error: Connection reset by peer]

11:30 ikaros has joined #ocaml

11:35 leboulanger has quit [Ping timeout: 240 seconds]

11:36 ikaros has quit [Quit: Ex-Chat]

11:40 Associat0r has joined #ocaml

11:40 Associat0r has quit [Changing host]

11:40 Associat0r has joined #ocaml

11:43 Kakadu has joined #ocaml

11:46 lopex has quit [Remote host closed the connection]

11:46 gmcabrita has quit [Read error: Connection reset by peer]

11:46 joewilliams has quit [Remote host closed the connection]

11:55 ttamttam1 has quit [Quit: Leaving.]

11:56 ttamttam has joined #ocaml

12:00 ikaros has joined #ocaml

12:05 ttamttam has quit [Quit: Leaving.]

12:05 ttamttam has joined #ocaml

12:12 gmcabrita has joined #ocaml

12:20 joewilliams has joined #ocaml

12:24 lopex has joined #ocaml

12:31 ttamttam has quit [Ping timeout: 256 seconds]

12:37 bobry has quit [Ping timeout: 258 seconds]

12:47 ankit9|zzz is now known as ankit9

12:51 rwmjones has joined #ocaml

12:51 bobry has joined #ocaml

13:07 ttamttam has joined #ocaml

13:11 gnuvince has joined #ocaml

13:12 sepp2k has joined #ocaml

13:12 caaakeeey has joined #ocaml

13:18 caaakeeey has quit [Ping timeout: 240 seconds]

13:32 caaakeeey has joined #ocaml

13:39 ttamttam has quit [Quit: Leaving.]

13:39 caaakeeey has quit [Ping timeout: 240 seconds]

13:39 ttamttam has joined #ocaml

13:40 leboulanger has joined #ocaml

13:42 ttamttam has quit [Client Quit]

13:48 musically_ut has joined #ocaml

13:50 ttamttam has joined #ocaml

13:56 ttamttam has quit [Quit: Leaving.]

13:57 ttamttam has joined #ocaml

14:08 musically_ut has quit [Ping timeout: 240 seconds]

14:31 <adrien> I'm tempted to make it possible to link against only parts of lablgtk2; the beast takes quite a lot of time to start up because it initializes all the g[A-Z] modules (the ones with the object layer)

14:38 rossberg has joined #ocaml

14:49 ygrek has joined #ocaml

15:05 raichoo has joined #ocaml

15:14 rwmjones has quit [Quit: leaving]

15:15 ttamttam has quit [Ping timeout: 245 seconds]

15:17 rwmjones has joined #ocaml

15:22 arubin has joined #ocaml

15:31 musically_ut has joined #ocaml

15:36 <musically_ut> Is there some reason why (or): bool -> bool -> bool is defined and (and) : bool -> bool -> bool is not defined?

15:37 <adrien> let rec f ... and g ...

15:37 <adrien> BUT

15:37 <adrien> val (or) : bool -> bool -> bool

15:37 <adrien> Deprecated.

15:37 <adrien> val (&) : bool -> bool -> bool

15:37 <adrien> Deprecated.

15:38 <musically_ut> adrien, Thanks.

15:38 <NaCl> adrien: !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

15:38 <adrien> damn, NaCl spotted me, I better hide :P

15:39 * NaCl throws a net on adrien

15:41 * adrien keeps the cookies for himself and hands nothing to NaCl

15:42 <NaCl> COOKIES

15:44 * musically_ut thinks "Is it the latency (* munches popcorn *) or is the movie running in slow motion?"

15:45 <adrien> latency? for messages over IRC?

15:45 <NaCl> adrien is stuck in a time dialation field

15:46 <adrien> yup, the time dilatation field know as "I should update the META file generator"

15:49 leboulanger has quit [Ping timeout: 252 seconds]

15:50 <adrien> ("and it's not even hard to do")

16:11 <agust1n> morning

16:12 <adrien> hi

16:15 sepp2k has quit [Remote host closed the connection]

16:15 probst has joined #ocaml

16:19 raichoo has quit [Quit: leaving]

16:19 probst has quit [Ping timeout: 252 seconds]

16:24 <agust1n> how are you adrien ?

16:27 <adrien> fine, thanks, and you?

16:33 <agust1n> great, enjoying saturday :) thanks

16:47 leboulanger has joined #ocaml

16:53 emmanuelux has joined #ocaml

17:07 blinky- has joined #ocaml

17:09 ygrek has quit [Ping timeout: 248 seconds]

17:33 sebz has joined #ocaml

17:36 blinky-- has joined #ocaml

17:39 fschwidom has joined #ocaml

17:39 blinky- has quit [Ping timeout: 256 seconds]

17:51 EmmanuelOga has joined #ocaml

17:53 caaakeeey has joined #ocaml

17:55 Smerdyakov has joined #ocaml

18:03 probst has joined #ocaml

18:08 probst has quit [Ping timeout: 276 seconds]

18:11 fschwidom has quit [Remote host closed the connection]

18:25 EmmanuelOga has quit [Quit: WeeChat 0.3.6-rc2]

18:27 struktured has quit [Remote host closed the connection]

18:29 musically_ut has quit [Ping timeout: 240 seconds]

18:29 ztfw has joined #ocaml

18:33 dnolen has joined #ocaml

18:43 Smerdyakov has quit [Quit: Leaving]

18:48 joewilliams has quit [Max SendQ exceeded]

18:49 joewilliams has joined #ocaml

18:52 emmanuelux has quit [Ping timeout: 240 seconds]

18:53 sebz has quit [Quit: Computer has gone to sleep.]

18:56 sepp2k has joined #ocaml

18:56 blinky-- has quit [Quit: /unquit]

18:56 musically_ut has joined #ocaml

18:58 leboulanger has quit [Remote host closed the connection]

19:02 ttamttam has joined #ocaml

19:11 raichoo has joined #ocaml

19:27 Snark has quit [Quit: Quitte]

19:27 sepp2k has quit [Ping timeout: 240 seconds]

19:29 dnolen_ has joined #ocaml

19:31 dnolen has quit [Ping timeout: 260 seconds]

19:31 dnolen_ is now known as dnolen

19:43 sepp2k has joined #ocaml

20:13 Smerdyakov has joined #ocaml

20:21 sebz has joined #ocaml

20:25 sepp2k has quit [Remote host closed the connection]

20:30 sebz has quit [Quit: Computer has gone to sleep.]

20:31 Smerdyakov has quit [Quit: Leaving]

20:39 sebz has joined #ocaml

20:48 Kakadu has quit [Remote host closed the connection]

20:57 EmmanuelOga has joined #ocaml

21:07 sebz has quit [Quit: Computer has gone to sleep.]

21:17 Reaganomicon has joined #ocaml

21:52 ttamttam has quit [Quit: Leaving.]

22:01 dnolen has quit [Quit: dnolen]

22:20 edwin has quit [Remote host closed the connection]

22:22 sebz has joined #ocaml

22:28 sepp2k has joined #ocaml

22:31 ztfw has quit [Read error: Connection reset by peer]

22:33 sebz has quit [Quit: Computer has gone to sleep.]

22:35 dnolen has joined #ocaml

22:36 everyonemines has quit [Quit: Leaving.]

22:40 sebz_ has joined #ocaml

22:41 sebz_ has quit [Client Quit]

22:44 sebz has joined #ocaml

22:48 sebz has quit [Client Quit]

22:49 sebz has joined #ocaml

22:54 Amorphous has quit [Ping timeout: 240 seconds]

22:57 dnolen has quit [Quit: dnolen]

22:58 dnolen has joined #ocaml

23:01 sebz has quit [Quit: Computer has gone to sleep.]

23:02 dnolen has quit [Ping timeout: 240 seconds]

23:04 sebz has joined #ocaml

23:08 sebz has quit [Client Quit]

23:09 Amorphous has joined #ocaml

23:10 sebz has joined #ocaml

23:18 sebz has quit [Quit: Computer has gone to sleep.]

23:18 raichoo has quit [Quit: leaving]

23:19 sebz has joined #ocaml

23:20 sebz has quit [Client Quit]

23:28 probst has joined #ocaml

23:28 NaCl has quit [Ping timeout: 255 seconds]

23:32 probst has quit [Ping timeout: 245 seconds]

23:41 Boscop has quit [Ping timeout: 258 seconds]