mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
kelaouch1 has joined #ocaml
coucou747 has quit ["bye ca veut dire tchao en anglais"]
zkincaid has joined #ocaml
middayc has joined #ocaml
kelaouchi has quit [Read error: 110 (Connection timed out)]
<Anarchos> does ocamlmklib link object files with ocamlrun by default ?
psnively has quit []
middayc has quit []
yangsx has joined #ocaml
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
^authentic has joined #ocaml
Axioplase has quit ["leaving"]
authentic has quit [Remote closed the connection]
^authentic is now known as authentic
<palomer> how do you define mutually recursive classes?
<palomer> class types
<palomer> rather
<palomer> figured it out
comglz has joined #ocaml
* palomer is a little confused as to the difference between a class type and a class
postalchris has joined #ocaml
kelaouchi has joined #ocaml
<palomer> it seems that class types are like virtual classes
<palomer> http://pastebin.com/m24c2ba3f <--how would I do this?
<palomer> http://pastebin.com/m11601e9b <---why should my class be virtual?
<palomer> #
<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)]
delamarche has quit []
RobertFischer has quit ["I'm out of here. Check out my blog at http://enfranchisedmind.com/blog or my company website at http://smokejumperit.com"]
thermoplyae has quit ["daddy's in space"]
dibblego has joined #ocaml
dabblego has joined #ocaml
Anarchos has joined #ocaml
thermoplyae has joined #ocaml
bluestorm has quit [Read error: 113 (No route to host)]
love-pingoo has quit ["Connection reset by pear"]
dabblego has quit ["Scratchya"]
Snark has quit [Read error: 113 (No route to host)]
ita has joined #ocaml
dibblego has quit [Read error: 110 (Connection timed out)]
<mbishop> Anyone seen Chris Rathman around?
Naked has joined #ocaml
Hadaka has quit [Read error: 60 (Operation timed out)]
Naked is now known as Hadaka
Axioplase has joined #ocaml
postalchris has joined #ocaml
postalchris has quit [Client Quit]
ita has quit [Remote closed the connection]
marmottine has quit [Remote closed the connection]
Smerdyakov has quit [Read error: 110 (Connection timed out)]
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
ygrek has quit [Remote closed the connection]
evn has quit [Remote closed the connection]
evn has joined #ocaml
l_a_m has quit [Remote closed the connection]
evn is now known as noob