johnf__ has quit [Read error: Connection reset by peer]
keen__________18 has quit [Read error: Connection reset by peer]
keen__________18 has joined #ocaml
ril has joined #ocaml
tennix has joined #ocaml
ril has quit [Read error: Connection reset by peer]
BitPuffin|osx has quit [Ping timeout: 268 seconds]
kuttifunk has joined #ocaml
funk has quit [Ping timeout: 244 seconds]
Dzyan has quit [Ping timeout: 255 seconds]
shinnya has quit [Ping timeout: 264 seconds]
Dzyan has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
jao has joined #ocaml
demonimin has quit [Remote host closed the connection]
demonimin has joined #ocaml
jao has quit [Ping timeout: 244 seconds]
The_third_man has quit [Ping timeout: 246 seconds]
The_third_man has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 268 seconds]
darkf has joined #ocaml
MrScout has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
MercurialAlchemi has joined #ocaml
jpdeplaix has quit [Ping timeout: 256 seconds]
jpdeplaix has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
tmtwd has quit [Ping timeout: 240 seconds]
tmtwd has joined #ocaml
johnf__ has joined #ocaml
Dzyan has quit [Ping timeout: 240 seconds]
Dzyan has joined #ocaml
Guest38 has joined #ocaml
mac10688 has quit [Ping timeout: 260 seconds]
tmtwd has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
browncodes has joined #ocaml
BitPuffin|osx has joined #ocaml
Dzyan has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Ping timeout: 252 seconds]
ggole has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 264 seconds]
Guest38 has quit [Read error: Connection reset by peer]
johnf__ has quit [Read error: Connection reset by peer]
tmtwd has joined #ocaml
lolisa has quit [Quit: meow]
toomuchtvrotsurb has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
pyon has quit [Read error: Connection reset by peer]
tmtwd has quit [Ping timeout: 264 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
<kuttifunk>
Hi. best way to get wxocaml on ubuntu >= 14.04? tried that ocamlpro stuff but didnt get ocp-build to run
MercurialAlchemi has joined #ocaml
fluter has quit [Ping timeout: 250 seconds]
fluter has joined #ocaml
xikuuky has joined #ocaml
<xikuuky>
Hey guys! :D
<xikuuky>
I'm one of those visitors. :)
xikuuky has quit [Client Quit]
grouzen has joined #ocaml
ygrek_ has joined #ocaml
frankier has joined #ocaml
snyp has joined #ocaml
ggole has quit [Read error: Connection reset by peer]
ggole has joined #ocaml
snyp has quit [Quit: WeeChat 1.3]
fluter has quit [Quit: WeeChat 1.2]
fluter has joined #ocaml
ggole has quit [Ping timeout: 272 seconds]
larhat1 has joined #ocaml
grouzen has quit [Ping timeout: 250 seconds]
ggole has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
monod has joined #ocaml
Haudegen has joined #ocaml
monod has quit [Quit: Sto andando via]
mcc has quit [Quit: Connection closed for inactivity]
Kakadu has joined #ocaml
tennix has quit [Ping timeout: 250 seconds]
grouzen has joined #ocaml
rand__ has joined #ocaml
sh0t has joined #ocaml
<sh0t>
hey guys i have probmles installing why3 using opam (maybe this is not the right channel anyway..) this is the output: http://pastebin.com/3xVWj8fa could you please give me a hint?
<Kakadu>
Did you installed something using `sudo opam ....`?
<Kakadu>
install*
<Kakadu>
It's recommended to create your own compiler switch and not to use system one, btw
ollehar has joined #ocaml
<sh0t>
yeah
<sh0t>
i might have done something weird in the past
<sh0t>
i tried to delete that stuff there and reinstall why3 but it keeps not working
<sh0t>
maybe a chown should work
<sh0t>
?
obadz- has joined #ocaml
<sh0t>
yeah it owkred
<sh0t>
*worked
<sh0t>
:)
<Kakadu>
good
snyp has joined #ocaml
AlexRussia has joined #ocaml
rand__ has quit [Ping timeout: 240 seconds]
rwmjones has quit [Read error: Connection reset by peer]
tennix has joined #ocaml
rwmjones has joined #ocaml
ztennix has joined #ocaml
ztennix has quit [Client Quit]
tennix has quit [Read error: Connection reset by peer]
toomuchtvrotsurb has quit [Remote host closed the connection]
cdidd has joined #ocaml
obadz has quit [Ping timeout: 250 seconds]
obadz has joined #ocaml
ollehar has joined #ocaml
obadz- has quit [Ping timeout: 240 seconds]
toomuchtvrotsurb has joined #ocaml
JuggleTux has joined #ocaml
johnf__ has joined #ocaml
<tokenrove>
companion_cube: I like the idea of qtest. My problem with it, IIRC, was that I wanted to use it to also document/verify assumptions on internal functions, but it only worked with functions exposed in the module interface.
<companion_cube>
yes, indeed
<tokenrove>
I know that the prevailing wisdom in unit testing is not to test internals, but it seems to me when you have such a lightweight way to annotate a tiny test, it would be handy to be able to do it all over.
toomuchtvrotsurb has quit [Remote host closed the connection]
<companion_cube>
I tend to use (**/**) for this
tnguyen has quit [Read error: Connection reset by peer]
<companion_cube>
but indeed it's meh
<companion_cube>
it's not specific to qtest though, unless you embed the tests in the code itself
<tokenrove>
yeah
<companion_cube>
(**/**) val check_invariants : t -> bool (**/**)
tnguyen has joined #ocaml
monod has quit [Ping timeout: 244 seconds]
obadz has quit [Ping timeout: 246 seconds]
obadz has joined #ocaml
tane has quit [Quit: Verlassend]
rgrinberg has joined #ocaml
sh0t has joined #ocaml
<Drup>
I would argue that a function "check_invariant" should be normally exposed.
<Drup>
(except if checking invariants trigger side effects, but it should really not o_o)
<companion_cube>
well, (**/**) is ok by me
rgrinberg has quit [Ping timeout: 252 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
uris77 has joined #ocaml
yonel_ has joined #ocaml
yonel_ has quit [Quit: leaving]
ollehar has quit [Ping timeout: 268 seconds]
zpe has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
WhiteRose has joined #ocaml
johnf__ has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
grouzen has quit [Ping timeout: 264 seconds]
toomuchtvrotsurb has joined #ocaml
ollehar has joined #ocaml
darkf has quit [Quit: Leaving]
rgrinberg has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
larhat1 has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
BitPuffin|osx has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
tmtwd has quit [Ping timeout: 272 seconds]
lobo has joined #ocaml
Algebr has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
Algebr has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
pyon has quit [Read error: Connection reset by peer]
welterde has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Ping timeout: 268 seconds]
uris77 has quit [Quit: leaving]
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
welterde has joined #ocaml
tmtwd has joined #ocaml
larhat1 has joined #ocaml
Algebr has joined #ocaml
mea-culpa has joined #ocaml
monod has joined #ocaml
mfp has quit [Ping timeout: 264 seconds]
eikke has joined #ocaml
Algebr has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
tane has joined #ocaml
larhat1 has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
ggole has quit []
mfp has joined #ocaml
<schoppenhauer>
hja.
<schoppenhauer>
sorry, wrong window
oriba has joined #ocaml
toomuchtvrotsurb has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
ollehar has quit [Remote host closed the connection]
jao has joined #ocaml
rgrinberg has joined #ocaml
damason_ has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
<def`>
a
<oriba>
b
<WhiteRose>
c?
<cmtptr>
7
<cmtptr>
oops
<oriba>
TypeError!
damason has joined #ocaml
larhat2 has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
damason_ has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
monod has quit [Ping timeout: 265 seconds]
tane has quit [Quit: Verlassend]
jun has quit [Ping timeout: 268 seconds]
larhat2 has quit [Quit: Leaving.]
abbe_ has joined #ocaml
abbe has quit [Read error: Connection reset by peer]
Algebr has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 256 seconds]
<Algebr>
I'm trying to play nicely with the garbage collector, implemeting my own custom_structure. I don't see my finalize call being called at all, how can I test whether it will be called or not, can I force the garbage collector to run?
abbe_ is now known as abbe
<Algebr>
Ah, found it, Gc.full_major (), its working correctly.
<Algebr>
I guess there is no point to do any garbage collection at program's end since it will all get reclaimed by the OS anyway
<mrvn>
Imho there is but ocaml doesn't.
Kakadu has quit [Remote host closed the connection]
sh0t has quit [Ping timeout: 246 seconds]
<companion_cube>
well you can force it, if you want
<companion_cube>
at_exit Gc.full_major or something like this
mehdi_ has joined #ocaml
damason__ has joined #ocaml
n3f has joined #ocaml
igitoor_ has joined #ocaml
igitoor_ has joined #ocaml
igitoor_ has quit [Changing host]
noplamodo_ has joined #ocaml
lupine_85 has joined #ocaml
mal``` has joined #ocaml
damason has quit [*.net *.split]
fluter has quit [*.net *.split]
mal`` has quit [*.net *.split]
igitoor has quit [*.net *.split]
segmond has quit [*.net *.split]
noplamodo has quit [*.net *.split]
mawuli has quit [*.net *.split]
bitbckt has quit [*.net *.split]
lupine has quit [*.net *.split]
neferty has quit [*.net *.split]
mehdi has quit [*.net *.split]
igitoor_ is now known as igitoor
lupine_85 is now known as lupine
<Algebr>
companion_cube: full_major () worked fine.
<Algebr>
Does using valgrind on ocaml programs not make sense? How can I tell if I have memory leaks
bitbckt has joined #ocaml
mawuli has joined #ocaml
lobo has quit [Quit: leaving]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
Algebr has quit [Remote host closed the connection]
johnf__ has joined #ocaml
segmond has joined #ocaml
fluter has joined #ocaml
fluter has quit [Max SendQ exceeded]
fluter has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
pyon has joined #ocaml
tmtwd has quit [Ping timeout: 240 seconds]
BitPuffin|osx has joined #ocaml
tmtwd has joined #ocaml
rand__ has quit [Quit: leaving]
johnf__ has quit [Read error: Connection reset by peer]