00:08 <drlion> another one -- i'm really sorry about the complicated explanation: i have two classes foo and bar, where bar inherits from foo, and foo contains a method adopt that takes another foo. foo takes a constructor parameter called parent, on which it invokes adopt with self as an argument. bar also takes such a paramter, which it uses to inherit foo. now the problem is that when i try to create a bar and pass a foo to the construc

00:12 <drlion> i suspect that this might be because there's an initializer in foo: initializer parent#adopt self and when bar inherits this, self will actually be a bar -- not a foo. so my question then becomes: how can i avoid this and instead always use the base class foo? in other programming languages, i believe i would use some sort of upcast

00:16 <drlion> i understand if noone feels like trying to interpret all that. there's another clue though: the compiler also tells me regarding this that "self type cannot escape its class," which does sound rather dramatic, but unfortunately doesn't tell me much. what does it mean?

00:21 <Kinners> I don't know much about the class system yet, but there is some slight magic required with up/down casting

00:41 <drlion> Kinners: yeah, that's the impression i get too. anyway, i have no idea how to solve the problem, so i'm currently reading through the manual again :-)

10:55 <olrion> hi guys

14:59 <async> is there a Hastbl structure that is totally polymorphic?

15:00 <async> i.e, you can add ("key","keyval") and ("key

15:00 <async> i.e, you can add ("key","keyval") and ("key",12)

15:05 <vegai> hmm, can't use 'a there?

15:06 <karryall> of course not

15:06 <karryall> use a variant type

15:07 <vegai> of course not? why?

15:07 <karryall> how would you know wether you data is an int (12) or a string ("keyval")

15:13 <vegai> hmm, yes

15:14 <async> karryall: yea

15:14 <async> the second type depends on the first type

15:14 <async> like if the string is "asdf" or "sdjfv" then the second type is a string

15:14 <async> etc..

15:17 <async> i could use a type

15:18 <vegai> I still keep thinking too dynamically for this language

15:19 <async> type secondval = Str of string | Number of int ;;

15:24 <karryall> async: that's the idea

17:35 <Vincenz> ICFP is in like a week and a half

17:35 <vegai> aye ;-/

17:38 <det> Is there even an ICFP page up ?

17:38 <det> for 2003

17:38 <Vincenz> yup

17:38 <Vincenz> http://www.dtek.chalmers.se/groups/icfpcontest/dates.html

17:38 <Vincenz> http://www.dtek.chalmers.se/groups/icfpcontest/

17:39 <Vincenz> hmm

17:46 <olrion> me too

17:48 <vegai> it took you too long to install the OS that you missed ICFP? =)

17:48 <Vincenz> hehe, no

17:50 <Vincenz> I was just -hinting- that if anyone wants to form a team..

17:51 <det> Vincenz: NAIBED

17:52 <Vincenz> NAIBED?

17:52 <Vincenz> oh

17:52 <Vincenz> I tried installing that before

17:52 <Vincenz> it didn't like my proxy for netinstall

17:53 <det> wow, my punchline has no steam now

17:54 <Vincenz> But I've heard great things about mandrake too

18:34 <Vincenz> is it possible to run two OS's at the same time?

19:05 <mrvn_> depending on what OS you run them under.

19:06 <Vincenz> linux on xp

19:07 <mrvn_> theres vmware

19:07 <Vincenz> hmm...expensive :/

19:07 <mrvn_> linux also has plex86

19:07 <Vincenz> is it good? fast?

19:08 <mrvn_> suposedly slower than vmware but its free.

19:33 <Vincenz> we should form an #ocaml team

19:33 <Riastradh> Bah!

19:33 <Vincenz> Riastradh: I'd join but I'm not sure how good I'd be

19:33 <Vincenz> I'm good at programming and thinking things through, just don't know much of the library

19:36 <vegai> there is an Ocaml-team, right?

19:36 <vegai> of course there is, stupid question

19:36 <Riastradh> There are always lots of OCaml teams.

19:37 <vegai> no wonder

19:38 <systems> ??

19:39 <vegai> ICFP

19:39 <Vincenz> http://www.dtek.chalmers.se/groups/icfpcontest/index.html

19:43 <systems> 2 days to solve it, 1 month to notify the winner 2 months to announce it

19:43 <systems> this competetion is evil

19:44 <Vincenz> hehe

22:40 <Vincenz> night ppl