#ocaml on 2008-11-21 — irc logs at freenode.irclog.whitequark.org

2008-10-20 17:44 flux changed the topic of #ocaml to: Yes, inria.fr is back up! | Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0beta1 available from http://caml.inria.fr/pub/distrib/ocaml-3.11/ | Or grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html

00:01 willb has quit ["Leaving"]

00:11 willb has joined #ocaml

00:14 snhmib has quit ["Good riddance!"]

00:24 netx has joined #ocaml

00:29 Kerris41 has joined #ocaml

00:43 mohbana has left #ocaml []

00:47 Kerris4 has quit [Read error: 110 (Connection timed out)]

00:54 willb has quit ["Leaving"]

00:54 alexyk has joined #ocaml

00:56 alexyk_ has joined #ocaml

01:01 threeve has joined #ocaml

01:01 jlouis has quit [Remote closed the connection]

01:07 harlos has quit ["leaving"]

01:13 alexyk has quit [Read error: 110 (Connection timed out)]

01:41 ulfdoz has quit ["deprecated"]

02:09 Kerris41 has quit [Read error: 104 (Connection reset by peer)]

02:10 johnnowak has joined #ocaml

02:23 tomh has quit ["http://www.mibbit.com ajax IRC Client"]

02:37 love-pingoo has quit ["Connection reset by pear"]

02:39 Amorphous has quit [Read error: 110 (Connection timed out)]

02:42 Amorphous has joined #ocaml

02:48 pumpkin_ is now known as pumpkin

02:49 willb has joined #ocaml

03:24 ryosei has left #ocaml []

03:27 jknick has joined #ocaml

03:32 ryosei has joined #ocaml

03:48 threeve has quit [kornbluth.freenode.net irc.freenode.net]

03:48 jonafan has quit [kornbluth.freenode.net irc.freenode.net]

03:48 mbac has quit [kornbluth.freenode.net irc.freenode.net]

03:48 svenl has quit [kornbluth.freenode.net irc.freenode.net]

03:48 threeve has joined #ocaml

03:48 jonafan has joined #ocaml

03:48 mbac has joined #ocaml

03:48 svenl has joined #ocaml

03:52 jeddhaberstro has quit []

04:06 thelema has joined #ocaml

04:09 rhar has joined #ocaml

04:35 apples` has quit [Read error: 104 (Connection reset by peer)]

04:53 rhar has quit ["Leaving"]

04:54 alexyk_ has quit []

04:59 johnnowak has quit []

05:03 kanakBK has joined #ocaml

05:03 Axle has joined #ocaml

05:10 alexyk has joined #ocaml

05:21 kanakBK has quit [Remote closed the connection]

05:54 threeve has quit []

06:05 code17 has joined #ocaml

06:07 composer_ has joined #ocaml

06:24 netx has quit ["This computer has gone to sleep"]

06:26 jknick has quit ["leaving"]

06:28 ygrek has joined #ocaml

06:46 alexyk has quit []

06:47 alexyk has joined #ocaml

06:49 thelema has quit [Read error: 60 (Operation timed out)]

06:52 alexyk has quit []

06:54 Axle has left #ocaml []

06:57 ygrek has quit [Remote closed the connection]

07:09 palomer has left #ocaml []

07:10 palomer has joined #ocaml

07:22 mishok13 has joined #ocaml

07:42 ygrek has joined #ocaml

07:46 mishok13 has quit ["Leaving"]

07:46 mishok13 has joined #ocaml

08:17 ygrek has quit [Remote closed the connection]

08:18 flx is now known as flux

08:19 _zack has joined #ocaml

08:32 hd_ has joined #ocaml

08:36 Kerris4 has joined #ocaml

08:48 root_ has joined #ocaml

08:48 root_ has quit [Read error: 104 (Connection reset by peer)]

08:48 Camarade_Tux has joined #ocaml

09:00 _zack has quit ["Leaving."]

09:10 asabil has joined #ocaml

09:11 Kerris4 has quit ["Leaving."]

09:17 Yoric[DT] has joined #ocaml

09:18 <Yoric[DT]> hi

09:19 <gildor> Yoric[DT]: hi

09:20 damg has joined #ocaml

09:44 <Yoric[DT]> Time to go.

09:44 <Yoric[DT]> Cheers.

09:44 rwmjones_ has joined #ocaml

09:45 Yoric[DT] has quit ["Ex-Chat"]

09:52 _zack has joined #ocaml

09:56 Snark has joined #ocaml

10:32 hkBst has joined #ocaml

10:46 zerny has joined #ocaml

10:48 filp has joined #ocaml

10:55 hd_ has left #ocaml []

11:29 fschwidom has joined #ocaml

11:38 ulfdoz has joined #ocaml

11:42 ryosei has left #ocaml []

11:53 damg has left #ocaml []

12:28 sporkmonger has quit []

12:32 jeremiah has quit [Read error: 104 (Connection reset by peer)]

12:47 fschwidom has quit [Remote closed the connection]

12:49 fschwidom has joined #ocaml

12:51 jeremiah has joined #ocaml

13:03 tomh has joined #ocaml

13:19 slash_ has quit [Client Quit]

13:48 steg has joined #ocaml

13:57 <flux> it is a bit worrying how many things rwmjones (or someone) had to fix to make those fedora packages to compile on 3.11.0b1

13:58 <flux> it would indicate that ocaml code gets bitrot fast :-o

13:58 <rwmjones> flux, it mostly comes down to one or two actual bugs, plus natural bitrot in the build systems

13:58 <rwmjones> ocaml 3.09 -> 3.10 was a MUCH bigger problem

13:58 <flux> I agree

13:59 <flux> of course, we can always be happy that these issues happen at compile time, not runtime, except for the few cases of String.index_from :)

13:59 <flux> (which apparently was a fixed bug)

13:59 <rwmjones> it was a bug which was introduced by a fix & then reverted

14:01 <flux> but I'm waiting for 3.11.0b1 anyway for its stack trace dumping without exiting the program, they'll make finding leaking exceptions in our cps framework a lot simpler :)

14:14 Camarade_Tux has quit [Read error: 60 (Operation timed out)]

14:23 zerny has left #ocaml []

14:31 Camarade_Tux has joined #ocaml

14:33 Snark has quit ["Ex-Chat"]

14:38 rwmjones_ has quit ["Closed connection"]

14:55 alexyk has joined #ocaml

14:59 Yoric[DT] has joined #ocaml

15:00 <Yoric[DT]> hi

15:00 <Yoric[DT]> ertai: ping

15:07 fschwidom has quit [Remote closed the connection]

15:09 Gionne has joined #ocaml

15:20 sporkmonger has joined #ocaml

15:22 marmotine has joined #ocaml

15:29 alexyk has quit []

15:30 <Gionne> http://pastebin.com/m6159b586 "This expression has type Ast.right_lst but is here used with type

15:30 <Gionne> Ast.symbols list" line 75. Why?

15:31 <flux> gionne, do you use emacs or vim, perchance?

15:31 <Gionne> i use vim

15:34 <flux> gionne, then perhaps you will find this (or some other similar package, if such exist) useful: http://www.ocaml.info/vim/ftplugin/ocaml.vim

15:34 <flux> it will allow you do determine the type of an expression from within the editor

15:34 <flux> assuming you have compiled the files with -dtypes

15:34 <flux> it will likely much help you in debugging type-related problems

15:34 <flux> apparently the key combination to do that is ,3

15:35 <Gionne> great

15:35 <Gionne> thank you

15:36 <Gionne> i use macvim, hope this will work ;)

15:38 <flux> gionne, if you can't get that to work, maybe you can use http://modeemi.fi/~flux/software/annotator.ml useful

15:41 willb has quit ["Leaving"]

15:49 <tsuyoshi> I wonder how hard it would be to make ocaml use 40 bit pointers instead of 64 bit pointers

15:49 <tsuyoshi> would save quite a lot of memory

15:50 <flux> might also affect the performance quite a bit, cpu's like things to be aligned..

15:50 <tsuyoshi> yeah

15:50 alexyk has joined #ocaml

15:50 <tsuyoshi> I wonder if the cache benefits would make up for the alignment cost

15:51 <tsuyoshi> on x86 and amd64 misaligned access is not so bad, compared to other processors

15:54 _zack has quit ["Leaving."]

16:05 alexyk has quit []

16:13 <ertai> Yoric[DT]: pong, but not much time

16:14 <Yoric[DT]> How much time do you have?

16:16 willb has joined #ocaml

16:20 pango has quit [Remote closed the connection]

16:26 tomh has quit ["http://www.mibbit.com ajax IRC Client"]

16:30 composer_ has quit [Read error: 60 (Operation timed out)]

16:30 pango has joined #ocaml

16:35 dabd has joined #ocaml

16:41 asabil has quit ["Ex-Chat"]

16:43 tomh has joined #ocaml

16:47 damg has joined #ocaml

17:05 jlouis has joined #ocaml

17:21 snhmib has joined #ocaml

17:23 damg has quit ["Leaving."]

17:24 _zack has joined #ocaml

17:31 vixey has joined #ocaml

17:36 ryosei has joined #ocaml

17:55 ryoseix has joined #ocaml

17:59 ryoseix has quit [Client Quit]

18:18 _zack has quit ["Leaving."]

18:25 filp has quit ["Bye"]

18:35 dabd has quit [Client Quit]

18:41 tomh has quit ["http://www.mibbit.com ajax IRC Client"]

18:43 <Camarade_Tux> has anyone used yacfe already ?

18:48 <Camarade_Tux> crap, they changed some functions since they wrote their examples

19:02 jeddhaberstro has joined #ocaml

19:03 Yoric[DT] has quit ["Ex-Chat"]

19:53 Gionne has quit ["Leaving"]

20:39 apples` has joined #ocaml

20:47 <Camarade_Tux> yacfe : not found any documentation and the code is hard to go through =/

20:51 tomh has joined #ocaml

20:54 tomh has quit [Client Quit]

20:57 tomh has joined #ocaml

21:00 gim has quit [Read error: 60 (Operation timed out)]

21:05 ygrek has joined #ocaml

21:08 vixey has quit [Remote closed the connection]

21:21 ppsmimou has quit [Read error: 110 (Connection timed out)]

21:24 itewsh has joined #ocaml

21:32 code17 has quit ["Leaving."]

21:34 vixey has joined #ocaml

21:35 tomh has quit ["http://www.mibbit.com ajax IRC Client"]

21:35 tomh has joined #ocaml

21:35 ppsmimou has joined #ocaml

21:35 gim has joined #ocaml

21:38 pumpkin has quit ["Leaving..."]

21:54 sporkmonger_ has joined #ocaml

21:55 sporkmonger_ has quit [Client Quit]

22:04 vixey has quit [Remote closed the connection]

22:09 ryosei has left #ocaml []

22:09 ryosei has joined #ocaml

22:10 sporkmonger has quit [Read error: 110 (Connection timed out)]

22:14 pumpkin_ has joined #ocaml

22:15 Yoric[DT] has joined #ocaml

22:15 <Yoric[DT]> hi again

22:36 <palomer> yo!

22:36 Yoric[DT] has quit ["Ex-Chat"]

22:38 ygrek has quit [Remote closed the connection]

23:10 ulfdoz has quit ["deprecated"]

23:18 vixey has joined #ocaml

23:19 pumpkin_ is now known as pumpkin

23:19 itewsh has quit [Remote closed the connection]

23:34 hkBst has quit [Read error: 104 (Connection reset by peer)]

23:48 Camarade_Tux has quit ["Leaving"]

23:49 willb has quit ["Leaving"]

23:53 vixey has quit ["There exists an infinite set!"]