<palomer>
The following methods are undefined : vertical_render set_right_sibling set_left_sibling identify get_suggestions get_right_sibling get_parent
<palomer>
clearly, I defined those functions!!!
kelaouch1 has quit [Connection timed out]
<ita>
palomer: compilation problem maybe?
seafood_ has joined #ocaml
<palomer>
how do I fix that?
<ita>
i thought that maybe there were old .cmo files in your project, but that's probably not the case
<ita>
sorry :-/
<palomer>
I deleted all of'em
<palomer>
ahh, found the mistake
<palomer>
: expression_t
<palomer>
though I don't know why
<palomer>
oh well
<palomer>
Warning M: the following methods are overriden by the inherited class: as_variant
<palomer>
why am I getting this warning?
ita has quit [Remote closed the connection]
hkBst has quit ["Konversation terminated!"]
comglz has quit [""dodo""]
postalchris has quit ["Leaving."]
hsuh has joined #ocaml
<palomer>
I have a virtual class foo with method a which I override
<palomer>
ahh, the problem was that I inherited twice
benzo has joined #ocaml
kelaouch1 has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
zkincaid has left #ocaml []
kelaouchi has quit [Read error: 110 (Connection timed out)]
^authentic has joined #ocaml
authentic has quit [Remote closed the connection]
^authentic is now known as authentic
kelaouchi has joined #ocaml
hsuh has quit [Remote closed the connection]
kelaouch1 has quit [Read error: 110 (Connection timed out)]
adajo has joined #ocaml
mwc has joined #ocaml
<palomer>
yo mwc
<palomer>
nice weather, eh?
<mwc>
nuts!
<palomer>
nuts in your neck of the woods?
<palomer>
its about -5 outside with no wind
<palomer>
that's what I call warm!
<palomer>
took a half hour stroll
<resistor_>
hello
<resistor_>
i have a beginner question that i was hoping someone might be able to answer...
<resistor_>
so i have a variant type defined as type primitive = Sphere of point * float * material | Triangle of point * point * point * material ;;
<resistor_>
then, in a function, i have: match p with Sphere (points, radius, mat) -> ... | Triangle (p1, p2, p3, mat) -> ...
<resistor_>
i get a warning that the pattern matching is not exhaustive
<resistor_>
that that the unmatched value would be Triangle (_, _, _, _)
<resistor_>
which i don't understand :-/
<resistor_>
hello?
eger has joined #ocaml
<eger>
Is there a way to examine the environment from within the ocaml interpreter?
<eger>
For instance, to see what the members of the 'Cairo' module are.
<adajo>
Hi, I am about to learn about the internals of the caml implementation. Can anybody suggest some background reading before I dig into the source tree? (I already know a few bits about the categorical abstract machine and the zam but I would like to know how things are actually done)
<palomer>
what's the deal with the CAM?
<palomer>
resistor_, paste the code dude
<adajo>
the deal with the cam? it basically is, afaik, the abstract machine on which the caml implementation was based
<adajo>
palomer: there are a few online slide by Xavier Leroy "from Krivine's machine to the Caml implementations" but I was hoping more about some kind of paper that explains some bits about the compiler pipeline. A kind of companion for the sourcetree :)
<palomer>
I took a class from Krivine!
<palomer>
nice guy
<palomer>
even found a fallacy in one of his proofs
<adajo>
good for you
<adajo>
yeah he seems to be a nice guy. His machine is certainly nice:)
<palomer>
but does anyone still use the CAM?
<adajo>
well, perhaps not directly.
<adajo>
there are a pile of things that have to be done to go from an abstract machine to a concrete implementation.
<palomer>
ahh, now I remember his machine
<palomer>
you have a stack of symbols
<palomer>
and then you reduce
<adajo>
yup, or better a stack of thunks, unevaluated expressions that you evaluate on demand
<palomer>
he taught us that stuff, never knew it was the CAM
<adajo>
no, that's the "Krivine's abstract machine" it is a call-by-name machine.
<adajo>
The cam is somewhat similar, however, it is a call-by-value machine
<palomer>
ahh
<palomer>
yeah, the KAM has a call-cc combinator
<palomer>
he might have showed us the mu calculus combinator
<palomer>
why is the cam interesting?
* palomer
is off to eat cereal
adajo has left #ocaml []
<thelema>
resistor_: do you have a "when ..." clause on your Triangle case?
jlouis has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
<palomer>
hmm, my print_int isn't printing
<palomer>
how do I flush my buffer?
resistor__ has joined #ocaml
<thelema>
palomer: [flush stdout]
<thelema>
resistor_: do you have a "when ..." clause on your Triangle case?
evn has joined #ocaml
resistor_ has quit [Read error: 113 (No route to host)]
authentic has quit [Read error: 113 (No route to host)]
kelaouchi has quit [Read error: 104 (Connection reset by peer)]
benzo_ has joined #ocaml
benzo has quit [Read error: 104 (Connection reset by peer)]
kelaouchi has joined #ocaml
l_a_m has joined #ocaml
seafood_ has quit []
evn has quit []
goalieca has quit [Remote closed the connection]
schme has joined #ocaml
thermoplyae has quit ["daddy's in space"]
ttamttam has joined #ocaml
benzo has joined #ocaml
benzo_ has quit [Read error: 104 (Connection reset by peer)]
<pango>
eger: there's a way, even if it looks like a hack... # module C = Cairo ;; ... The toplevel will display the signature of module C, which is the same as the Cairo one...
thelema has quit [Read error: 110 (Connection timed out)]
resistor__ has quit [Read error: 113 (No route to host)]
magnusth has joined #ocaml
coucou747 has joined #ocaml
OChameau has joined #ocaml
yangsx has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
ttamttam has left #ocaml []
bla has quit [Read error: 110 (Connection timed out)]
dwmw2_gone is now known as dwmw2
authentic has joined #ocaml
Yoric[DT] has joined #ocaml
authentic has quit [Remote closed the connection]
Morphous_ has joined #ocaml
authentic has joined #ocaml
jlouis_ has joined #ocaml
kelaouch1 has joined #ocaml
Morphous has quit [Read error: 110 (Connection timed out)]
jlouis has quit [Read error: 110 (Connection timed out)]
kelaouchi has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
schme has quit [Remote closed the connection]
schme has joined #ocaml
rogo has joined #ocaml
bla has joined #ocaml
Snark has joined #ocaml
schme has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
eger has quit [Read error: 110 (Connection timed out)]
eger has joined #ocaml
TheLittlePrince has joined #ocaml
ppsmimou has quit [Remote closed the connection]
ppsmimou has joined #ocaml
Linktim has joined #ocaml
middayc has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
Snark has quit [Remote closed the connection]
authentic has left #ocaml []
Linktim has joined #ocaml
Linktim has quit [Read error: 104 (Connection reset by peer)]
Linktim has joined #ocaml
evn has joined #ocaml
RobertFischer has joined #ocaml
authentic has joined #ocaml
evn has quit []
mwc has quit [Remote closed the connection]
<Yoric[DT]>
Does anyone know where I can find the pico-machine ?
<Yoric[DT]>
Seems it used to be included as an example with Caml-Light.
<RobertFischer>
Sry.
magnusth has quit ["Ex-Chat"]
bluestorm has joined #ocaml
<Yoric[DT]>
RobertFischer: ?
pango has quit [Remote closed the connection]
pango has joined #ocaml
ikaros has joined #ocaml
<RobertFischer>
Yoric[DT]: That's "Sorry."
coucou747 has quit ["bye ca veut dire tchao en anglais"]
coucou747 has joined #ocaml
<Yoric[DT]>
ok
<Yoric[DT]>
As long as it's not "Search Yourself" :)
Demitar_ has joined #ocaml
<bluestorm>
cannot be depreciative unless it has a "Fuck" inside : RTFM, STFW [QEFD]
<Yoric[DT]>
:)
Demitar has quit [Read error: 110 (Connection timed out)]
<RobertFischer>
RTFM I know... STFU I know, but STFW? And QEFD I've got nothing on.
<RobertFischer>
QEFD == "As has been fucking shown"?
<Yoric[DT]>
That's how I understand it.
<Yoric[DT]>
Quod Erat Fucking Demonstrandum
<RobertFischer>
Got it.
* RobertFischer
is finishing up his rockstar OSP application.
<Smerdyakov>
RobertFischer, you're a student?
<bluestorm>
RobertFischer: you've got a teacher ? :p
<Smerdyakov>
bluestorm, come on. There are never spaces before question marks in English.
<bluestorm>
i'm gonna try to remove them then
<bluestorm>
thanks for the tip
<Smerdyakov>
Great, now I can stop worrying and eat lunch! :D
<Yoric[DT]>
Mmmmhhhh....
<Yoric[DT]>
Remind me, is there a way to ask ocamlc politely for all type information available on a given source file ?
<bluestorm>
ocamlc -i
<bluestorm>
hm
<Yoric[DT]>
That's only for toplevel values, isn't it ?
<bluestorm>
or maybe the .annot thing ?
<Yoric[DT]>
erf
<Yoric[DT]>
That's only for toplevel values, isn't it?
<Yoric[DT]>
Yeah, that .annot thing.
<bluestorm>
-dtypes
<RobertFischer>
bluestorm: I'm going to be a mentor, working with a couple of students I know. I'm a fraternity guy, so I spend way too much time at my alma mater for an alumnus.
<RobertFischer>
(Yes, I'm that guy.)
<bluestorm>
i wish i had mentors in my school
<Smerdyakov>
RobertFischer, you know, you need to be a faculty member to be a mentor.
<Yoric[DT]>
Thanks.
delamarche has joined #ocaml
<RobertFischer>
Smerdyakov: I've talked this through with Ron, and I've got it covered. Thanks for the tip, though. :)
thermoplyae has joined #ocaml
Linktim_ has joined #ocaml
<Yoric[DT]>
I guess I could serve as a mentor if anybody has a project.
<Smerdyakov>
It has to be in-person meetings every week, I think.
<Yoric[DT]>
Well, then I guess it'd better be a French student living somewhere between Paris and Bourges.
marmottine has joined #ocaml
Demitar_ has quit [Read error: 110 (Connection timed out)]
eger has quit [Read error: 110 (Connection timed out)]
Linktim has quit [Read error: 110 (Connection timed out)]
Linktim_ has quit [Read error: 113 (No route to host)]
postalchris has joined #ocaml
Linktim has joined #ocaml
jsk has quit [Read error: 113 (No route to host)]
TheLittlePrince has quit [Client Quit]
Yoric[DT] has quit ["Ex-Chat"]
thelema has joined #ocaml
thelema has quit ["[BX] Mr. T uses BitchX. Shouldn't you, SUCKAH?"]
thelema has joined #ocaml
thermoplyae has quit ["daddy's in space"]
ita has joined #ocaml
authentic has quit [Connection timed out]
love-pingoo has joined #ocaml
authentic has joined #ocaml
OChameau has quit ["Leaving"]
evn has joined #ocaml
rogo has quit [Remote closed the connection]
thermoplyae has joined #ocaml
postalchris has quit [Read error: 110 (Connection timed out)]
Snark has joined #ocaml
benzo has quit [Remote closed the connection]
ygrek has joined #ocaml
thelema has quit [Read error: 110 (Connection timed out)]
Metaleer has joined #ocaml
Metaleer has left #ocaml []
rey_ has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ita has quit [Remote closed the connection]
Linktim has quit [Remote closed the connection]
_ry has joined #ocaml
thermoplyae has quit ["daddy's in space"]
thermoplyae has joined #ocaml
ircrerun has joined #ocaml
thermoplyae has quit [Nick collision from services.]
ircrerun is now known as thermoplyae
rogo has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
authentic has left #ocaml []
Yoric[DT] has joined #ocaml
authentic has joined #ocaml
Demitar has joined #ocaml
sporkmonger has quit []
thelema has joined #ocaml
yminsky_ has joined #ocaml
yminsky has quit [Read error: 104 (Connection reset by peer)]