#ocaml on 2010-04-07 — irc logs at freenode.irclog.whitequark.org

2010-01-23 20:01 mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010

00:04 yakischloba has joined #ocaml

00:11 Amorphous has joined #ocaml

00:11 seafood has joined #ocaml

00:11 seafood has quit [Client Quit]

00:13 linus5 has quit [Remote host closed the connection]

00:21 sepp2k has quit [Quit: Leaving.]

00:29 ikaros has quit [Quit: Leave the magic to Houdini]

00:49 Pepe_ has joined #ocaml

01:14 philtor has joined #ocaml

01:19 jeddhaberstro has quit [Ping timeout: 264 seconds]

01:20 MrEvil has quit [Ping timeout: 258 seconds]

01:23 philtor has quit [Ping timeout: 265 seconds]

01:28 mjonsson has joined #ocaml

01:28 mutewit has joined #ocaml

01:36 spicey has joined #ocaml

01:52 spicey has quit [Quit: Leaving]

02:01 joewilliams is now known as joewilliams_away

02:21 drk-sd has quit [Quit: dodo]

02:46 mutewit has quit [Ping timeout: 276 seconds]

02:48 jonafan_ has joined #ocaml

02:52 jonafan has quit [Ping timeout: 252 seconds]

02:54 enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]

03:17 caligula__ has quit [Ping timeout: 240 seconds]

03:18 caligula_ has joined #ocaml

03:46 hkarim has joined #ocaml

03:53 hkarim has quit [Quit: Leaving]

04:15 enthymeme has joined #ocaml

04:30 bzzbzz has joined #ocaml

04:40 mjonsson has quit [Ping timeout: 246 seconds]

04:42 Shoggoth has joined #ocaml

04:43 ulfdoz has joined #ocaml

05:10 myu2 has joined #ocaml

05:11 Associat0r has quit [Quit: Associat0r]

05:30 peddie has joined #ocaml

05:35 myu2 has quit [Ping timeout: 260 seconds]

05:37 peddie has quit [Quit: leaving]

05:39 myu2 has joined #ocaml

05:46 bzzbzz has quit [Quit: bedtime]

05:57 struktured has joined #ocaml

06:03 ulfdoz has quit [Ping timeout: 246 seconds]

06:13 ftrvxmtrx has quit [Quit: Leaving]

06:23 yakischloba has quit [Quit: Leaving.]

06:24 ygrek has joined #ocaml

06:33 yakischloba has joined #ocaml

06:34 yakischloba has quit [Client Quit]

06:36 Yoric has joined #ocaml

06:37 valross has quit [Remote host closed the connection]

06:43 myu2 has quit [Remote host closed the connection]

06:48 myu2 has joined #ocaml

06:58 myu2 has quit [Remote host closed the connection]

07:00 ikaros has joined #ocaml

07:01 myu2 has joined #ocaml

07:03 myu2 has quit [Remote host closed the connection]

07:04 spearalot has joined #ocaml

07:04 myu2 has joined #ocaml

07:09 Yoric has quit [Quit: Yoric]

07:14 ftrvxmtrx has joined #ocaml

07:26 avsm has joined #ocaml

07:36 ikaros has quit [Ping timeout: 264 seconds]

07:50 ikaros has joined #ocaml

07:55 Submarine has joined #ocaml

08:03 Yoric has joined #ocaml

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

08:14 _zack has joined #ocaml

08:31 pimmhogeling has joined #ocaml

08:38 ikaros has joined #ocaml

08:41 Associat0r has joined #ocaml

08:53 _zack has quit [Quit: Leaving.]

09:00 munga has joined #ocaml

09:03 myu2 has quit [Remote host closed the connection]

09:10 smimou has quit [Ping timeout: 246 seconds]

09:17 <Camarade_Tux> rwmjones: sorry to ask you directly but I thought you'd probably know: with qemu-kvm, is it possible to give, say, 2GB of memory to a set of machines and have it balanced automatically? currently I only know about fixed amounts of RAM (I'd like to give up to 1.5GB of memory to each machine but this won't be possible since I don't have enough ram)

09:20 <rwmjones> Camarade_Tux, in KVM, RAM given to the guest is just malloc'd (well, it's not *quite* like that, but it's effectively the same), so just overprovision the guests and use swap in the host

09:21 <rwmjones> combine that with KSM (kernel shared memory) as required

09:24 _zack has joined #ocaml

09:26 <Camarade_Tux> rwmjones: that sounds very good, thanks :-)

09:26 <Camarade_Tux> think adding balloon should help a bit too

09:27 <rwmjones> balloon is definitely not "automatic"

09:28 <rwmjones> it's also arse-backwards; it *should* hot swap the RAM into the VM, but instead it has this crazy driver that allocates kernel memory like mad and gives it back to the host

09:28 <rwmjones> in other words, it works exactly the opposite of how you'd want/expect it to work

09:29 <Camarade_Tux> I thought I could monitor the VMs and fire up balloon, but considering how you describe it, I'm not sure I'm very eager to use it

09:36 mlh has joined #ocaml

09:36 myu2 has joined #ocaml

09:47 pimmhogeling has quit [Ping timeout: 265 seconds]

09:54 ikaros has quit [Quit: Leave the magic to Houdini]

09:55 <avsm> its historical; the guest expects to allocate some static kernel structures based on the RAM at boot time

09:55 <avsm> hence ballooning down

09:55 _unK has joined #ocaml

09:55 <avsm> with RAM hotplug, its not needed, but thats newer than ballooning

10:00 enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]

10:15 ygrek has quit [Ping timeout: 245 seconds]

10:18 ygrek has joined #ocaml

10:20 pimmhogeling has joined #ocaml

10:21 avsm has quit [Quit: Leaving.]

10:31 xavierbot has quit [Ping timeout: 240 seconds]

10:32 barismetin has joined #ocaml

10:32 barismetin has quit [Changing host]

10:32 barismetin has joined #ocaml

10:33 rwmjones has quit [Ping timeout: 245 seconds]

10:42 avsm has joined #ocaml

10:43 _zack has quit [Quit: Leaving.]

10:47 rwmjones has joined #ocaml

10:49 _zack has joined #ocaml

10:50 barismetin has quit [Remote host closed the connection]

11:13 myu2 has quit [Remote host closed the connection]

11:17 avsm has quit [Quit: Leaving.]

11:37 barismetin has joined #ocaml

11:37 barismetin has quit [Changing host]

11:37 barismetin has joined #ocaml

11:47 _andre has joined #ocaml

12:06 Nepomuk has joined #ocaml

12:33 boscop has joined #ocaml

12:36 krankkatze has joined #ocaml

12:46 ygrek has quit [Ping timeout: 245 seconds]

12:51 ygrek has joined #ocaml

12:51 Demitar has quit [Ping timeout: 246 seconds]

13:11 derdon has joined #ocaml

13:14 ikaros has joined #ocaml

13:22 hcarty has joined #ocaml

13:26 ccasin has joined #ocaml

13:34 ccasin has quit [Ping timeout: 264 seconds]

14:10 Demitar has joined #ocaml

14:13 f[x] has quit [Ping timeout: 268 seconds]

14:13 f[x] has joined #ocaml

14:20 pimmhogeling has quit [Ping timeout: 265 seconds]

14:37 struktured has quit [Ping timeout: 276 seconds]

14:39 struktured has joined #ocaml

14:43 jimmyb2187 has quit [Quit: Leaving.]

14:43 jimmyb2187 has joined #ocaml

14:44 Asmadeus has quit [Read error: Operation timed out]

14:44 Tianon has quit [Ping timeout: 248 seconds]

14:45 Camarade_Tux has quit [Ping timeout: 246 seconds]

14:46 lokydor has joined #ocaml

14:47 Camarade_Tux has joined #ocaml

14:48 Asmadeus has joined #ocaml

14:49 pimmhogeling has joined #ocaml

15:01 ftrvxmtrx has quit [Quit: Leaving]

15:05 barismetin has quit [Remote host closed the connection]

15:06 alpounet has quit [Quit: ``Do what you think you can't do.'']

15:06 barismetin has joined #ocaml

15:06 barismetin has quit [Changing host]

15:06 barismetin has joined #ocaml

15:06 joewilliams_away is now known as joewilliams

15:19 avsm has joined #ocaml

15:21 Yoric has quit [Quit: Yoric]

15:25 drk-sd has joined #ocaml

15:27 Yoric has joined #ocaml

15:32 lokydor has quit [Quit: leaving]

15:32 lokydor has joined #ocaml

15:33 ygrek has quit [Remote host closed the connection]

15:39 jcaose_ has joined #ocaml

15:39 jcaose_ has quit [Remote host closed the connection]

15:50 smimou has joined #ocaml

15:52 yakischloba has joined #ocaml

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

15:54 Snark has joined #ocaml

15:56 f[x] has quit [Ping timeout: 268 seconds]

15:57 f[x] has joined #ocaml

16:06 spearalot has quit [Quit: -arividerchi]

16:08 drunK has joined #ocaml

16:11 _unK has quit [Ping timeout: 276 seconds]

16:12 jonafan_ is now known as jonafan

16:20 Submarine has quit [Ping timeout: 276 seconds]

16:23 _zack has quit [Quit: Leaving.]

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

16:30 Yoric has quit [Quit: Yoric]

16:38 f[x] has quit [Ping timeout: 268 seconds]

16:42 f[x] has joined #ocaml

16:45 philtor has joined #ocaml

16:49 lokydor has quit [Ping timeout: 258 seconds]

16:50 Submarine has joined #ocaml

16:55 philtor has quit [Ping timeout: 264 seconds]

16:56 f[x] has quit [Ping timeout: 260 seconds]

16:56 lokydor has joined #ocaml

17:00 f[x] has joined #ocaml

17:09 ccasin has joined #ocaml

17:12 f[x] has quit [Ping timeout: 268 seconds]

17:14 f[x] has joined #ocaml

17:22 f[x] has quit [Ping timeout: 260 seconds]

17:23 ulfdoz has joined #ocaml

17:25 f[x] has joined #ocaml

17:38 avsm1 has joined #ocaml

17:38 avsm has quit [Read error: Connection reset by peer]

17:41 i515i has joined #ocaml

17:42 i515i has quit [Client Quit]

17:45 ftrvxmtrx has joined #ocaml

17:51 f[x] has quit [Ping timeout: 268 seconds]

18:02 Yoric has joined #ocaml

18:03 krankkatze has quit [Ping timeout: 276 seconds]

18:10 avsm1 has quit [Quit: Leaving.]

18:14 krankkatze has joined #ocaml

18:20 enthymeme has joined #ocaml

18:22 <thelema> Is anyone else getting wierd positions in backtraces? What do you do about it?

18:23 <flux> thelema, are you using syntax extensions?

18:23 <thelema> shouldn't be

18:24 <thelema> ah, maybe it started with use_menhir...

18:24 <flux> ocamlopt or ocamlc?

18:24 <thelema> ocamlc

18:25 <thelema> the backtraces are even worse with ocamlopt, often not even there.

18:25 <flux> how 'weird'?

18:26 <thelema> Called from file "main.ml", line 199, characters 4-91

18:26 <thelema> line 199 has at most 21 columns

18:28 <thelema> "<*>: use_menhir" shouldn't affect non-mly files, right?

18:28 <flux> I'd expect that

18:28 <flux> do you use type throwback feature?

18:28 <thelema> probably not as I don't even know what that is

18:29 <flux> in emacs C-c C-t gives back the type of an expression. it's great!

18:29 <thelema> oh, yes. I use that. "annot"

18:29 <flux> does it work as expeced?

18:30 <thelema> yes

18:30 <thelema> b

18:30 <flux> btw, I became MsC today \o/

18:31 <thelema> congrats

18:32 <thelema> is that MSc? (Master of Science)?

18:32 <flux> oh, right :)

18:32 <flux> yes

18:32 Snark has quit [Quit: Ex-Chat]

18:43 munga_ has joined #ocaml

18:44 ftrvxmtrx has quit [Quit: Leaving]

18:44 munga has quit [Read error: Operation timed out]

18:47 ftrvxmtrx has joined #ocaml

18:47 munga_ has quit [Ping timeout: 246 seconds]

18:48 bzzbzz has joined #ocaml

18:51 ftrvxmtrx has quit [Client Quit]

18:52 ftrvxmtrx has joined #ocaml

18:58 lokydor has quit [Ping timeout: 258 seconds]

18:59 munga_ has joined #ocaml

19:05 lokydor has joined #ocaml

19:06 Tianon has joined #ocaml

19:06 Tianon has quit [Changing host]

19:06 Tianon has joined #ocaml

19:12 ygrek has joined #ocaml

19:24 Nepomuk has quit [Remote host closed the connection]

19:38 munga_ has quit [Ping timeout: 276 seconds]

19:51 yakischloba has quit [Quit: Leaving.]

20:01 f[x] has joined #ocaml

20:04 ikaros has joined #ocaml

20:07 f[x] has quit [Ping timeout: 248 seconds]

20:08 f[x] has joined #ocaml

20:08 fraggle_ has quit [Read error: Connection reset by peer]

20:13 _andre has quit [Quit: *puff*]

20:16 f[x] has quit [Ping timeout: 240 seconds]

20:20 f[x] has joined #ocaml

20:25 thieusoai has quit [Quit: Leaving]

20:28 thieusoai has joined #ocaml

20:31 thieusoai has quit [Client Quit]

20:36 pimmhogeling has quit [Ping timeout: 265 seconds]

20:40 slash_ has joined #ocaml

20:48 thieusoai has joined #ocaml

20:51 Anarchos has joined #ocaml

21:04 lokydor has quit [Ping timeout: 258 seconds]

21:04 yakischloba has joined #ocaml

21:05 jeddhaberstro has joined #ocaml

21:08 <Anarchos> test

21:10 <Camarade_Tux> Segmentation fault

21:16 Submarine has quit [Ping timeout: 264 seconds]

21:18 <Anarchos> i started a full sparcV9 compliant simulator in ocaml

21:20 humasect has joined #ocaml

21:20 <Camarade_Tux> nice :-)

21:26 ulfdoz has quit [Ping timeout: 260 seconds]

21:27 thieusoai has quit [Remote host closed the connection]

21:27 <companion_cube> is there any noob-friendly guide/doc about universal types ?

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

21:28 <Anarchos> companion_cube ocaml manual ?

21:29 * companion_cube thought universal types were kind of a hack, since there is none in the standard lib (afaik)

21:38 komar_ has joined #ocaml

21:39 <Anarchos> companion_cube what do you call universal type ?

21:41 <companion_cube> i was thinking of something like that http://ocaml.janestreet.com/?q=node/18

21:41 derdon has quit [Ping timeout: 252 seconds]

21:43 <companion_cube> my problem is, is it possible to have a map whose values are of any types (ideally, instanes of 'a -> unit)

21:45 <Anarchos> companion_cube i read it. no idea on how to achieve that !!

21:46 maskd has joined #ocaml

21:46 Anarchos has quit [Quit: good night to all !!!]

21:57 Yoric has quit [Quit: Yoric]

22:01 sepp2k has joined #ocaml

22:07 valross has joined #ocaml

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

22:10 drunK has quit [Remote host closed the connection]

22:12 humasect has quit [Quit: Leaving...]

22:20 mehdid has quit [Ping timeout: 252 seconds]

22:20 mehdid has joined #ocaml

22:29 komar_ has quit [Quit: WeeChat 0.2.6]

22:33 ccasin has quit [Quit: Leaving]

22:59 valross has quit [Ping timeout: 245 seconds]

23:02 krankkatze has quit [Remote host closed the connection]

23:11 <thelema> companion_cube: you want to have differently typed keys or values?

23:12 <companion_cube> if possible, just values, but i don't think this is possible

23:48 seafood has joined #ocaml

23:49 seafood has quit [Client Quit]

23:54 slash_ has quit [Quit: Lost terminal]

23:56 Amorphous has quit [Ping timeout: 240 seconds]