<gildor>
thelema: great, no problem to login through the forge ?
<thelema>
nope, it said I had to login, I clicked the link, logged in on the forge and came right back to registratin
<gildor>
perfect
<thelema>
gildor: should I edit any funny grammar?
<thelema>
on the proofread page
<gildor>
wait a sec, I do a correction
<gildor>
thelema: go on, edit anything that look funny
<adrien>
I'm trying to define a functor over an object and I'm stuck with the typing: I want something like "type t = < coerce : GObj.widget; ..>" but I can't get it to work: http://vpaste.net/aGU1X? (I ran "lablgtk2", not "ocaml")
avsm has quit [Quit: Leaving.]
<thelema>
adrien: GEdit.entry is a class function, you can't just use it as a type
kerneis has joined #ocaml
<sgnb>
gildor: registration seems to work
<gildor>
sgnb: ah, just reinited the db
<gildor>
sgnb: this no more a test
<sgnb>
ok, so I am already registered :-)
<gildor>
all: the registration works, this is NO MORE a test
<gildor>
sgnb: indeed, you'll have to come ;-)
<adrien>
thelema: but "let a : GEdit.entry = GEdit.entry ();;" works and actually, if I write "GEdit.entry" instead of "< coerce : GObj.widget; .. >", then it works alright
<thelema>
yes, but GEdit.entry's type isn't the object, it's a function that returns an object
<thelema>
err, Gedit.entry is the type of the returned object? hmmm
<adrien>
you have both: a function and a class, with the same name
<thelema>
orbitz: ocaml supports this with it's ('a, 'b) result type. That said, pretty much all our exceptionless stuff uses the option type because there's only one exception to be thrown, and no real info to carry back on that exception (usually Not_found)
<vivanov>
looks like using plplot bindings would be easier for plotting charts?
<hcarty>
Yes, hopefully :-)
<vivanov>
:)
<vivanov>
ok thanks very much
<hcarty>
I'm the author/maintainer of the bindings - feedback is welcome!
<vivanov>
:)
<vivanov>
ok sure
<vivanov>
and what about Graphics module
<vivanov>
in-built one -- does anybody use it?
<hcarty>
That could certainly be used as well. I think it's generally used for quick prototyping.
<hcarty>
It has the benefit of few dependencies
<vivanov>
ok i see
<vivanov>
thanks
arubin has quit [Quit: arubin]
lopex has joined #ocaml
<sgnb>
hcarty: you are the author/maintainer of cairo-ocaml?
<hcarty>
sgnb: No no - the PLplot OCaml bindings
<hcarty>
sgnb: I wish I had time to work on the Cairo bindings
<sgnb>
ah... I ask because I still don't have a clear idea of who upstream is... and in particular, I don't know if the Debian package is up-to-date
<hcarty>
I think that there are a few folks who have put effort in to the Cairo bindings, Olivier Andrieu has done most of the work from what I understand
<sgnb>
the last release dates back to June 2009... however, the version in Debian dates back to February 2009... both are pretty old...
<sgnb>
hcarty: is the git master reliable?
<hcarty>
sgnb: My understanding is that it is. I haven't had trouble with in my personal use.
<sgnb>
the commits since last release look innocuous indeed
ttamttam has left #ocaml []
Associat0r has joined #ocaml
jonafan_ is now known as jonafan
examachine has joined #ocaml
examachine_ has joined #ocaml
brendan has quit [Quit: leaving]
brendan has joined #ocaml
willb1 has quit [Ping timeout: 246 seconds]
examachine has quit [Ping timeout: 272 seconds]
<kaustuv>
does anyone know of any ocaml bindings to Irrlicht, OGRE, or Crystal Space? (I'm assuming no because Googling hasn't produced anything usable.)
<kaustuv>
What is the standard way (assuming there is a standard way) of generating bindings for C++ code?
<hcarty>
kaustuv: The only game-related bindings I know of are SDL, ODE and Chipmunk
ikaros has quit [Quit: Leave the magic to Houdini]
<kaustuv>
I don't really care about the game part, but I want something I can do some simple scenegraph manipulation and display on
<examachine_>
@hcarty: yeah i should first run some memory debuggers on them, i wondered if ocaml had any specific memory debugger facilities that i've forgotten
Associat0r has quit [Quit: Associat0r]
<hcarty>
examachine_: Not that I know of
<adrien>
some kind of dichotomy with Gc.compact and flushed printf calls and of course gdb are often enough, I don't think I've needed something else
<adrien>
oh, and sleep ;-)
Cyanure has joined #ocaml
<hcarty>
adrien: Sleep is so often overlooked as a debugging tool :-)
<adrien>
and C bindings definitely drive people mad =/
<orbitz>
does 'as' have weird precidence?
<thelema>
orbitz: maybe, depending on if you think it should have some precedence it doesn't have.
ikaros has joined #ocaml
<orbitz>
(((r_s, r_e)::rs) as rss, ((q_s, q_e)::qs) as qss)
<orbitz>
the qss seems to be capturing everything left of it
<orbitz>
hrm i guess that makes sense since tuples dont' require ()
<thelema>
orbitz: yup
<orbitz>
(x::xs as bar) bar is x::xs right?
<thelema>
yes
<orbitz>
thanks
<thelema>
# match [1;2;3] with (x::xs as bar) -> bar;;
<thelema>
- : int list = [1; 2; 3]
<thelema>
(plus some warnings)
enthymeme has joined #ocaml
<examachine_>
adrien: well it did drive me mad, i'm trying to use the mlgmpidl bindings, and i just got a backtrace that shows a call from the finalizer of the custom block for mpf types. have to dig more to see what's wrong.
<examachine_>
it's funny how slow everything can get when you do not have ocaml's type safety :)
<thelema>
yes, we like type safety
<adrien>
C bindings don't even have gcc warnings
<adrien>
s/gcc/cc/
<thelema>
adrien: I was amused that there's a pragma in some c compiler (gcc, I think) to warn if the return value of the annotated function was ignored. I found that interesting.
ymasory_ has quit [Read error: Connection reset by peer]
* examachine_
is not used to seeing those messages in ocaml proggies
examachine_ is now known as examachine
<adrien>
yes, probably gcc, and I agree ;-)
<adrien>
examachine: the moment you add C bindings...
fraggle_ has quit [Ping timeout: 240 seconds]
CoryDambach has quit [Read error: Connection reset by peer]
CoryDambach has joined #ocaml
avsm has joined #ocaml
ulfdoz has joined #ocaml
alexyk has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
<orbitz>
#python is terrible
<orbitz>
ack wrong window
<milosn>
evening
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 246 seconds]
dnolen has quit [Quit: dnolen]
<examachine>
hey python is pretty cool it's great for bringing together apps in no time
fraggle_ has joined #ocaml
tauntaun has quit [Ping timeout: 240 seconds]
Cyanure has quit [Ping timeout: 264 seconds]
philtor has joined #ocaml
yezariaely has joined #ocaml
dnolen has joined #ocaml
lopex is now known as lkb
lkb is now known as lopex
avsm has quit [Quit: Leaving.]
agarwal1975 has quit [Quit: agarwal1975]
ygrek has quit [Ping timeout: 252 seconds]
ftrvxmtrx has quit [Quit: Leaving]
alexyk has quit [Quit: alexyk]
<yezariaely>
i have developed a grammar which has a shift/reduce conflict I am not able to remove :(
<yezariaely>
The obvious way to remove such things is by defining precendences using %left %right commands, isn't it?
<yezariaely>
(because this does not help...)
alexyk has joined #ocaml
alexyk has quit [Client Quit]
tauntaun has joined #ocaml
brendan has left #ocaml []
yezariaely has quit [Quit: Leaving.]
edwin has quit [Remote host closed the connection]
Amorphous has quit [Ping timeout: 240 seconds]
ymasory_ has joined #ocaml
<examachine>
my stupid debugging session reveals that size is important :)
<examachine>
if you set the size incorrectly in serialization of custom blocks, this eventually leads to non-trivial memory errors
<examachine>
not a big discovery but can save some time of binding enthusiasts :)
Amorphous has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Edward__ has joined #ocaml
tauntaun has quit [Quit: Ex-Chat]
sepp2k1 has quit [Quit: Leaving.]
<examachine>
ciao
examachine has quit [Quit: Page closed]
smerz has quit [Quit: Ex-Chat]
Yoric has quit [Quit: Yoric]
er98052 has joined #ocaml
<er98052>
hi, I am encountering this error: Type Padsc.ploc_t = Padsc.ploc_s is not compatible with type
<er98052>
Pads.span_info
oriba has quit [Ping timeout: 240 seconds]
tauntaun has joined #ocaml
<er98052>
while trying to use padsml (padsproj.org). OTOH, the sources clearly define -- "type span_info = Padsc.ploc_t" and later "and ploc_t = ploc_s". I have "open Pads" and "open Padsc" at the head of my program.
<er98052>
any ideas as to why this might be happening?
BiDOrD_ has quit [Quit: No Ping reply in 180 seconds.]
BiDOrD has joined #ocaml
er98052 has quit [Quit: er98052]
tauntaun is now known as tautaun_away
Oejet has quit [Quit: Leaving.]
boscop has quit [Read error: Connection reset by peer]