flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
Simn has quit []
travisbrady has joined #ocaml
mackwic has left #ocaml []
q66 has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
hel0ck has quit [Ping timeout: 245 seconds]
paddymahoney has joined #ocaml
cyball has quit [Ping timeout: 255 seconds]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
yacks has joined #ocaml
tac has joined #ocaml
leoncamel has joined #ocaml
cdidd has joined #ocaml
leoncamel has quit [Ping timeout: 246 seconds]
leoncamel has joined #ocaml
leoncamel has quit [Ping timeout: 272 seconds]
leoncamel has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
travisbrady has quit [Quit: travisbrady]
leoncamel has quit [Ping timeout: 260 seconds]
cdidd has quit [Remote host closed the connection]
yacks has joined #ocaml
beckerb has joined #ocaml
cdidd has joined #ocaml
tac has quit [Ping timeout: 245 seconds]
gnuvince has joined #ocaml
hto has quit [Ping timeout: 264 seconds]
hto has joined #ocaml
hto has quit [Ping timeout: 246 seconds]
yacks has quit [Quit: Leaving]
adotbrown has quit [Ping timeout: 255 seconds]
leoncamel has joined #ocaml
mattrepl has quit [Quit: mattrepl]
Dongyancai has joined #ocaml
<Dongyancai> Hi, how to use ocamlbuild to build debug version?
troydm has quit [*.net *.split]
cross has quit [*.net *.split]
r126l has quit [*.net *.split]
ivan\ has quit [*.net *.split]
vbmithr has quit [*.net *.split]
TaXules has quit [*.net *.split]
r126l has joined #ocaml
ivan\ has joined #ocaml
cyball has joined #ocaml
Cyanure has joined #ocaml
cross has joined #ocaml
vbmithr has joined #ocaml
TaXules has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
chambart has joined #ocaml
<flux> dongyancai, I don't remember, but ocamlbuild has some switch (-documentation?) that outputs all the rules. should be possible to find it there.
<flux> hmm, or was it some -tag debug switch to ocamlbuild
<flux> every time I try to do something out-of-the-regular-way with ocamlbuild I need to look it up :(
anderse has joined #ocaml
thomasga has joined #ocaml
Kakadu has joined #ocaml
hkBst has joined #ocaml
djcoin has joined #ocaml
<zorun> flux: you mean, read a manpage? is that so chocking? :)
hkBst_ has joined #ocaml
<flux> the ocamlbuild manual page is mostly useless.
<flux> for example, it doesn't mention the word 'debug'
<flux> basically it's the same as ocamlbuild -help
hkBst has quit [Ping timeout: 245 seconds]
Cyanure has quit [Remote host closed the connection]
<flux> no, I mean that I need to find that one ocamlbuild pdf that describes how it works, with a few examples..
<adrien_oww> it's the first one ever written :P
yacks has joined #ocaml
<flux> the one, and only?-)
<flux> many tools and libraries would be great if they just had great documentation
<flux> I suppose one should lead be example, though :-)
<adrien_oww> well, ocamlbuild is complicated
<Dongyancai> thank you. I found it works by just 'ocamlbuild blabla.g.byte'. when I google 'ocamlbuild debug', it pops a lot about verbose...
<adrien_oww> its implementation is too complicated to work well imho
alxbl has quit [Ping timeout: 260 seconds]
<flux> hmm, funny how ocamlbuild -documentation doesn't mention .g at all
<flux> I thought it covered all those kinds of rules
<flux> adrien_oww, I think it could work well for 95% of use cases
<flux> but it takes too much effort to learn how to do those
<flux> dongyancai, let me guess, it wasn't from actual documentation but from some thread asking about how to do it?-P
<zorun> adrien_oww: imho, for most cases, it only lacks documentation
<zorun> but, agreed, for more complicated cases, the tag system is too complicated
<adrien_oww> what I dislike most is that as soon as you want to do something else than build (basic) ocaml, it starts being too complicated
<adrien_oww> I wouldn't mind if it were limited to some specific features
<adrien_oww> but it can be extended
<adrien_oww> and that's not easy
cago has joined #ocaml
anderse has quit [Quit: anderse]
<flux> well, is it not better to be able to do something instead of hitting the wall and be forced to replace the tool altogether?-o
<flux> "oh, ocamlbuild cannot do this, well I'll just switch to gnu make at this point of the 5-submodule project"
<flux> and gain broken dependencies in the process :)
flx_ has joined #ocaml
flux has quit [Remote host closed the connection]
flx_ is now known as flux
<flux> (oh, did I miss anything afte rmy last message?)
<adrien_oww> well, that's why I'm interested in ocp-build
chambart has quit [Ping timeout: 246 seconds]
<adrien_oww> ocamlbuidl aimed at doing everything automatically
<adrien_oww> that's probably a bit too much
<Dongyancai> flux, I think it is not from official document, but I forgot where I found it :(
<adrien_oww> search for "nicolas pouillard berke durak"
mcclurmc has joined #ocaml
<Dongyancai> flux, you didn't miss anything
mcclurmc has quit [Ping timeout: 272 seconds]
hkBst_ has quit [Remote host closed the connection]
hkBst_ has joined #ocaml
ottbot has joined #ocaml
mika1 has joined #ocaml
anderse has joined #ocaml
Dongyancai has quit [Ping timeout: 245 seconds]
ontologiae has joined #ocaml
Yoric has joined #ocaml
hkBst_ has quit [Read error: Connection reset by peer]
hkBst_ has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
yacks has quit [Remote host closed the connection]
troydm has joined #ocaml
ivan\ has quit [Ping timeout: 276 seconds]
ivan\ has joined #ocaml
mcclurmc has joined #ocaml
hkBst_ has quit [Ping timeout: 245 seconds]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
rixed has joined #ocaml
yacks has joined #ocaml
tane has joined #ocaml
Fullma has quit [Ping timeout: 252 seconds]
cago has quit [Quit: Leaving.]
cago has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
_andre has joined #ocaml
Yoric has joined #ocaml
tane has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 252 seconds]
iratsu has quit [Remote host closed the connection]
tianon has joined #ocaml
tianon has quit [Client Quit]
tianon has joined #ocaml
tianon has quit [Changing host]
tianon has joined #ocaml
tianon has quit [Client Quit]
beginner42 has joined #ocaml
tianon has joined #ocaml
tianon has quit [Changing host]
tianon has joined #ocaml
<beginner42> i have to find the reason for a stackoverflow in some code i am working on and tracked the problem down to one function call
<beginner42> i simplified the program in this pastebin code
<beginner42> could the include Test in the first line cause some infinite loop?
<Kakadu> AFAIU Inside.analysis hangs?
<beginner42> yes i put a print_endline before and after the "let r = ..." line and it never reaches the one after
<Kakadu> I think line `a b'` hangs
<Kakadu> So we have function Inside.analysis with possibility that it never returns
<Kakadu> It can be possible that its implementation depends on module Test
<beginner42> the name of the file is test.ml
<Kakadu> btw, u forgot `end` in 1st line
<beginner42> sorry, in the real code its there.
<Kakadu> I can recommend u to look at functor's implementation
<beginner42> its the ocamlgraph fixpoint functor, so the analysis function comes from the include Test
tianon has quit [Quit: "I'm a very important man. I've got a tower!"]
tianon has joined #ocaml
tianon has quit [Changing host]
tianon has joined #ocaml
tianon has quit [Client Quit]
tianon has joined #ocaml
tianon has quit [Changing host]
tianon has joined #ocaml
<Kakadu> can function Test.analysis hang?
<rixed> Someone remember about a recent research article about using metaocaml to solve some computational problem? I've seen one recently but am unable to find it now that I need it...:(
<beginner42> i checked with print_endlines and the line a b' is reached
<beginner42> i made a mistake in line 10, but fixed it here
<beginner42> it should be Inside.analyze
cods has joined #ocaml
mika1 has quit [Quit: Leaving.]
tane has joined #ocaml
mika1 has joined #ocaml
<Kakadu> Can u addd printing inside Test.analyze
<Kakadu> ?
<beginner42> i have added a print after the line let analyze = but i dont get the output after the Inside.analyze
<beginner42> is called
<Kakadu> Why u can't?
<beginner42> cant follow, what do you mean
<Kakadu> Can u add print in Test.ml in body of analyze>
<Kakadu> ?
<beginner42> yes, and i did
<Kakadu> And u see it in the log?
<Kakadu> > have added a print after the line let analyze
<beginner42> only once, but i should see it atleast one more time after the analysis Inside.analyze x call
<Kakadu> ananlyze in pasted code or analyze in Test.ml?
<beginner42> its the same. the code i pasted is a small extract from the test.ml file
<Kakadu> Maybe your graph is cyclic and that's why analysis hangs.....
<Kakadu> your problem have confused me
Yoric has joined #ocaml
<beginner42> if its cyclic shouldnt i get atleast \the output from the print_endlines
q66 has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
<beginner42> Kakadu: what part confused you?
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
<Kakadu> beginner42: that I don't understand what is happening
<beginner42> Kakadu: me neither, i will go more thoroughly through the code. Thanks for your help
ontologi1e has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
darkf has quit [Quit: Leaving]
cago has quit [Quit: Leaving.]
cago has joined #ocaml
travisbrady has joined #ocaml
travisbrady has quit [Client Quit]
travisbrady has joined #ocaml
thomasga has quit [Ping timeout: 252 seconds]
cago has quit [Ping timeout: 276 seconds]
greg_dove has joined #ocaml
hkBst_ has quit [Ping timeout: 264 seconds]
hkBst__ has joined #ocaml
Yoric has quit [Ping timeout: 248 seconds]
paddymahoney has quit [Quit: Ex-Chat]
paddymahoney has joined #ocaml
Yoric has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
mattrepl has joined #ocaml
greg_dove has quit [Ping timeout: 246 seconds]
Kakadu has quit []
leoncamel has quit [Ping timeout: 252 seconds]
mika1 has quit [Quit: Leaving.]
hkBst__ has quit [Quit: Konversation terminated!]
hto has joined #ocaml
tac has joined #ocaml
cyball has quit [Ping timeout: 276 seconds]
cdidd has quit [Read error: Connection reset by peer]
beginner42 has quit [Quit: irc2go]
sgnb has quit [Remote host closed the connection]
mattrepl has quit [Quit: mattrepl]
sgnb has joined #ocaml
mattrepl has joined #ocaml
cdidd has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
thomasga has joined #ocaml
Kakadu has joined #ocaml
nlucaroni has quit [Quit: leaving]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
tac has quit [Ping timeout: 245 seconds]
thomasga has quit [Ping timeout: 244 seconds]
thomasga has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
ontologi1e has quit [Ping timeout: 255 seconds]
thelema has joined #ocaml
dwmw2 is now known as dwmw2_gone
thelema has quit [Ping timeout: 260 seconds]
thelema has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
thelema has quit [Read error: Connection reset by peer]
thelema has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
thomasga has quit [Quit: Leaving.]
ottbot has quit [Ping timeout: 240 seconds]
thelema has joined #ocaml
yacks has quit [Remote host closed the connection]
mcsquiggedy has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
thelema has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
thelema has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
cdidd has quit [Ping timeout: 248 seconds]
mcclurmc has joined #ocaml
cdidd has joined #ocaml
thelema has joined #ocaml
thelema has quit [Ping timeout: 244 seconds]
thelema has joined #ocaml
Yoric has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
thelema has joined #ocaml
mattrepl has quit [Quit: mattrepl]
thomasga has joined #ocaml
dwmw2_gone is now known as dwmw2
thelema has quit [Read error: Connection reset by peer]
thomasga has quit [Quit: Leaving.]
thelema has joined #ocaml
ontologiae has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
thelema has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
mcsquiggedy has quit [Quit: Leaving]
thomasga has joined #ocaml
_andre has quit [Quit: leaving]
thelema has joined #ocaml
thomasga has quit [Quit: Leaving.]
thelema has quit [Ping timeout: 264 seconds]
djcoin has quit [Quit: WeeChat 0.3.9.2]
thelema has joined #ocaml
willb has quit [Ping timeout: 255 seconds]
paddymahoney has quit [Remote host closed the connection]
cdidd has quit [Remote host closed the connection]
thelema has quit [Ping timeout: 240 seconds]
willb has joined #ocaml
thelema has joined #ocaml
stevej has joined #ocaml
<orbitz> Can you pattern match refs?
anderse has quit [Quit: anderse]
<gnuvince> # match ref 3 with {contents=x} -> x;;
<gnuvince> - : int = 3
<gnuvince>
<orbitz> evil :)
<gnuvince> quite
<gnuvince> not sure how it could be useful, but it's doable.
thelema has quit [Ping timeout: 264 seconds]
gnuvince has quit [Quit: Emacs upgrade]
willb has quit [Ping timeout: 260 seconds]
Kakadu has quit []
gnuvince has joined #ocaml
ottbot has joined #ocaml
mattrepl has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
thelema has joined #ocaml
adotbrown has joined #ocaml
darinmorrison has joined #ocaml
stevej has quit [Quit: ["Textual IRC Client: www.textualapp.com"]]
tane has quit [Quit: Verlassend]
ulfdoz has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
darinmorrison has quit []
travisbrady has quit [Quit: travisbrady]
ottbot has quit [Ping timeout: 264 seconds]
emmanuelux has joined #ocaml
invariant has quit [Ping timeout: 252 seconds]
invariant has joined #ocaml
kaustuv has joined #ocaml
<kaustuv> Would this be considered a bug in TypeRex? http://pastebin.com/hKWYHiXb
ulfdoz has quit [Ping timeout: 246 seconds]
q66 has quit [Remote host closed the connection]
tac has joined #ocaml
mcsquiggedy has joined #ocaml