00:03
Raziel has quit [Remote closed the connection]
00:13
Skal has quit [Remote closed the connection]
00:34
Smerdyakov has joined #ocaml
00:45
_fab has quit [Remote closed the connection]
01:06
malc_ has quit ["leaving"]
01:10
Raziel has joined #ocaml
01:20
smimou has quit ["bli"]
01:33
mwc has joined #ocaml
01:35
mwc_ has joined #ocaml
01:38
mwc__ has joined #ocaml
01:39
<
ulfdoz >
Und wenn man genau hinschaut, sieht man auch Ines. 36 und ich bin schändlich abgeblitzt.
*arg*
01:39
<
ulfdoz >
ECHAN, sorry
01:48
rq has quit ["Leaving"]
01:55
mwc has quit [Read error: 110 (Connection timed out)]
01:56
mwc__ has quit [Read error: 110 (Connection timed out)]
01:57
mwc_ has quit [Read error: 110 (Connection timed out)]
01:58
CosmicRay has joined #ocaml
02:34
mwc has joined #ocaml
02:44
mwc has quit [Nick collision from services.]
02:46
mwc has joined #ocaml
02:48
CosmicRay has quit ["Client exiting"]
02:52
mwc has quit ["leaving"]
03:00
pango_ has joined #ocaml
03:14
m3ga has joined #ocaml
03:18
pango has quit [Read error: 110 (Connection timed out)]
03:40
mwc has joined #ocaml
04:11
m3ga has quit [Read error: 104 (Connection reset by peer)]
04:32
exa has quit [Remote closed the connection]
04:51
mwc has quit [Read error: 110 (Connection timed out)]
04:58
Smerdyakov has quit ["Leaving"]
05:01
shirogane has joined #ocaml
07:00
shirogane has quit [Remote closed the connection]
07:03
mwc has joined #ocaml
07:03
mwc has quit [Remote closed the connection]
07:06
Snark has joined #ocaml
07:08
rq has joined #ocaml
07:16
Raziel has quit ["Yo soy goma. Tú eres cola."]
07:51
Submarine has joined #ocaml
08:09
mlin has quit [Read error: 104 (Connection reset by peer)]
08:36
kryptt has joined #ocaml
08:40
slipstream has quit [Connection timed out]
08:54
Maledict has joined #ocaml
09:08
_fab has joined #ocaml
09:32
mwc has joined #ocaml
09:34
mwc has left #ocaml []
09:40
revision17_ has quit [Read error: 110 (Connection timed out)]
09:46
ski has joined #ocaml
10:04
_fab has quit [Read error: 110 (Connection timed out)]
10:27
clog has joined #ocaml
10:27
Revision17 has joined #ocaml
10:27
ppsmimou has joined #ocaml
10:28
CLxyz has joined #ocaml
10:28
pattern has joined #ocaml
10:32
Skal has joined #ocaml
10:39
clog has joined #ocaml
10:39
ppsmimou has joined #ocaml
10:39
Revision17 has joined #ocaml
10:40
CLxyz has joined #ocaml
10:42
enthalpyX has joined #ocaml
11:26
bluestorm has quit [niven.freenode.net irc.freenode.net]
11:26
batdog has quit [niven.freenode.net irc.freenode.net]
11:26
Sesh has quit [niven.freenode.net irc.freenode.net]
11:26
rq has quit [niven.freenode.net irc.freenode.net]
11:26
Schmurtz has quit [niven.freenode.net irc.freenode.net]
11:26
mattam has quit [niven.freenode.net irc.freenode.net]
11:26
tristram has quit [niven.freenode.net irc.freenode.net]
11:26
Snark has quit [niven.freenode.net irc.freenode.net]
11:27
rq has joined #ocaml
11:27
bluestorm has joined #ocaml
11:27
batdog has joined #ocaml
11:27
Sesh has joined #ocaml
11:27
tristram has joined #ocaml
11:30
tristram has quit [niven.freenode.net irc.freenode.net]
11:30
Sesh has quit [niven.freenode.net irc.freenode.net]
11:30
batdog has quit [niven.freenode.net irc.freenode.net]
11:30
bluestorm has quit [niven.freenode.net irc.freenode.net]
11:30
rq has quit [niven.freenode.net irc.freenode.net]
11:30
Submarine has quit [niven.freenode.net irc.freenode.net]
11:30
pattern has quit [niven.freenode.net irc.freenode.net]
11:30
juri has quit [niven.freenode.net irc.freenode.net]
11:30
ulfdoz has quit [niven.freenode.net irc.freenode.net]
11:31
erik has quit [niven.freenode.net irc.freenode.net]
11:31
knobo_ has quit [niven.freenode.net irc.freenode.net]
11:31
Bigb[a]ng has quit [niven.freenode.net irc.freenode.net]
11:31
mellum has quit [niven.freenode.net irc.freenode.net]
11:31
vincenz has quit [niven.freenode.net irc.freenode.net]
11:31
KrispyKringle has quit [niven.freenode.net irc.freenode.net]
11:31
flux__ has quit [niven.freenode.net irc.freenode.net]
11:31
lispy has quit [niven.freenode.net irc.freenode.net]
11:31
Hadaka has quit [niven.freenode.net irc.freenode.net]
11:31
TaXules has quit [niven.freenode.net irc.freenode.net]
11:31
Skal has quit [niven.freenode.net irc.freenode.net]
11:31
Maledict has quit [niven.freenode.net irc.freenode.net]
11:31
Oatmeat|umn has quit [niven.freenode.net irc.freenode.net]
11:31
ramkrsna has quit [niven.freenode.net irc.freenode.net]
11:31
pango_ has quit [niven.freenode.net irc.freenode.net]
11:31
noj has quit [niven.freenode.net irc.freenode.net]
11:31
dvekravy has quit [niven.freenode.net irc.freenode.net]
11:31
kmag has quit [niven.freenode.net irc.freenode.net]
11:31
rossberg has quit [niven.freenode.net irc.freenode.net]
11:31
schlick has quit [niven.freenode.net irc.freenode.net]
11:31
cmeme has quit [niven.freenode.net irc.freenode.net]
11:31
shawn_ has quit [niven.freenode.net irc.freenode.net]
11:31
dylan has quit [niven.freenode.net irc.freenode.net]
11:31
skylan has quit [niven.freenode.net irc.freenode.net]
11:31
tom_p has quit [niven.freenode.net irc.freenode.net]
11:31
bzzbzz has quit [niven.freenode.net irc.freenode.net]
11:31
det has quit [niven.freenode.net irc.freenode.net]
11:31
ski has quit [niven.freenode.net irc.freenode.net]
11:31
det has joined #ocaml
11:31
rossberg has joined #ocaml
11:31
kmag has joined #ocaml
11:31
tom_p has joined #ocaml
11:31
cmeme has joined #ocaml
11:31
dylan has joined #ocaml
11:31
dvekravy has joined #ocaml
11:31
schlick has joined #ocaml
11:31
shawn_ has joined #ocaml
11:31
bzzbzz has joined #ocaml
11:31
skylan has joined #ocaml
11:31
ski has joined #ocaml
11:31
Hadaka has joined #ocaml
11:31
Oatmeat|umn has joined #ocaml
11:31
flux__ has joined #ocaml
11:31
TaXules has joined #ocaml
11:31
mellum has joined #ocaml
11:31
knobo_ has joined #ocaml
11:31
Bigb[a]ng has joined #ocaml
11:31
noj has joined #ocaml
11:31
erik has joined #ocaml
11:31
vincenz has joined #ocaml
11:31
juri has joined #ocaml
11:31
ulfdoz has joined #ocaml
11:31
lispy has joined #ocaml
11:31
KrispyKringle has joined #ocaml
11:31
ramkrsna has joined #ocaml
11:31
pango_ has joined #ocaml
11:31
Maledict has joined #ocaml
11:31
pattern has joined #ocaml
11:31
Skal has joined #ocaml
11:31
Submarine has joined #ocaml
11:31
tristram has joined #ocaml
11:31
Sesh has joined #ocaml
11:31
batdog has joined #ocaml
11:31
bluestorm has joined #ocaml
11:31
rq has joined #ocaml
11:32
Boojum has joined #ocaml
11:39
Schmurtz has joined #ocaml
11:41
Raziel has joined #ocaml
11:44
erik has quit [niven.freenode.net irc.freenode.net]
11:44
mellum has quit [niven.freenode.net irc.freenode.net]
11:44
knobo_ has quit [niven.freenode.net irc.freenode.net]
11:44
Bigb[a]ng has quit [niven.freenode.net irc.freenode.net]
11:45
mellum has joined #ocaml
11:46
TaXules has quit [niven.freenode.net irc.freenode.net]
11:46
lispy has quit [niven.freenode.net irc.freenode.net]
11:46
Skal has quit [niven.freenode.net irc.freenode.net]
11:46
flux__ has quit [niven.freenode.net irc.freenode.net]
11:46
ramkrsna has quit [niven.freenode.net irc.freenode.net]
11:46
Hadaka has quit [niven.freenode.net irc.freenode.net]
11:46
Oatmeat|umn has quit [niven.freenode.net irc.freenode.net]
11:46
vincenz has quit [niven.freenode.net irc.freenode.net]
11:46
Maledict has quit [niven.freenode.net irc.freenode.net]
11:46
KrispyKringle has quit [niven.freenode.net irc.freenode.net]
11:46
TaXules has joined #ocaml
11:46
CLxyz has quit [SendQ exceeded]
11:46
ramkrsna has joined #ocaml
11:46
Maledict has joined #ocaml
11:46
Skal has joined #ocaml
11:46
Bigb[a]ng has joined #ocaml
11:47
schlick has quit [niven.freenode.net irc.freenode.net]
11:47
kmag has quit [niven.freenode.net irc.freenode.net]
11:47
rossberg has quit [niven.freenode.net irc.freenode.net]
11:47
det has quit [niven.freenode.net irc.freenode.net]
11:47
tom_p has quit [niven.freenode.net irc.freenode.net]
11:48
dylan has quit [niven.freenode.net irc.freenode.net]
11:48
ski has quit [niven.freenode.net irc.freenode.net]
11:48
dvekravy has quit [niven.freenode.net irc.freenode.net]
11:48
shawn_ has quit [niven.freenode.net irc.freenode.net]
11:48
cmeme has quit [niven.freenode.net irc.freenode.net]
11:48
bzzbzz has quit [niven.freenode.net irc.freenode.net]
11:48
skylan has quit [niven.freenode.net irc.freenode.net]
11:48
skylan has joined #ocaml
11:48
det has joined #ocaml
11:48
rossberg has joined #ocaml
11:48
tom_p has joined #ocaml
11:48
ski has joined #ocaml
11:49
Oatmeat|umn has joined #ocaml
11:51
Naked has joined #ocaml
11:51
Naked is now known as Hadaka
11:52
Submarine has quit [niven.freenode.net irc.freenode.net]
11:53
dvekravy has joined #ocaml
11:53
Submarine has joined #ocaml
11:54
erik has joined #ocaml
11:55
cmeme has joined #ocaml
11:55
knobo has joined #ocaml
11:57
knobo has quit [niven.freenode.net irc.freenode.net]
11:57
Hadaka has quit [niven.freenode.net irc.freenode.net]
11:57
Oatmeat|umn has quit [niven.freenode.net irc.freenode.net]
11:57
Skal has quit [niven.freenode.net irc.freenode.net]
11:57
Bigb[a]ng has quit [niven.freenode.net irc.freenode.net]
11:57
Maledict has quit [niven.freenode.net irc.freenode.net]
11:57
ramkrsna has quit [niven.freenode.net irc.freenode.net]
11:57
TaXules has quit [niven.freenode.net irc.freenode.net]
11:57
det has quit [niven.freenode.net irc.freenode.net]
11:57
skylan has quit [niven.freenode.net irc.freenode.net]
11:57
mellum has quit [niven.freenode.net irc.freenode.net]
11:57
pattern has quit [niven.freenode.net irc.freenode.net]
11:57
juri has quit [niven.freenode.net irc.freenode.net]
11:57
ulfdoz has quit [niven.freenode.net irc.freenode.net]
11:57
noj has quit [niven.freenode.net irc.freenode.net]
11:57
pango_ has quit [niven.freenode.net irc.freenode.net]
11:57
ulfdoz has joined #ocaml
11:57
pango_ has joined #ocaml
11:57
noj has joined #ocaml
11:57
pattern has joined #ocaml
11:57
juri has joined #ocaml
11:57
knobo has joined #ocaml
11:57
Hadaka has joined #ocaml
11:57
Oatmeat|umn has joined #ocaml
11:57
Bigb[a]ng has joined #ocaml
11:57
Skal has joined #ocaml
11:57
Maledict has joined #ocaml
11:57
ramkrsna has joined #ocaml
11:57
TaXules has joined #ocaml
11:57
det has joined #ocaml
11:57
skylan has joined #ocaml
11:57
mellum has joined #ocaml
12:06
ulfdoz has quit [niven.freenode.net irc.freenode.net]
12:07
ulfdoz has joined #ocaml
12:07
juri has quit [niven.freenode.net irc.freenode.net]
12:07
pattern has quit [niven.freenode.net irc.freenode.net]
12:07
pattern has joined #ocaml
12:08
noj has quit [niven.freenode.net irc.freenode.net]
12:08
pango_ has quit [niven.freenode.net irc.freenode.net]
12:08
pango_ has joined #ocaml
12:09
ulfdoz has quit [niven.freenode.net irc.freenode.net]
12:09
ulfdoz has joined #ocaml
12:11
flux__ has joined #ocaml
12:12
juri has joined #ocaml
12:13
noj has joined #ocaml
12:24
Boojum is now known as Snark
12:33
dylan has joined #ocaml
12:57
malc_ has joined #ocaml
13:01
KrispyKringle has joined #ocaml
13:07
tristram has quit [Remote closed the connection]
13:07
tristram has joined #ocaml
13:12
smimou has joined #ocaml
13:18
_JusSx_ has joined #ocaml
13:20
bluestorm has quit [Remote closed the connection]
13:31
Amorphous has joined #ocaml
13:34
_JusSx_ has quit ["leaving"]
13:45
CLxyz has joined #ocaml
14:15
mkhl has joined #ocaml
14:26
cmeme has quit [Remote closed the connection]
14:27
cmeme has joined #ocaml
14:28
kral has joined #ocaml
14:33
descender has joined #ocaml
14:42
mattam has joined #ocaml
14:47
Maledikt has joined #ocaml
14:50
Maledict has quit [Read error: 110 (Connection timed out)]
15:02
Mitar has joined #ocaml
15:02
Mitar has left #ocaml []
15:36
bzzbzz has joined #ocaml
15:48
schlick has joined #ocaml
15:57
bluestorm has joined #ocaml
16:11
Smerdyakov has joined #ocaml
16:23
vincenz has joined #ocaml
16:24
rillig has joined #ocaml
16:36
Bigb[a]ng has quit [Read error: 110 (Connection timed out)]
16:41
kral has quit [""In girum imus nocte et consumimur igni.""]
16:52
Maledict has joined #ocaml
16:53
batdog has joined #ocaml
16:56
Maledict has left #ocaml []
17:06
Maledikt has quit [Read error: 110 (Connection timed out)]
17:09
descender has quit ["XML is like violence, if it doesn't solve the problem, just use more."]
17:10
dusty- has joined #ocaml
17:13
dusty- has left #ocaml []
17:26
bluestorm has quit [Remote closed the connection]
17:32
exa has joined #ocaml
17:43
mattam has quit [Read error: 104 (Connection reset by peer)]
17:43
mattam has joined #ocaml
17:48
quamaretto has joined #ocaml
18:05
mkhl has quit [Connection timed out]
18:41
kmag has joined #ocaml
18:45
ramkrsna has quit [Connection timed out]
18:45
ramkrsna has joined #ocaml
19:04
__DL__ has joined #ocaml
19:09
Maledict has joined #ocaml
19:13
Maledict has quit [Read error: 104 (Connection reset by peer)]
19:18
Maledict has joined #ocaml
19:19
Maledikt has joined #ocaml
19:20
rillig has quit ["exit(EXIT_SUCCESS)"]
19:35
Maledict has quit [Read error: 110 (Connection timed out)]
19:45
Submarine is now known as SubbyNeko
19:46
Maledikt has quit [Read error: 110 (Connection timed out)]
20:16
rq has quit ["Leaving"]
20:17
SubbyNeko is now known as Submarine
20:17
shirogane has joined #ocaml
20:20
mkhl has joined #ocaml
20:26
Maledict has joined #ocaml
20:40
lispy has joined #ocaml
20:43
Maledict has quit [Connection timed out]
20:44
kral has joined #ocaml
21:00
Maledict has joined #ocaml
21:00
Maledict has quit [Client Quit]
21:14
knobo has quit [Read error: 101 (Network is unreachable)]
21:17
Snark has quit [Read error: 110 (Connection timed out)]
21:18
Snark has joined #ocaml
21:32
Snark has quit ["Leaving"]
21:34
knobo has joined #ocaml
22:26
bluestorm has joined #ocaml
22:27
pmdboi has joined #ocaml
22:31
kral has quit [""In girum imus nocte et consumimur igni.""]
22:34
<
pmdboi >
hey... could someone please take a look at this?
22:35
<
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.
22:37
<
flux__ >
I'm not sure, but maybe you could try casting the result to displayForm ((code here) :> displayForm)
22:39
<
pmdboi >
ok, i'll try that
22:41
<
pmdboi >
man, that's kind of annoying
22:41
<
pmdboi >
but it seems to have worked
22:42
<
pmdboi >
does ocaml do any sort of automatic upward type coercion?
22:42
<
flux__ >
I don't think so
22:43
<
flux__ >
it might not be as easy to implement either, as it would interact with type inference
22:44
<
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...
22:45
<
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
22:48
<
flux__ >
that's correct
22:49
<
flux__ >
it's called prototyping
22:50
<
flux__ >
I think :)
22:50
<
pmdboi >
ok, so here's another question
22:51
<
pmdboi >
in this session, how does the interpreter conclude that the return type of makeObject is "foo" instead of "<class foo : int, ...>"?
22:51
<
pmdboi >
or whatever it uses for a class for which it doesn't know the name... i can't remember the output :)
22:51
<
flux__ >
I'm not sure if the name matters; it might be there only for convenience
22:52
<
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
22:52
<
pmdboi >
otherwise, their signatures would be identical (and they were, in fact, until recently) and there would be no probblem.
22:52
<
pmdboi >
problem, even
22:52
<
flux__ >
yes, in that case you will need to narrow the type down a bit
22:53
<
flux__ >
(the reverse isn't possible; however there are some neat ways around that)
22:53
<
pmdboi >
yeah, the reverse wouldn't really make much sense, semantically
22:54
<
pmdboi >
you can't turn an arbitrary animal into a dog and then ask it to bark
22:54
<
flux__ >
unless you really know it's a dog ;)
22:55
<
pmdboi >
ok, so now my function looks like this
22:57
Skal has quit [Read error: 104 (Connection reset by peer)]
23:07
pmdboi has quit ["Leaving"]
23:09
Submarine has quit ["Leaving"]
23:29
Schmurtz has quit ["Plouf !"]
23:40
__DL__ has quit ["Bye Bye"]
23:47
shawn has joined #ocaml