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

2011-04-28 22:06 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp

00:00 alfa_y_omega has quit [Ping timeout: 248 seconds]

00:01 lamawithonel has quit [Remote host closed the connection]

00:07 alfa_y_omega has joined #ocaml

00:08 ulfdoz_ has joined #ocaml

00:11 ulfdoz has quit [Ping timeout: 246 seconds]

00:11 ulfdoz_ is now known as ulfdoz

00:22 dnolen has quit [Quit: dnolen]

00:26 avsm has quit [Quit: Leaving.]

00:31 avsm has joined #ocaml

00:32 <boscop> does anyone here have the book "Modern Compiler Implementation in ML"?

00:50 lopex has quit []

00:58 ymasory has quit [Quit: Leaving]

01:07 ymasory has joined #ocaml

01:27 ymasory has quit [Quit: Leaving]

01:28 ymasory has joined #ocaml

01:44 sepp2k has quit [Quit: Leaving.]

01:49 NaCl is now known as SpanishInquisitr

01:51 emmanuelux has quit [Remote host closed the connection]

01:56 avsm has quit [Quit: Leaving.]

01:56 SpanishInquisitr is now known as NaCl

01:58 pdhborges has left #ocaml []

02:24 RLa has joined #ocaml

02:28 ecc has quit [Ping timeout: 252 seconds]

02:29 ecc has joined #ocaml

04:10 vivanov has joined #ocaml

04:48 ankit9 has quit [Read error: Connection reset by peer]

05:10 ymasory has quit [Quit: Leaving]

05:26 hto_ has joined #ocaml

05:29 hto has quit [Ping timeout: 240 seconds]

05:30 jderque has joined #ocaml

06:08 ankit9 has joined #ocaml

06:19 boscop_ has joined #ocaml

06:22 boscop has quit [Ping timeout: 246 seconds]

06:32 ankit9 has quit [Quit: Leaving]

06:34 boscop_ has quit [Ping timeout: 246 seconds]

06:35 boscop_ has joined #ocaml

06:42 boscop_ has quit [Ping timeout: 250 seconds]

06:42 Vinnipeg has joined #ocaml

06:42 boscop_ has joined #ocaml

06:43 Vinnipeg has quit [Client Quit]

06:44 RLa has quit [Remote host closed the connection]

06:47 boscop_ has quit [Read error: Connection reset by peer]

06:47 boscop_ has joined #ocaml

06:51 boscop__ has joined #ocaml

06:54 boscop_ has quit [Ping timeout: 246 seconds]

06:55 ankit9 has joined #ocaml

06:55 yezariaely has joined #ocaml

07:07 Snark has joined #ocaml

07:08 ygrek has joined #ocaml

07:13 edwin has joined #ocaml

07:24 boscop__ has quit [Read error: Connection reset by peer]

07:27 boscop__ has joined #ocaml

07:28 impy has quit [Read error: Connection reset by peer]

07:34 Yoric has joined #ocaml

07:37 impy has joined #ocaml

07:37 avysk has quit [Remote host closed the connection]

07:39 boscop__ has quit [Ping timeout: 246 seconds]

08:00 jamii has joined #ocaml

08:07 yezariaely has left #ocaml []

08:10 munga has joined #ocaml

08:51 pdhborges has joined #ocaml

08:52 ikaros has joined #ocaml

08:58 lopex has joined #ocaml

09:22 pdhborges has quit [Quit: Leaving.]

09:39 boscop__ has joined #ocaml

09:40 hto_ has quit [Ping timeout: 250 seconds]

09:44 boscop__ has quit [Read error: Connection reset by peer]

09:46 boscop has joined #ocaml

09:50 boscop has quit [Read error: Connection reset by peer]

09:51 boscop has joined #ocaml

09:55 boscop has quit [Ping timeout: 258 seconds]

11:01 cthuluh has quit [Quit: leaving]

11:01 cthuluh has joined #ocaml

11:11 Tobu has joined #ocaml

11:14 cthuluh has quit [Ping timeout: 248 seconds]

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

11:18 jderque has quit [Quit: leaving]

11:38 cthuluh has joined #ocaml

11:45 Tobu has quit [Remote host closed the connection]

11:46 Tobu has joined #ocaml

12:03 boscop has joined #ocaml

12:07 boscop has quit [Ping timeout: 250 seconds]

12:12 munga has quit [Ping timeout: 252 seconds]

12:54 jamii has quit [Quit: Leaving]

12:57 mnabil has joined #ocaml

13:15 Vinnipeg has joined #ocaml

13:22 pdhborges has joined #ocaml

13:22 pdhborges has left #ocaml []

13:24 Vinnipeg has quit [Quit: Konversation terminated!]

13:28 mnabil has quit [Ping timeout: 240 seconds]

13:34 boscop has joined #ocaml

13:35 ymasory has joined #ocaml

13:37 boscop_ has joined #ocaml

13:38 boscop has quit [Read error: Connection reset by peer]

13:38 lopex has quit []

13:42 mnabil has joined #ocaml

13:42 boscop_ has quit [Ping timeout: 246 seconds]

13:44 ymasory has quit [Quit: Leaving]

13:50 boscop has joined #ocaml

13:52 boscop has quit [Read error: Connection reset by peer]

13:53 mnabil has quit [Ping timeout: 240 seconds]

13:55 Smerdyakov has joined #ocaml

14:07 hto has joined #ocaml

14:11 edwin has quit [Remote host closed the connection]

14:12 mnabil has joined #ocaml

14:17 boscop has joined #ocaml

14:20 <NaCl> howdy, folks

14:20 <NaCl> so, I got a type declaration like http://pastebin.com/nautLY9z

14:21 <NaCl> And a function that takes the "primitive" type. However, when I pass a p_group to said functionm type inference goes and fails

14:22 <NaCl> saying it wants a "primitive" not a "p_group"

14:22 <NaCl> any ideas?

14:23 <adrien> pass "(PGroup p_group)" instead?

14:23 <NaCl> where, exactly? in the function call?

14:23 <adrien> yes

14:25 <NaCl> that fixed it. kewl

14:25 <adrien> :-)

14:26 * NaCl also had fun with mutually recursive functions

14:30 jderque has joined #ocaml

14:34 Tobu has quit [Quit: No Ping reply in 180 seconds.]

14:34 Tobu has joined #ocaml

14:38 pdhborges has joined #ocaml

14:59 Tobu has quit [Quit: No Ping reply in 180 seconds.]

15:00 Tobu has joined #ocaml

15:24 dnolen has joined #ocaml

15:26 ankit9 has quit [Quit: Leaving]

15:33 Smerdyakov has quit [Quit: Leaving]

15:43 edwin has joined #ocaml

15:46 elehack has joined #ocaml

15:47 hto has quit [Ping timeout: 260 seconds]

15:47 boscop_ has joined #ocaml

15:49 boscop has quit [Ping timeout: 246 seconds]

16:07 elehack has quit [Quit: Farewell, programs.]

16:07 elehack has joined #ocaml

16:12 pdhborges has left #ocaml []

16:18 elehack has quit [Ping timeout: 264 seconds]

16:23 elehack has joined #ocaml

16:40 elehack has quit [Read error: Connection timed out]

17:23 sepp2k has joined #ocaml

17:35 ygrek has quit [Ping timeout: 246 seconds]

17:50 ygrek has joined #ocaml

18:17 sepp2k has quit [Quit: Leaving.]

19:22 pdhborges has joined #ocaml

19:31 ikaros has joined #ocaml

19:40 TaXules has quit [Remote host closed the connection]

19:44 lopex has joined #ocaml

19:55 lopex has quit [Ping timeout: 246 seconds]

19:55 lopex has joined #ocaml

20:18 hto has joined #ocaml

20:27 ezyang has joined #ocaml

20:28 vivanov has quit [Ping timeout: 258 seconds]

20:35 pdhborges has quit [Quit: Leaving.]

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

20:43 pdhborges has joined #ocaml

20:48 ygrek has quit [Ping timeout: 246 seconds]

20:57 ztfw has joined #ocaml

20:59 pdhborges has quit [Quit: Leaving.]

21:05 dnolen has quit [Quit: dnolen]

21:15 Yoric has quit [Quit: Leaving.]

21:25 jderque has quit [Quit: leaving]

21:37 oriba has joined #ocaml

21:40 edwin has quit [Remote host closed the connection]

21:41 oriba has left #ocaml []

21:53 pdhborges has joined #ocaml

21:54 pdhborges has left #ocaml []

22:10 PaliDerek has joined #ocaml

22:12 PaliDerek has quit [Quit: ChatZilla 0.9.85 [SeaMonkey 2.0.11/20101206150522]]

22:26 Fullma has quit [Quit: Fullma]

22:31 ftrvxmtrx has quit [Quit: Leaving]

22:36 boscop_ is now known as boscop

22:52 munga has joined #ocaml

22:56 ztfw has quit [Remote host closed the connection]

23:07 Amorphous has quit [Ping timeout: 250 seconds]

23:24 Amorphous has joined #ocaml

23:25 ikaros has quit [Quit: Ex-Chat]

23:29 wormphlegm has joined #ocaml

23:30 munga has quit [Ping timeout: 258 seconds]

23:37 caligula__ has quit [Read error: Operation timed out]

23:37 caligula__ has joined #ocaml

23:39 elehack has joined #ocaml

23:40 wormphlegm has quit [Ping timeout: 252 seconds]

23:51 adnam has joined #ocaml

23:52 <adnam> hi ocaml!

23:56 ymasory has joined #ocaml

23:59 mnabil has quit [Read error: Connection reset by peer]