00:01
travisbrady has joined #ocaml
00:21
mackwic has left #ocaml []
00:49
q66 has quit [Read error: Connection reset by peer]
00:55
darkf has joined #ocaml
00:59
hel0ck has quit [Ping timeout: 245 seconds]
01:04
paddymahoney has joined #ocaml
01:11
cyball has quit [Ping timeout: 255 seconds]
01:18
madroach has quit [Ping timeout: 248 seconds]
01:20
madroach has joined #ocaml
01:44
yacks has joined #ocaml
01:44
tac has joined #ocaml
01:49
leoncamel has joined #ocaml
02:04
cdidd has joined #ocaml
03:00
leoncamel has quit [Ping timeout: 246 seconds]
03:06
leoncamel has joined #ocaml
03:11
leoncamel has quit [Ping timeout: 272 seconds]
03:22
leoncamel has joined #ocaml
03:44
yacks has quit [Ping timeout: 240 seconds]
03:56
travisbrady has quit [Quit: travisbrady]
03:59
leoncamel has quit [Ping timeout: 260 seconds]
04:04
cdidd has quit [Remote host closed the connection]
04:09
yacks has joined #ocaml
04:25
beckerb has joined #ocaml
05:06
cdidd has joined #ocaml
05:19
tac has quit [Ping timeout: 245 seconds]
05:22
gnuvince has joined #ocaml
05:24
hto has quit [Ping timeout: 264 seconds]
05:25
hto has joined #ocaml
05:30
hto has quit [Ping timeout: 246 seconds]
05:31
yacks has quit [Quit: Leaving]
05:35
adotbrown has quit [Ping timeout: 255 seconds]
05:35
leoncamel has joined #ocaml
05:42
mattrepl has quit [Quit: mattrepl]
05:59
Dongyancai has joined #ocaml
06:03
<
Dongyancai >
Hi, how to use ocamlbuild to build debug version?
06:39
troydm has quit [*.net *.split]
06:39
cross has quit [*.net *.split]
06:39
r126l has quit [*.net *.split]
06:39
ivan\ has quit [*.net *.split]
06:39
vbmithr has quit [*.net *.split]
06:39
TaXules has quit [*.net *.split]
06:42
r126l has joined #ocaml
06:42
ivan\ has joined #ocaml
06:46
cyball has joined #ocaml
06:51
Cyanure has joined #ocaml
06:51
cross has joined #ocaml
06:51
vbmithr has joined #ocaml
06:51
TaXules has joined #ocaml
06:52
ttamttam has joined #ocaml
06:53
ttamttam has left #ocaml []
06:57
chambart has joined #ocaml
07:01
<
flux >
dongyancai, I don't remember, but ocamlbuild has some switch (-documentation?) that outputs all the rules. should be possible to find it there.
07:01
<
flux >
hmm, or was it some -tag debug switch to ocamlbuild
07:01
<
flux >
every time I try to do something out-of-the-regular-way with ocamlbuild I need to look it up :(
07:02
anderse has joined #ocaml
07:08
thomasga has joined #ocaml
07:12
Kakadu has joined #ocaml
07:17
hkBst has joined #ocaml
07:19
djcoin has joined #ocaml
07:21
<
zorun >
flux: you mean, read a manpage? is that so chocking? :)
07:22
hkBst_ has joined #ocaml
07:22
<
flux >
the ocamlbuild manual page is mostly useless.
07:22
<
flux >
for example, it doesn't mention the word 'debug'
07:22
<
flux >
basically it's the same as ocamlbuild -help
07:22
hkBst has quit [Ping timeout: 245 seconds]
07:23
Cyanure has quit [Remote host closed the connection]
07:23
<
flux >
no, I mean that I need to find that one ocamlbuild pdf that describes how it works, with a few examples..
07:25
<
adrien_oww >
it's the first one ever written :P
07:25
yacks has joined #ocaml
07:29
<
flux >
the one, and only?-)
07:30
<
flux >
many tools and libraries would be great if they just had great documentation
07:30
<
flux >
I suppose one should lead be example, though :-)
07:31
<
adrien_oww >
well, ocamlbuild is complicated
07:31
<
Dongyancai >
thank you. I found it works by just 'ocamlbuild blabla.g.byte'. when I google 'ocamlbuild debug', it pops a lot about verbose...
07:31
<
adrien_oww >
its implementation is too complicated to work well imho
07:32
alxbl has quit [Ping timeout: 260 seconds]
07:35
<
flux >
hmm, funny how ocamlbuild -documentation doesn't mention .g at all
07:35
<
flux >
I thought it covered all those kinds of rules
07:36
<
flux >
adrien_oww, I think it could work well for 95% of use cases
07:36
<
flux >
but it takes too much effort to learn how to do those
07:36
<
flux >
dongyancai, let me guess, it wasn't from actual documentation but from some thread asking about how to do it?-P
07:36
<
zorun >
adrien_oww: imho, for most cases, it only lacks documentation
07:37
<
zorun >
but, agreed, for more complicated cases, the tag system is too complicated
07:38
<
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
07:38
<
adrien_oww >
I wouldn't mind if it were limited to some specific features
07:38
<
adrien_oww >
but it can be extended
07:38
<
adrien_oww >
and that's not easy
07:40
cago has joined #ocaml
07:41
anderse has quit [Quit: anderse]
07:42
<
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
07:42
<
flux >
"oh, ocamlbuild cannot do this, well I'll just switch to gnu make at this point of the 5-submodule project"
07:42
<
flux >
and gain broken dependencies in the process :)
07:42
flx_ has joined #ocaml
07:42
flux has quit [Remote host closed the connection]
07:42
flx_ is now known as flux
07:42
<
flux >
(oh, did I miss anything afte rmy last message?)
07:42
<
adrien_oww >
well, that's why I'm interested in ocp-build
07:42
chambart has quit [Ping timeout: 246 seconds]
07:43
<
adrien_oww >
ocamlbuidl aimed at doing everything automatically
07:43
<
adrien_oww >
that's probably a bit too much
07:43
<
Dongyancai >
flux, I think it is not from official document, but I forgot where I found it :(
07:44
<
adrien_oww >
search for "nicolas pouillard berke durak"
07:45
mcclurmc has joined #ocaml
07:46
<
Dongyancai >
flux, you didn't miss anything
07:53
mcclurmc has quit [Ping timeout: 272 seconds]
07:59
hkBst_ has quit [Remote host closed the connection]
08:00
hkBst_ has joined #ocaml
08:04
ottbot has joined #ocaml
08:19
mika1 has joined #ocaml
08:21
anderse has joined #ocaml
08:30
Dongyancai has quit [Ping timeout: 245 seconds]
08:37
ontologiae has joined #ocaml
08:38
Yoric has joined #ocaml
08:44
hkBst_ has quit [Read error: Connection reset by peer]
08:45
hkBst_ has joined #ocaml
08:55
mika1 has quit [Quit: Leaving.]
08:56
mika1 has joined #ocaml
08:57
yacks has quit [Remote host closed the connection]
09:12
troydm has joined #ocaml
09:15
ivan\ has quit [Ping timeout: 276 seconds]
09:18
ivan\ has joined #ocaml
09:21
mcclurmc has joined #ocaml
09:22
hkBst_ has quit [Ping timeout: 245 seconds]
09:23
hkBst_ has joined #ocaml
09:23
hkBst_ has quit [Changing host]
09:23
hkBst_ has joined #ocaml
09:24
rixed has joined #ocaml
09:54
yacks has joined #ocaml
09:57
tane has joined #ocaml
10:14
Fullma has quit [Ping timeout: 252 seconds]
10:18
cago has quit [Quit: Leaving.]
10:19
cago has joined #ocaml
10:28
Yoric has quit [Ping timeout: 255 seconds]
10:30
_andre has joined #ocaml
10:34
Yoric has joined #ocaml
10:41
tane has quit [Remote host closed the connection]
11:00
Yoric has quit [Ping timeout: 252 seconds]
11:03
iratsu has quit [Remote host closed the connection]
11:04
tianon has joined #ocaml
11:04
tianon has quit [Client Quit]
11:04
tianon has joined #ocaml
11:04
tianon has quit [Changing host]
11:04
tianon has joined #ocaml
11:05
tianon has quit [Client Quit]
11:05
beginner42 has joined #ocaml
11:07
tianon has joined #ocaml
11:07
tianon has quit [Changing host]
11:07
tianon has joined #ocaml
11:11
<
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
11:12
<
beginner42 >
i simplified the program in this pastebin code
11:13
<
beginner42 >
could the include Test in the first line cause some infinite loop?
11:14
<
Kakadu >
AFAIU Inside.analysis hangs?
11:15
<
beginner42 >
yes i put a print_endline before and after the "let r = ..." line and it never reaches the one after
11:15
<
Kakadu >
I think line `a b'` hangs
11:16
<
Kakadu >
So we have function Inside.analysis with possibility that it never returns
11:17
<
Kakadu >
It can be possible that its implementation depends on module Test
11:17
<
beginner42 >
the name of the file is test.ml
11:17
<
Kakadu >
btw, u forgot `end` in 1st line
11:18
<
beginner42 >
sorry, in the real code its there.
11:19
<
Kakadu >
I can recommend u to look at functor's implementation
11:20
<
beginner42 >
its the ocamlgraph fixpoint functor, so the analysis function comes from the include Test
11:21
tianon has quit [Quit: "I'm a very important man. I've got a tower!"]
11:21
tianon has joined #ocaml
11:21
tianon has quit [Changing host]
11:21
tianon has joined #ocaml
11:23
tianon has quit [Client Quit]
11:24
tianon has joined #ocaml
11:24
tianon has quit [Changing host]
11:24
tianon has joined #ocaml
11:24
<
Kakadu >
can function Test.analysis hang?
11:26
<
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...:(
11:27
<
beginner42 >
i checked with print_endlines and the line a b' is reached
11:30
<
beginner42 >
i made a mistake in line 10, but fixed it here
11:31
<
beginner42 >
it should be Inside.analyze
11:31
cods has joined #ocaml
11:32
mika1 has quit [Quit: Leaving.]
11:33
tane has joined #ocaml
11:33
mika1 has joined #ocaml
11:41
<
Kakadu >
Can u addd printing inside Test.analyze
11:44
<
beginner42 >
i have added a print after the line let analyze = but i dont get the output after the Inside.analyze
11:44
<
beginner42 >
is called
11:45
<
Kakadu >
Why u can't?
11:46
<
beginner42 >
cant follow, what do you mean
11:46
<
Kakadu >
Can u add print in Test.ml in body of analyze>
11:46
<
beginner42 >
yes, and i did
11:48
<
Kakadu >
And u see it in the log?
11:49
<
Kakadu >
> have added a print after the line let analyze
11:49
<
beginner42 >
only once, but i should see it atleast one more time after the analysis Inside.analyze x call
11:49
<
Kakadu >
ananlyze in pasted code or analyze in Test.ml?
11:49
<
beginner42 >
its the same. the code i pasted is a small extract from the test.ml file
11:52
<
Kakadu >
Maybe your graph is cyclic and that's why analysis hangs.....
11:52
<
Kakadu >
your problem have confused me
11:53
Yoric has joined #ocaml
11:54
<
beginner42 >
if its cyclic shouldnt i get atleast \the output from the print_endlines
11:55
q66 has joined #ocaml
12:03
ontologiae has quit [Read error: Connection reset by peer]
12:07
ontologiae has joined #ocaml
12:24
<
beginner42 >
Kakadu: what part confused you?
13:06
mika1 has quit [Quit: Leaving.]
13:07
mika1 has joined #ocaml
13:07
<
Kakadu >
beginner42: that I don't understand what is happening
13:14
<
beginner42 >
Kakadu: me neither, i will go more thoroughly through the code. Thanks for your help
13:24
ontologi1e has joined #ocaml
13:24
ontologiae has quit [Read error: Connection reset by peer]
13:28
darkf has quit [Quit: Leaving]
13:37
cago has quit [Quit: Leaving.]
13:37
cago has joined #ocaml
13:39
travisbrady has joined #ocaml
13:41
travisbrady has quit [Client Quit]
13:43
travisbrady has joined #ocaml
14:08
thomasga has quit [Ping timeout: 252 seconds]
14:09
cago has quit [Ping timeout: 276 seconds]
14:10
greg_dove has joined #ocaml
14:10
hkBst_ has quit [Ping timeout: 264 seconds]
14:18
hkBst__ has joined #ocaml
14:24
Yoric has quit [Ping timeout: 248 seconds]
14:27
paddymahoney has quit [Quit: Ex-Chat]
14:28
paddymahoney has joined #ocaml
14:32
Yoric has joined #ocaml
15:03
ttamttam has joined #ocaml
15:03
ttamttam has left #ocaml []
15:04
mattrepl has joined #ocaml
15:16
greg_dove has quit [Ping timeout: 246 seconds]
15:17
leoncamel has quit [Ping timeout: 252 seconds]
15:39
mika1 has quit [Quit: Leaving.]
15:39
hkBst__ has quit [Quit: Konversation terminated!]
15:44
hto has joined #ocaml
15:45
tac has joined #ocaml
15:47
cyball has quit [Ping timeout: 276 seconds]
15:49
cdidd has quit [Read error: Connection reset by peer]
15:57
beginner42 has quit [Quit: irc2go]
16:02
sgnb has quit [Remote host closed the connection]
16:04
mattrepl has quit [Quit: mattrepl]
16:12
sgnb has joined #ocaml
16:13
mattrepl has joined #ocaml
16:15
cdidd has joined #ocaml
16:19
Yoric has quit [Ping timeout: 252 seconds]
16:20
thomasga has joined #ocaml
16:21
Kakadu has joined #ocaml
16:24
nlucaroni has quit [Quit: leaving]
16:31
ttamttam has joined #ocaml
16:32
ttamttam has left #ocaml []
16:49
tac has quit [Ping timeout: 245 seconds]
16:56
thomasga has quit [Ping timeout: 244 seconds]
16:57
thomasga has joined #ocaml
17:02
thelema has quit [Read error: Connection reset by peer]
17:06
ontologi1e has quit [Ping timeout: 255 seconds]
17:08
thelema has joined #ocaml
17:09
dwmw2 is now known as dwmw2_gone
17:12
thelema has quit [Ping timeout: 260 seconds]
17:14
thelema has joined #ocaml
17:20
mcclurmc has quit [Ping timeout: 264 seconds]
17:21
thelema has quit [Read error: Connection reset by peer]
17:22
thelema has joined #ocaml
17:26
thelema has quit [Read error: Connection reset by peer]
17:28
thomasga has quit [Quit: Leaving.]
17:29
ottbot has quit [Ping timeout: 240 seconds]
17:30
thelema has joined #ocaml
17:38
yacks has quit [Remote host closed the connection]
17:39
mcsquiggedy has joined #ocaml
17:39
thelema has quit [Read error: Connection reset by peer]
17:47
thelema has joined #ocaml
17:52
thelema has quit [Read error: Connection reset by peer]
17:54
thelema has joined #ocaml
18:00
thelema has quit [Read error: Connection reset by peer]
18:04
cdidd has quit [Ping timeout: 248 seconds]
18:06
mcclurmc has joined #ocaml
18:06
cdidd has joined #ocaml
18:09
thelema has joined #ocaml
18:13
thelema has quit [Ping timeout: 244 seconds]
18:16
thelema has joined #ocaml
18:16
Yoric has joined #ocaml
18:19
thelema has quit [Read error: Connection reset by peer]
18:26
thelema has joined #ocaml
18:27
mattrepl has quit [Quit: mattrepl]
18:29
thomasga has joined #ocaml
18:29
dwmw2_gone is now known as dwmw2
18:32
thelema has quit [Read error: Connection reset by peer]
18:34
thomasga has quit [Quit: Leaving.]
18:35
thelema has joined #ocaml
18:36
ontologiae has joined #ocaml
18:44
thelema has quit [Read error: Connection reset by peer]
18:57
thelema has joined #ocaml
19:08
thelema has quit [Read error: Connection reset by peer]
19:15
mcsquiggedy has quit [Quit: Leaving]
19:17
thomasga has joined #ocaml
19:20
_andre has quit [Quit: leaving]
19:32
thelema has joined #ocaml
19:35
thomasga has quit [Quit: Leaving.]
19:37
thelema has quit [Ping timeout: 264 seconds]
19:51
djcoin has quit [Quit: WeeChat 0.3.9.2]
19:51
thelema has joined #ocaml
19:57
willb has quit [Ping timeout: 255 seconds]
19:58
paddymahoney has quit [Remote host closed the connection]
20:01
cdidd has quit [Remote host closed the connection]
20:01
thelema has quit [Ping timeout: 240 seconds]
20:09
willb has joined #ocaml
20:12
thelema has joined #ocaml
20:16
stevej has joined #ocaml
20:25
<
orbitz >
Can you pattern match refs?
20:26
anderse has quit [Quit: anderse]
20:27
<
gnuvince >
# match ref 3 with {contents=x} -> x;;
20:27
<
gnuvince >
- : int = 3
20:30
<
gnuvince >
not sure how it could be useful, but it's doable.
20:30
thelema has quit [Ping timeout: 264 seconds]
20:32
gnuvince has quit [Quit: Emacs upgrade]
20:42
willb has quit [Ping timeout: 260 seconds]
20:51
gnuvince has joined #ocaml
21:03
ottbot has joined #ocaml
21:18
mattrepl has joined #ocaml
21:24
Yoric has quit [Ping timeout: 252 seconds]
21:27
thelema has joined #ocaml
21:33
adotbrown has joined #ocaml
21:39
darinmorrison has joined #ocaml
21:55
tane has quit [Quit: Verlassend]
22:09
ulfdoz has joined #ocaml
22:34
ontologiae has quit [Ping timeout: 256 seconds]
22:41
darinmorrison has quit []
22:56
travisbrady has quit [Quit: travisbrady]
23:01
ottbot has quit [Ping timeout: 264 seconds]
23:06
emmanuelux has joined #ocaml
23:25
invariant has quit [Ping timeout: 252 seconds]
23:27
invariant has joined #ocaml
23:39
kaustuv has joined #ocaml
23:45
ulfdoz has quit [Ping timeout: 246 seconds]
23:46
q66 has quit [Remote host closed the connection]
23:49
tac has joined #ocaml
23:53
mcsquiggedy has joined #ocaml