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
joewilliams_away is now known as joewilliams
drksd has quit [Ping timeout: 255 seconds]
drksd has joined #ocaml
Associat0r has quit [Quit: Associat0r]
joewilliams is now known as joewilliams_away
metasyntax has quit [Quit: ♫ In our sky there is no limits, and masters we have none; heavy metal is the only one! ♫]
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
mjonsson_ has joined #ocaml
mjonsson has quit [Read error: No route to host]
mjonsson_ has quit [Remote host closed the connection]
jakedouglas has quit [Quit: Leaving.]
ulfdoz has joined #ocaml
_unK has quit [Remote host closed the connection]
joewilliams is now known as joewilliams_away
Yoric has joined #ocaml
Submarine has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 276 seconds]
ttamttam has joined #ocaml
sgnb has quit [Ping timeout: 252 seconds]
Amorphous has quit [Ping timeout: 240 seconds]
Snark has joined #ocaml
Yoric has quit [Quit: Yoric]
rwmjones_afk is now known as rwmjones
Amorphous has joined #ocaml
ikaros has joined #ocaml
boscop has joined #ocaml
ttamttam has quit [Ping timeout: 265 seconds]
pikachuyann has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
munga has joined #ocaml
sgnb has joined #ocaml
aklt has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
Yoric has joined #ocaml
grirgz has joined #ocaml
<grirgz> hi
spearalot has joined #ocaml
avsm has joined #ocaml
barismetin has joined #ocaml
valross has joined #ocaml
Snark has quit [Quit: Ex-Chat]
Snark has joined #ocaml
barismetin has quit [Ping timeout: 240 seconds]
barismetin has joined #ocaml
chee has quit [Ping timeout: 265 seconds]
ikaros has joined #ocaml
ftrvxmtrx has joined #ocaml
ttamttam has joined #ocaml
asmanur_ has joined #ocaml
asmanur has quit [Ping timeout: 258 seconds]
_andre has joined #ocaml
<adrien> hi grirgz
hyperboreean has quit [Ping timeout: 258 seconds]
hyperboreean has joined #ocaml
munga has quit [Ping timeout: 245 seconds]
valross has quit [Quit: Ex-Chat]
boscop has quit [Ping timeout: 265 seconds]
Snark has quit [Quit: Ex-Chat]
munga has joined #ocaml
kaustuv has joined #ocaml
<kaustuv> sgnb and others: what is blocking the release of ocaml 3.12 in Debian? jocaml?
<sgnb> kaustuv: Debian is frozen
<kaustuv> Ah, right, forgot about that. Thanks.
Yoric has quit [Quit: Yoric]
ftrvxmtrx has quit [Quit: Leaving]
alpounet has quit [Read error: Operation timed out]
ftrvxmtrx has joined #ocaml
alpounet has joined #ocaml
<thomasga> any idea what is the best way to add arity information to the lambda representation ?
<thomasga> (in order to know if a function application is total or not)
boscop has joined #ocaml
_unK has joined #ocaml
spearalot has quit [Quit: Computer has gone to sleep]
mjonsson has joined #ocaml
ccasin has joined #ocaml
mjonsson has quit [Ping timeout: 258 seconds]
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
joewilliams_away is now known as joewilliams
ttamttam has quit [Ping timeout: 240 seconds]
iago has joined #ocaml
Snark has joined #ocaml
seafood has quit [Quit: seafood]
LinkRage has joined #ocaml
<LinkRage> ocamlfind query xmlm -> ocamlfind: Package `xmlm' not found << /usr/local/lib/ocaml/ld.conf has /usr/local/lib/ocaml/xmlm and in fact xmlm is installed there
<LinkRage> any ideas ?
<thelema> ocamlfind list
<thelema> does it show xmlm?
jakedouglas has joined #ocaml
<LinkRage> nope nothing shown there
<f[x]> ld.conf defines search paths for stub dlls only
<thelema> so it's not installed for ocamlfind
<LinkRage> I installed xmlm from the official website using: INSTALLDIR=/usr/local/lib/ocaml/xmlm ./build install
<LinkRage> that's all I did
<thelema> it looks like there's a META file, but it's not installed
<LinkRage> yep meta file is there, files are also there, strange
<LinkRage> ok, I gotta go, now. I'll be back in a few hours, thanks for your suggestions
<thelema> your installdir is probably not the site-lib for ocamlfind - can you install where the other packages are?
<LinkRage> pcre is in /usr/local/lib/ocaml/site-lib/pcre and ocamlfind finds it
<LinkRage> perhaps I haev to move xmlm too there
<thelema> try that
<LinkRage> I gotta go now :( I'll be back soon
<LinkRage> ok 10x
<f[x]> probably xmlm has separate install and findlib-install
grirgz has quit [Ping timeout: 252 seconds]
<thomasga> LinkRage: the META file for XMLM has a problem, you can use this one instead : http://github.com/samoht/xmlm/blob/master/src/META (which should work)
Cilya has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
<Cilya> Hi
<thelema> Cilya: hi
<Cilya> Why would an assertion evaluation cause an Out_of_memory exception ?
<thelema> it's possible it really was out of memory trying to allocate something for that assertion
<thelema> if it's in native code, it's possible the exception/backtrace is incorrect - try teh same code byte-compiled
<Cilya> it isn't native
<Cilya> and the assertion shouldn't allocate anything
<thelema> hmmm... what's the expression?
<thelema> you're right, it doesn't look like it'd allocate
sepp2k has joined #ocaml
<thelema> I guess it has to allocate some stack space to do the function call...
<thelema> but that should be a stack overflow, not OOM
<Cilya> Here is the top of the backtrace :
<Cilya> Fatal error: exception Out_of_memory
<Cilya> Raised by primitive operation at unknown location
<Cilya> Called from file "graphs.ml", line 189, characters 11-30
<thelema> is it out of memory?
<Cilya> how can i tell ?
<Cilya> the program shouldn't be needed to much memory, but there can be a bug
<thelema> top?
<Cilya> execution is too fast
<thelema> then probably not - it takes a while to allocate a ton of memory, usually...
<thelema> all ocaml project?
aklt has quit [Quit: foo]
<Cilya> yes
<Cilya> it's a static analyser on small instances and i hope it wouldn't take more than 10ms on each sample
<Cilya> Growing heap to 6536k bytes
<Cilya> Growing heap to 7076k bytes
<Cilya> Growing heap to 7572k bytes
<Cilya> not more
<thelema> maybe you need more tail recursion? You're probably overflowing the stack
<Cilya> oh...
<Cilya> i've found the problem
<thelema> follow the instructions on the bottom of this page
<Cilya> Stack overflow in structural comparison
<Cilya> it may be the problem
<Cilya> since I use "="
<thelema> ah, of course...
<Cilya> ok, problem solved
<Cilya> thanks
_unK has quit [Remote host closed the connection]
ttamttam has joined #ocaml
Anarchos has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
<Anarchos> where to put architecture dependant code in the byterun ? I need a static variable storing the process id of the byterun runtime
fraggle_ has joined #ocaml
<thelema> Anarchos: you're writing an ocaml program or you're modifying the bytecode runtime?
<Anarchos> thelema modifiying the bytecode runtime
oriba has joined #ocaml
<thelema> I guess you could make up a new %-instruction, like %identity. I don't know enough bout the structure of the bytecode runtime to help, though.
npouillard has quit [Ping timeout: 260 seconds]
patronus has quit [Ping timeout: 272 seconds]
diml has quit [Ping timeout: 276 seconds]
barismetin has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
ttamttam has quit [Ping timeout: 276 seconds]
npouillard has joined #ocaml
diml has joined #ocaml
ulfdoz has joined #ocaml
diml has quit [Ping timeout: 240 seconds]
patronus has joined #ocaml
Associat0r has joined #ocaml
ftrvxmtrx has joined #ocaml
_unK has joined #ocaml
thomasga has quit [Quit: Leaving.]
adrien has quit [Ping timeout: 264 seconds]
adrien has joined #ocaml
jeddhaberstro has joined #ocaml
Anarchos has joined #ocaml
<LinkRage> thelema, I just moved xmlm to /usr/local/lib/ocaml/site-lib/ and everything is fine finally :) I have secont issue the configure script of 3rd party software is deletin my /dev/nul haha but that one is not ocaml related :)
oriba has quit [Quit: Verlassend]
iago has quit [Quit: Leaving]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
munga has quit [Ping timeout: 240 seconds]
hto has quit [Read error: Connection reset by peer]
hto has joined #ocaml
sepp2k has quit [Quit: Leaving.]
ygrek has joined #ocaml
Yoric has joined #ocaml
saint_cypher has joined #ocaml
diml has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
f[x] has joined #ocaml
<pikachuyann> bonne nuit / g'night !
pikachuyann has quit [Quit: night/n,uit]
roconnor has joined #ocaml
<roconnor> when installing lablgtk do I have to explicitly copy META to a site-lib directory so that ocamlfind can find it?
<roconnor> ah, if I read this right the debian installer is doing file copy ${worksrcpath}/META ${destroot}/${ocaml_site_path}/lablgtk2
Snark has quit [Quit: Ex-Chat]
as has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
as has quit [Client Quit]
saint_cypher has quit [Quit: Leaving.]
<MarcWeber> I need some help with deriving: http://dpaste.com/236995/
<MarcWeber> The preprocessor does not do anyhting with line 7.
<MarcWeber> line 9 runs camlp4o without deriving module, line 17 runs it with. The output is the same.
_andre has quit [Quit: *puff*]
<MarcWeber> deriving executable does the job: http://dpaste.com/236998/
<ygrek> deriving.cma is a library, it is not syntax extension
<ygrek> use ocamlfind
ulfdoz has quit [Ping timeout: 245 seconds]
<ygrek> or: camlp4o -I /usr/local/lib/ocaml/3.11.2/deriving/ pa_deriving.cma q.ml
<MarcWeber> ygrek: If I rename the .cma file there is a dynamic link failure. So obviously its found.
<MarcWeber> Does your last line actually derive the show implementation for my test file? (line 4-7 of http://dpaste.com/236995/ ) ?
<ygrek> deriving.cma doesn't have syntax extension code inside
<ygrek> yes
<MarcWeber> so if the line works for you my setup is broken.
<MarcWeber> I don't have pa_deriving.cma. I only have it without pa_ (?)
<ygrek> you are using deriving from google code? it only provides deriving as a binary
<MarcWeber> Yes, I got google code. Which code do you recommend instead?
<MarcWeber> I may have to mix two extensions. So the binary is no choice.
<ygrek> what is the other extension?
ccasin has quit [Quit: Leaving]
<MarcWeber> streaming [< ..
<MarcWeber> I will add a bug telling about the enhanced version then.
<MarcWeber> ygrek: Thanks for enhancing it.
Yoric has quit [Ping timeout: 260 seconds]
<ygrek> it is mentioned there already
<ygrek> yes, it will work with stream parsers, but not with arbitrary extension cause deriving overrides grammar at a popular point and there are conflicts sometimes
<MarcWeber> Sure. If two extensions use [< there must be a winner (or two loosers) only.
<ygrek> not only that
<MarcWeber> ygrek: Did you stop using the makefiles?
<ygrek> ehm? you mean makefiles of deriving?
Edward has joined #ocaml
<MarcWeber> I ran make. it suceeded. But i don't have the pm_*.cma file
<ygrek> if nothing works - read the docs :)
<ygrek> see README at the end
<MarcWeber> cd tests; make fails
<ygrek> ocamlbuild tests.native
<ygrek> old build (with OCamlMakefile) creates deriving binary, new build (with ocamlbuild) creates pa_deriving.cma (and binary)
<MarcWeber> is ocamlbuild-ctools the package I'm looking for?
<MarcWeber> Oh well. Its distributed with ocaml
roconnor has quit [Read error: Connection reset by peer]
_unK has quit [Read error: Connection reset by peer]
ygrek has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
emias has left #ocaml []
LinkRage has quit [Remote host closed the connection]
_unK has joined #ocaml
boscop_ has joined #ocaml
jonafan has quit [Read error: Connection reset by peer]
boscop has quit [Ping timeout: 276 seconds]
Associat0r has quit [Quit: Associat0r]
jakedouglas has quit [Quit: Leaving.]
ikaros has quit [Remote host closed the connection]
seafood has joined #ocaml
Cilya has quit []
_unK has quit [Remote host closed the connection]
_unK has joined #ocaml
seafood has quit [Quit: seafood]
npouillard has quit [Read error: Operation timed out]
npouillard has joined #ocaml