__DL__ changed the topic of #ocaml to: OCaml 3.09.0 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
Raziel has quit [Remote closed the connection]
Skal has quit [Remote closed the connection]
Smerdyakov has joined #ocaml
_fab has quit [Remote closed the connection]
malc_ has quit ["leaving"]
Raziel has joined #ocaml
mkhl has quit []
smimou has quit ["bli"]
mwc has joined #ocaml
mwc_ has joined #ocaml
mwc__ has joined #ocaml
<ulfdoz> Und wenn man genau hinschaut, sieht man auch Ines. 36 und ich bin schändlich abgeblitzt. *arg*
<ulfdoz> ECHAN, sorry
rq has quit ["Leaving"]
mwc has quit [Read error: 110 (Connection timed out)]
mwc__ has quit [Read error: 110 (Connection timed out)]
mwc_ has quit [Read error: 110 (Connection timed out)]
CosmicRay has joined #ocaml
mwc has joined #ocaml
mwc has quit [Nick collision from services.]
mwc has joined #ocaml
CosmicRay has quit ["Client exiting"]
<mwc> exit
<mwc> exit
mwc has quit ["leaving"]
<vincenz> hi
pango_ has joined #ocaml
m3ga has joined #ocaml
pango has quit [Read error: 110 (Connection timed out)]
mwc has joined #ocaml
m3ga has quit [Read error: 104 (Connection reset by peer)]
exa has quit [Remote closed the connection]
mwc has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit ["Leaving"]
shirogane has joined #ocaml
shirogane has quit [Remote closed the connection]
mwc has joined #ocaml
mwc has quit [Remote closed the connection]
Snark has joined #ocaml
rq has joined #ocaml
Raziel has quit ["Yo soy goma. Tú eres cola."]
Submarine has joined #ocaml
mlin has quit [Read error: 104 (Connection reset by peer)]
kryptt has joined #ocaml
slipstream has quit [Connection timed out]
Maledict has joined #ocaml
_fab has joined #ocaml
mwc has joined #ocaml
mwc has left #ocaml []
revision17_ has quit [Read error: 110 (Connection timed out)]
ski has joined #ocaml
kryptt has quit ["Download Gaim: http://gaim.sourceforge.net/"]
_fab has quit [Read error: 110 (Connection timed out)]
clog has joined #ocaml
Revision17 has joined #ocaml
ppsmimou has joined #ocaml
CLxyz has joined #ocaml
pattern has joined #ocaml
Skal has joined #ocaml
clog has joined #ocaml
ppsmimou has joined #ocaml
Revision17 has joined #ocaml
CLxyz has joined #ocaml
enthalpyX has joined #ocaml
bluestorm has quit [niven.freenode.net irc.freenode.net]
batdog has quit [niven.freenode.net irc.freenode.net]
Sesh has quit [niven.freenode.net irc.freenode.net]
rq has quit [niven.freenode.net irc.freenode.net]
Schmurtz has quit [niven.freenode.net irc.freenode.net]
mattam has quit [niven.freenode.net irc.freenode.net]
tristram has quit [niven.freenode.net irc.freenode.net]
Snark has quit [niven.freenode.net irc.freenode.net]
rq has joined #ocaml
bluestorm has joined #ocaml
batdog has joined #ocaml
Sesh has joined #ocaml
tristram has joined #ocaml
tristram has quit [niven.freenode.net irc.freenode.net]
Sesh has quit [niven.freenode.net irc.freenode.net]
batdog has quit [niven.freenode.net irc.freenode.net]
bluestorm has quit [niven.freenode.net irc.freenode.net]
rq has quit [niven.freenode.net irc.freenode.net]
Submarine has quit [niven.freenode.net irc.freenode.net]
pattern has quit [niven.freenode.net irc.freenode.net]
juri has quit [niven.freenode.net irc.freenode.net]
ulfdoz has quit [niven.freenode.net irc.freenode.net]
erik has quit [niven.freenode.net irc.freenode.net]
knobo_ has quit [niven.freenode.net irc.freenode.net]
Bigb[a]ng has quit [niven.freenode.net irc.freenode.net]
mellum has quit [niven.freenode.net irc.freenode.net]
vincenz has quit [niven.freenode.net irc.freenode.net]
KrispyKringle has quit [niven.freenode.net irc.freenode.net]
flux__ has quit [niven.freenode.net irc.freenode.net]
lispy has quit [niven.freenode.net irc.freenode.net]
Hadaka has quit [niven.freenode.net irc.freenode.net]
TaXules has quit [niven.freenode.net irc.freenode.net]
Skal has quit [niven.freenode.net irc.freenode.net]
Maledict has quit [niven.freenode.net irc.freenode.net]
Oatmeat|umn has quit [niven.freenode.net irc.freenode.net]
ramkrsna has quit [niven.freenode.net irc.freenode.net]
pango_ has quit [niven.freenode.net irc.freenode.net]
noj has quit [niven.freenode.net irc.freenode.net]
dvekravy has quit [niven.freenode.net irc.freenode.net]
kmag has quit [niven.freenode.net irc.freenode.net]
rossberg has quit [niven.freenode.net irc.freenode.net]
schlick has quit [niven.freenode.net irc.freenode.net]
cmeme has quit [niven.freenode.net irc.freenode.net]
shawn_ has quit [niven.freenode.net irc.freenode.net]
dylan has quit [niven.freenode.net irc.freenode.net]
skylan has quit [niven.freenode.net irc.freenode.net]
tom_p has quit [niven.freenode.net irc.freenode.net]
bzzbzz has quit [niven.freenode.net irc.freenode.net]
det has quit [niven.freenode.net irc.freenode.net]
ski has quit [niven.freenode.net irc.freenode.net]
det has joined #ocaml
rossberg has joined #ocaml
kmag has joined #ocaml
tom_p has joined #ocaml
cmeme has joined #ocaml
dylan has joined #ocaml
dvekravy has joined #ocaml
schlick has joined #ocaml
shawn_ has joined #ocaml
bzzbzz has joined #ocaml
skylan has joined #ocaml
ski has joined #ocaml
Hadaka has joined #ocaml
Oatmeat|umn has joined #ocaml
flux__ has joined #ocaml
TaXules has joined #ocaml
mellum has joined #ocaml
knobo_ has joined #ocaml
Bigb[a]ng has joined #ocaml
noj has joined #ocaml
erik has joined #ocaml
vincenz has joined #ocaml
juri has joined #ocaml
ulfdoz has joined #ocaml
lispy has joined #ocaml
KrispyKringle has joined #ocaml
ramkrsna has joined #ocaml
pango_ has joined #ocaml
Maledict has joined #ocaml
pattern has joined #ocaml
Skal has joined #ocaml
Submarine has joined #ocaml
tristram has joined #ocaml
Sesh has joined #ocaml
batdog has joined #ocaml
bluestorm has joined #ocaml
rq has joined #ocaml
Boojum has joined #ocaml
Schmurtz has joined #ocaml
Raziel has joined #ocaml
erik has quit [niven.freenode.net irc.freenode.net]
mellum has quit [niven.freenode.net irc.freenode.net]
knobo_ has quit [niven.freenode.net irc.freenode.net]
Bigb[a]ng has quit [niven.freenode.net irc.freenode.net]
mellum has joined #ocaml
TaXules has quit [niven.freenode.net irc.freenode.net]
lispy has quit [niven.freenode.net irc.freenode.net]
Skal has quit [niven.freenode.net irc.freenode.net]
flux__ has quit [niven.freenode.net irc.freenode.net]
ramkrsna has quit [niven.freenode.net irc.freenode.net]
Hadaka has quit [niven.freenode.net irc.freenode.net]
Oatmeat|umn has quit [niven.freenode.net irc.freenode.net]
vincenz has quit [niven.freenode.net irc.freenode.net]
Maledict has quit [niven.freenode.net irc.freenode.net]
KrispyKringle has quit [niven.freenode.net irc.freenode.net]
TaXules has joined #ocaml
CLxyz has quit [SendQ exceeded]
ramkrsna has joined #ocaml
Maledict has joined #ocaml
Skal has joined #ocaml
Bigb[a]ng has joined #ocaml
schlick has quit [niven.freenode.net irc.freenode.net]
kmag has quit [niven.freenode.net irc.freenode.net]
rossberg has quit [niven.freenode.net irc.freenode.net]
det has quit [niven.freenode.net irc.freenode.net]
tom_p has quit [niven.freenode.net irc.freenode.net]
dylan has quit [niven.freenode.net irc.freenode.net]
ski has quit [niven.freenode.net irc.freenode.net]
dvekravy has quit [niven.freenode.net irc.freenode.net]
shawn_ has quit [niven.freenode.net irc.freenode.net]
cmeme has quit [niven.freenode.net irc.freenode.net]
bzzbzz has quit [niven.freenode.net irc.freenode.net]
skylan has quit [niven.freenode.net irc.freenode.net]
skylan has joined #ocaml
det has joined #ocaml
rossberg has joined #ocaml
tom_p has joined #ocaml
ski has joined #ocaml
Oatmeat|umn has joined #ocaml
Naked has joined #ocaml
Naked is now known as Hadaka
Submarine has quit [niven.freenode.net irc.freenode.net]
dvekravy has joined #ocaml
Submarine has joined #ocaml
erik has joined #ocaml
cmeme has joined #ocaml
knobo has joined #ocaml
knobo has quit [niven.freenode.net irc.freenode.net]
Hadaka has quit [niven.freenode.net irc.freenode.net]
Oatmeat|umn has quit [niven.freenode.net irc.freenode.net]
Skal has quit [niven.freenode.net irc.freenode.net]
Bigb[a]ng has quit [niven.freenode.net irc.freenode.net]
Maledict has quit [niven.freenode.net irc.freenode.net]
ramkrsna has quit [niven.freenode.net irc.freenode.net]
TaXules has quit [niven.freenode.net irc.freenode.net]
det has quit [niven.freenode.net irc.freenode.net]
skylan has quit [niven.freenode.net irc.freenode.net]
mellum has quit [niven.freenode.net irc.freenode.net]
pattern has quit [niven.freenode.net irc.freenode.net]
juri has quit [niven.freenode.net irc.freenode.net]
ulfdoz has quit [niven.freenode.net irc.freenode.net]
noj has quit [niven.freenode.net irc.freenode.net]
pango_ has quit [niven.freenode.net irc.freenode.net]
ulfdoz has joined #ocaml
pango_ has joined #ocaml
noj has joined #ocaml
pattern has joined #ocaml
juri has joined #ocaml
knobo has joined #ocaml
Hadaka has joined #ocaml
Oatmeat|umn has joined #ocaml
Bigb[a]ng has joined #ocaml
Skal has joined #ocaml
Maledict has joined #ocaml
ramkrsna has joined #ocaml
TaXules has joined #ocaml
det has joined #ocaml
skylan has joined #ocaml
mellum has joined #ocaml
ulfdoz has quit [niven.freenode.net irc.freenode.net]
ulfdoz has joined #ocaml
juri has quit [niven.freenode.net irc.freenode.net]
pattern has quit [niven.freenode.net irc.freenode.net]
pattern has joined #ocaml
noj has quit [niven.freenode.net irc.freenode.net]
pango_ has quit [niven.freenode.net irc.freenode.net]
pango_ has joined #ocaml
ulfdoz has quit [niven.freenode.net irc.freenode.net]
ulfdoz has joined #ocaml
flux__ has joined #ocaml
juri has joined #ocaml
noj has joined #ocaml
Boojum is now known as Snark
dylan has joined #ocaml
malc_ has joined #ocaml
KrispyKringle has joined #ocaml
tristram has quit [Remote closed the connection]
tristram has joined #ocaml
smimou has joined #ocaml
_JusSx_ has joined #ocaml
bluestorm has quit [Remote closed the connection]
Amorphous has joined #ocaml
_JusSx_ has quit ["leaving"]
CLxyz has joined #ocaml
mkhl has joined #ocaml
cmeme has quit [Remote closed the connection]
cmeme has joined #ocaml
kral has joined #ocaml
descender has joined #ocaml
mattam has joined #ocaml
Maledikt has joined #ocaml
Maledict has quit [Read error: 110 (Connection timed out)]
Mitar has joined #ocaml
Mitar has left #ocaml []
bzzbzz has joined #ocaml
schlick has joined #ocaml
bluestorm has joined #ocaml
Smerdyakov has joined #ocaml
vincenz has joined #ocaml
rillig has joined #ocaml
Bigb[a]ng has quit [Read error: 110 (Connection timed out)]
kral has quit [""In girum imus nocte et consumimur igni.""]
batdog has quit []
Maledict has joined #ocaml
batdog has joined #ocaml
Maledict has left #ocaml []
Maledikt has quit [Read error: 110 (Connection timed out)]
descender has quit ["XML is like violence, if it doesn't solve the problem, just use more."]
dusty- has joined #ocaml
dusty- has left #ocaml []
bluestorm has quit [Remote closed the connection]
exa has joined #ocaml
mattam has quit [Read error: 104 (Connection reset by peer)]
mattam has joined #ocaml
quamaretto has joined #ocaml
mkhl has quit [Connection timed out]
kmag has joined #ocaml
ramkrsna has quit [Connection timed out]
ramkrsna has joined #ocaml
__DL__ has joined #ocaml
Maledict has joined #ocaml
Maledict has quit [Read error: 104 (Connection reset by peer)]
Maledict has joined #ocaml
Maledikt has joined #ocaml
rillig has quit ["exit(EXIT_SUCCESS)"]
Maledict has quit [Read error: 110 (Connection timed out)]
Submarine is now known as SubbyNeko
Maledikt has quit [Read error: 110 (Connection timed out)]
rq has quit ["Leaving"]
SubbyNeko is now known as Submarine
shirogane has joined #ocaml
mkhl has joined #ocaml
Maledict has joined #ocaml
lispy has joined #ocaml
Maledict has quit [Connection timed out]
kral has joined #ocaml
Maledict has joined #ocaml
Maledict has quit [Client Quit]
knobo has quit [Read error: 101 (Network is unreachable)]
Snark has quit [Read error: 110 (Connection timed out)]
Snark has joined #ocaml
Snark has quit ["Leaving"]
knobo has joined #ocaml
bluestorm has joined #ocaml
pmdboi has joined #ocaml
kral has quit [""In girum imus nocte et consumimur igni.""]
<pmdboi> hey... could someone please take a look at this?
<pmdboi> i'm not sure how to go about telling ocaml that a function that could return any of multiple subclasses of a given class should be typed as returning that class.
<flux__> I'm not sure, but maybe you could try casting the result to displayForm ((code here) :> displayForm)
<pmdboi> ok, i'll try that
<pmdboi> man, that's kind of annoying
<pmdboi> but it seems to have worked
<pmdboi> does ocaml do any sort of automatic upward type coercion?
<flux__> I don't think so
<flux__> it might not be as easy to implement either, as it would interact with type inference
<pmdboi> does ocaml actually store an inheritance graph? it seems like it's just copying all of the superclass's members into the inheriting class...
<pmdboi> and then the type coercion thing just makes sure that the object being coerced has all of the necessary properties for the type of the class being coerced too
<flux__> that's correct
<flux__> it's called prototyping
<flux__> I think :)
<pmdboi> ok, so here's another question
<pmdboi> in this session, how does the interpreter conclude that the return type of makeObject is "foo" instead of "<class foo : int, ...>"?
<pmdboi> or whatever it uses for a class for which it doesn't know the name... i can't remember the output :)
<flux__> I'm not sure if the name matters; it might be there only for convenience
<pmdboi> ok
<pmdboi> it's interesting... it seems like the only reason there's a problem in my program is because hboxForm has one more method than the other subclasses
<pmdboi> otherwise, their signatures would be identical (and they were, in fact, until recently) and there would be no probblem.
<pmdboi> problem, even
<flux__> yes, in that case you will need to narrow the type down a bit
<flux__> (the reverse isn't possible; however there are some neat ways around that)
<pmdboi> yeah, the reverse wouldn't really make much sense, semantically
<pmdboi> you can't turn an arbitrary animal into a dog and then ask it to bark
<flux__> unless you really know it's a dog ;)
<pmdboi> ok, so now my function looks like this
Skal has quit [Read error: 104 (Connection reset by peer)]
pmdboi has quit ["Leaving"]
Submarine has quit ["Leaving"]
Schmurtz has quit ["Plouf !"]
__DL__ has quit ["Bye Bye"]
shawn has joined #ocaml