gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
mikemc_home has joined #ocaml
arubin has joined #ocaml
smerz has quit [Quit: Ex-Chat]
enthymeme has quit [Quit: (quit)]
khia0 has joined #ocaml
khia0 has left #ocaml []
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
metasyntax has quit [Ping timeout: 260 seconds]
boscop_ is now known as boscop
metasyntax has joined #ocaml
boscop has quit [Ping timeout: 264 seconds]
lopex has quit []
myu2 has quit [Remote host closed the connection]
groovy2shoes has joined #ocaml
metasyntax has quit [Quit: ♫ In our sky there is no limits, and masters we have none; heavy metal is the only one! ♫]
dnolen has joined #ocaml
dnolen has quit [Quit: dnolen]
enthymeme has joined #ocaml
arubin has quit [Quit: arubin]
xl0 has quit [Ping timeout: 240 seconds]
xl0 has joined #ocaml
myu2 has joined #ocaml
tauntaun has joined #ocaml
BiDOrD_ has quit [Read error: Operation timed out]
BiDOrD has joined #ocaml
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 240 seconds]
myu2 has quit [Remote host closed the connection]
groovy2shoes has quit [Read error: Connection reset by peer]
groovy2shoes has joined #ocaml
groovy2shoes has quit [Changing host]
groovy2shoes has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel has quit [Read error: Connection reset by peer]
jonafan__ has joined #ocaml
jonafan_ has quit [Ping timeout: 240 seconds]
tauntaun has quit [Quit: Ex-Chat]
groovy2shoes has quit [Read error: Connection reset by peer]
groovy2shoes has joined #ocaml
jonafan_ has joined #ocaml
groovy2shoes_ has joined #ocaml
groovy2shoes has quit [Read error: Connection reset by peer]
groovy2shoes_ is now known as groovy2shoes
jonafan__ has quit [Ping timeout: 264 seconds]
groovy2shoes has quit [Read error: Connection reset by peer]
groovy2shoes has joined #ocaml
groovy2shoes has quit [Changing host]
groovy2shoes has joined #ocaml
groovy2shoes has quit [Client Quit]
philtor has quit [Ping timeout: 240 seconds]
ulfdoz has joined #ocaml
vivanov has quit [Ping timeout: 272 seconds]
vivanov has joined #ocaml
eye-scuzzy has quit [Quit: leaving]
ulfdoz has quit [Ping timeout: 240 seconds]
myu2 has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
Cyanure has quit [Remote host closed the connection]
myu2 has quit [Remote host closed the connection]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
jeddhaberstro has joined #ocaml
myu2 has joined #ocaml
eye-scuzzy has joined #ocaml
rup has quit [Ping timeout: 272 seconds]
rup has joined #ocaml
jeddhaberstro has quit [Read error: Connection reset by peer]
jeddhaberstro has joined #ocaml
rup has quit [Ping timeout: 246 seconds]
enthymeme has joined #ocaml
f[x] has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
rup has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
ttamttam has joined #ocaml
ikaros has joined #ocaml
Yoric has joined #ocaml
ygrek has joined #ocaml
edwin has joined #ocaml
alpounet has quit [Read error: Operation timed out]
ikaros has quit [Quit: Leave the magic to Houdini]
enthymeme has quit [Quit: bed!]
ftrvxmtrx has joined #ocaml
ftrvxmtrx_ has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 276 seconds]
ikaros has joined #ocaml
BiDOrD has joined #ocaml
BiDOrD__ has joined #ocaml
BiDOrD_ has quit [Read error: Connection reset by peer]
BiDOrD has quit [Ping timeout: 276 seconds]
avsm2 has joined #ocaml
robthebob has joined #ocaml
sepp2k has joined #ocaml
avsm has joined #ocaml
ikaros has quit [Ping timeout: 246 seconds]
chicco has quit [Read error: Operation timed out]
chicco has joined #ocaml
__marius__ has quit [Ping timeout: 246 seconds]
__marius__ has joined #ocaml
ikaros has joined #ocaml
boscop has joined #ocaml
lopex has joined #ocaml
* milosn having coffee
<milosn> hey
<adrien> hi
<milosn> hi adrien
* milosn still playing around with CGI examples
ftrvxmtrx_ is now known as ftrvxmtrx
pantsd_ has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 252 seconds]
pantsd has joined #ocaml
Oejet has joined #ocaml
BiDOrD__ has quit [Read error: Operation timed out]
BiDOrD has joined #ocaml
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 264 seconds]
dnolen has joined #ocaml
lopex has quit [Ping timeout: 272 seconds]
oriba has joined #ocaml
vouillon has joined #ocaml
lopex has joined #ocaml
seafood has joined #ocaml
_2x2l_ has quit [Ping timeout: 276 seconds]
_2x2l has joined #ocaml
seafood has quit [Ping timeout: 264 seconds]
myu2 has quit [Remote host closed the connection]
<gildor> all: I need tester
<gildor> (BEWARE, this is a test)
<gildor> the official announcement will be sent soon
<adrien> loging redirects me to http://192.168.0.4:8081/2011-paris/reg_add
<adrien> gildor: ^ ^
<gildor> 5 sec, I'll correct that
<gildor> adrien: you can retry, I think
<adrien> heheh: You Attempted To Double-submit this item. Please avoid double-clicking.
<adrien> logged in, now asking for my registration infos
<adrien> registered and then edited the registration, seems fine
<gildor> I got you on the list
<gildor> adrien: this is a SSO
<gildor> I will also use it for oasis-db
<adrien> SSO?
<gildor> single, sign-on
<gildor> once you are logged in the forge.o.o, you should not have to relog for other *.ocamlore.org website
<adrien> ah, right, and yeah, got that: I think the back button in the browser and "resending informations" was the issue
<gildor> yes
<gildor> I realize, that I screwed the forge login, in the meantime
<gildor> thelema, mfp, npouillard, sgnb, vouillon, flux: can you test the registration here http://ocaml-meeting.forge.ocamlcore.org/2011-paris/reg_view
<rwmjones> gildor: when is it?
<gildor> 15 th April
<gildor> I will send the announcement soon
<gildor> but this is just a test
<gildor> rwmjones: ^^^
<rwmjones> cool, pretty sure I should be able to come ...
<rwmjones> hopefully no volcanoes this time
<gildor> rwmjones: I hope so ;-)
<gildor> so that we can have the talk about MirageOS by avsm or thomasga
<npouillard> gildor: done
<npouillard> gildor: is it the official thing or just a test?
<gildor> npouillard: just a test
<npouillard> ok
<gildor> I prepare the official annoucment
<gildor> will be on caml-list in an hour
<gildor> npouillard: you didn't have problem to login/register ?
<npouillard> gildor: not really, I had to allow cookies from the domain first though
<gildor> npouillard: you have some kind of cookie blocker or the cookie was a problem ?
cthuluh has quit [Quit: "Our life is frittered away by detail... Simplify, simplify" -- Thoreau]
kerneis_ has quit [Ping timeout: 264 seconds]
arubin has joined #ocaml
<npouillard> gildor: yes cookies are disabled by default on my setup
<adrien> bah, sometimes I hate objects
<flux> gaah.. I'm debugging C code.. see a like that starts like (* .. - obviously this is a comment and can be ignored, I wonder why it's commented!
<flux> s/like/line/
cthuluh has joined #ocaml
<adrien> heheh =)
<thelema> gildor: registration works for me
<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> so I see
<orbitz> http://www.nicollet.net/2011/02/exception-avoidance/ -- goes a long with what I have been thinking. Sometimes exceptiosn are nice for prototypign code though
<flux> it's damn shame that ocamlexc doesn't work
myu2 has joined #ocaml
<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)
<thelema> s/ocaml/batteries/
<adrien> gildor: btw, http://ocaml-meeting.forge.ocamlcore.org/ returns a 404
<gildor> adrien: that is normal, there is nothing here
<adrien> gildor: you might want to put some basic page (or redirect to another page)
<gildor> adrien: will think about it
ygrek has joined #ocaml
smerz has joined #ocaml
ikaros has quit [Read error: Operation timed out]
ikaros has joined #ocaml
lopex has quit []
<vivanov> i am looking to draw real-time graphs and charts -- would you suggest some library/application?
ymasory_ has joined #ocaml
<hcarty> vivanov: PLplot or you can use Cairo directly
<vivanov> thanks -- i am currently learning plplot -- but what about using cairo directly? do you mean http://cairographics.org/cairo-ocaml/?
<hcarty> vivanov: Yes
<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
<hcarty> http://cgit.freedesktop.org/cairo-ocaml/ -- This is the most up-to-date home for cairo-ocaml
agarwal1975 has joined #ocaml
<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
<hcarty> This was posted to the list recently: http://ygrek.org.ua/p/code/cxx_wrapped/
<hcarty> I haven't used it
<kaustuv> Interesting. Thanks.
tauntaun has joined #ocaml
willb1 has joined #ocaml
<examachine_> i think i'm getting a memory corruption due to a binding i'm using. how to debug that best in ocaml?
<hcarty> examachine_: Lots of calls to Gc.full_major, Gc.compact, flushed printf calls and running under gdb and valgrind.
<hcarty> kaustuv: http://camlosg.sourceforge.net/ -- would this work for you?
<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_> *** glibc detected *** double free or corruption (out): 0x0cfc5270 ***
* 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]
boscop has joined #ocaml
tautaun_away has quit [Quit: Ex-Chat]