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/
emmanuelux has joined #ocaml
groovy2shoes has quit [Quit: Computer has gone to sleep]
ollehar has quit [Ping timeout: 246 seconds]
emmanuelux has quit [Max SendQ exceeded]
emmanuelux has joined #ocaml
emmanuelux has quit [Max SendQ exceeded]
emmanuelux has joined #ocaml
emmanuelux has quit [Max SendQ exceeded]
emmanuelux has joined #ocaml
derek_c has joined #ocaml
emmanuelux has quit [Max SendQ exceeded]
emmanuelux has joined #ocaml
walter has joined #ocaml
emmanuelux has quit [Max SendQ exceeded]
derek_c has quit [Ping timeout: 245 seconds]
derek_c has joined #ocaml
mattrepl has joined #ocaml
darkf has joined #ocaml
derek_c has quit [Quit: leaving]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
tootooroo has quit [Ping timeout: 276 seconds]
tootooroo has joined #ocaml
weie has joined #ocaml
paddymahoney has joined #ocaml
tootooroo has quit [Ping timeout: 245 seconds]
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
karswell` has quit [Read error: Operation timed out]
karswell` has joined #ocaml
tootooroo has joined #ocaml
paddymahoney has quit [Quit: Ex-Chat]
mattrepl has quit [Quit: mattrepl]
hto has quit [Ping timeout: 252 seconds]
hto has joined #ocaml
hto has quit [Client Quit]
hto has joined #ocaml
walter has quit [Read error: Connection reset by peer]
walter has joined #ocaml
ggole has joined #ocaml
leoncamel2 has quit [Ping timeout: 264 seconds]
cdidd has joined #ocaml
pkrnj has joined #ocaml
tootooroo has quit [Ping timeout: 245 seconds]
pyacks has quit [Ping timeout: 245 seconds]
tootooroo has joined #ocaml
tootooroo is now known as Guest54789
Guest54789 has quit [Client Quit]
tootooroo has joined #ocaml
pyacks has joined #ocaml
leoncamel has joined #ocaml
Snark has joined #ocaml
ttamttam has joined #ocaml
Yoric has joined #ocaml
breakds has quit [Quit: Konversation terminated!]
tootooroo has quit [Ping timeout: 260 seconds]
mlh has joined #ocaml
tootooroo has joined #ocaml
smerz has quit [Ping timeout: 256 seconds]
ttamttam has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
ttamttam has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
eikke has joined #ocaml
emj has joined #ocaml
emj is now known as emja
emja is now known as ernm
<ernm> Hello. What is the story on debugging native c extensions (main program compiled to native code)?
<orbitz> gdb?
<ernm> obviosuly...thanks. It's too early for me I think.
mika1 has joined #ocaml
cago has joined #ocaml
pyacks has quit [Remote host closed the connection]
pygmalion has joined #ocaml
yacks has joined #ocaml
frogfoodeater has quit [Ping timeout: 240 seconds]
yacks has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Ping timeout: 256 seconds]
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
thomasga has joined #ocaml
pygmalion has quit [Ping timeout: 248 seconds]
yacks has joined #ocaml
zpe has joined #ocaml
eikke has quit [Read error: Operation timed out]
eikke has joined #ocaml
djcoin has joined #ocaml
mort___ has joined #ocaml
<ernm> I'm having problems loading symbols in gdb for native code executable on OS X. Any pointers?
<orbitz> did you compile with debugging?
<ernm> Yes. using oasis and I checked setup.data and it says debug=true
<orbitz> I don't know anything about oasis, i'd try with a simple file tosee if the basics work
<orbitz> by hand
<orbitz> then expand out, sorry i can't be of more help
<ernm> Thanks. I'll do a manual test.
darkf has quit [Read error: Connection reset by peer]
<orbitz> and do you mean ocaml symbols or your C extension symbols?
darkf has joined #ocaml
wwilly has joined #ocaml
<wwilly> \amsg o/
<wwilly> o/
<adrien_oww> spammeur !
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
<ernm> Can't see any. Gdb works for c/c++ (just checked) so i got the code signing cert working.
hkBst has quit [Excess Flood]
pygmalion has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
ollehar has joined #ocaml
Anarchos has joined #ocaml
pygmalion has quit [Ping timeout: 264 seconds]
Anarchos has quit [Client Quit]
rixed has quit [Ping timeout: 248 seconds]
rixed has joined #ocaml
ernm has quit [Remote host closed the connection]
emj has joined #ocaml
emj is now known as Guest85845
<Guest85845> orbitz: Turned out that CFI directives are not supported on OS X yet so gdb cant load the symbols.
Guest85845 is now known as ernmj
<orbitz> ah
<wwilly> :)
ernmj has quit [Remote host closed the connection]
ben_zen has quit [Ping timeout: 260 seconds]
mcclurmc has joined #ocaml
yacks has quit [Ping timeout: 264 seconds]
beckerb has joined #ocaml
rixed has quit [Ping timeout: 264 seconds]
ttamttam has quit [Quit: ttamttam]
q66 has joined #ocaml
pippijn_ has joined #ocaml
pippijn has quit [*.net *.split]
diml_ has quit [*.net *.split]
diml_ has joined #ocaml
pippijn_ is now known as pippijn
Kakadu has joined #ocaml
UncleVasya has joined #ocaml
thomasga has quit [Ping timeout: 246 seconds]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 255 seconds]
_andre has joined #ocaml
ben_zen has joined #ocaml
ben_zen is now known as Guest63985
Guest63985 is now known as ben_zen
groovy2shoes has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
yacks has joined #ocaml
thelema_ has joined #ocaml
tane has joined #ocaml
thelema has quit [Ping timeout: 260 seconds]
awm22 has quit [Quit: Leaving.]
Anarchos has joined #ocaml
yacks has quit [Ping timeout: 255 seconds]
yacks has joined #ocaml
Anarchos has quit [Ping timeout: 245 seconds]
groovy2shoes has quit [Quit: Computer has gone to sleep]
mort___ has quit [Quit: Leaving.]
ollehar1 has quit [Ping timeout: 252 seconds]
Anarchos has joined #ocaml
ollehar has joined #ocaml
ttamttam has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
yacks has quit [Read error: Operation timed out]
UncleVasya has quit [Ping timeout: 256 seconds]
mort___ has joined #ocaml
Neros_ has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
tane has quit [Quit: Verlassend]
yacks has joined #ocaml
chambart has joined #ocaml
beckerb has quit [Ping timeout: 245 seconds]
cago has left #ocaml []
tane has joined #ocaml
tootooroo has quit [Ping timeout: 264 seconds]
ollehar has quit [Ping timeout: 256 seconds]
ollehar has joined #ocaml
tootooroo has joined #ocaml
tootooroo has quit [Read error: Connection reset by peer]
yacks has quit [Ping timeout: 264 seconds]
tootooroo has joined #ocaml
tonyg has left #ocaml []
beckerb has joined #ocaml
Anarchos has joined #ocaml
yacks has joined #ocaml
breakds has joined #ocaml
<Kakadu> If I have _oasis file with two independent executables what should I write in terminal to build only one of them?
<Kakadu> It seems that autogenerated makefile does not suppport separate compilation
<Kakadu> Or I miss something?
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
ollehar has quit [Ping timeout: 255 seconds]
<thelema_> You may be able to invoke ocamlbuild directly to build just one executable
<adrien_oww> sounds like invoking "make" to me; it should default to everything
<Kakadu> Yeah, it does everything....
<adrien_oww> it also tells you the ocamlbuild command it runs so you can very easily use it
ttamttam has quit [Quit: ttamttam]
<Kakadu> adrien_oww: thanks!
dwmw2 is now known as dwmw2_gone
hkBst has quit [Quit: Konversation terminated!]
thomasga has quit [Quit: Leaving.]
darkf has quit [Quit: Leaving]
breakds has quit [Remote host closed the connection]
mcclurmc has quit [Ping timeout: 252 seconds]
tootooroo has quit [Ping timeout: 264 seconds]
zpe has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
thomasga has joined #ocaml
ttamttam has joined #ocaml
mika1 has quit [Quit: Leaving.]
UncleVasya has joined #ocaml
zpe has joined #ocaml
wwilly has quit [Remote host closed the connection]
chambart has quit [Ping timeout: 256 seconds]
zpe has quit [Ping timeout: 248 seconds]
tani has joined #ocaml
eikke has quit [Ping timeout: 248 seconds]
tane has quit [Ping timeout: 276 seconds]
ohama has quit [Ping timeout: 256 seconds]
Kakadu has quit [Ping timeout: 245 seconds]
tootooroo has joined #ocaml
Kakadu has joined #ocaml
ohama has joined #ocaml
anderse has joined #ocaml
tootooroo has quit [Read error: Connection reset by peer]
tootooroo has joined #ocaml
ggole has quit []
mcclurmc has joined #ocaml
zpe has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.9.2]
thomasga has quit [Quit: Leaving.]
tootooroo has quit [Ping timeout: 256 seconds]
zpe has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
emmanuelux has joined #ocaml
Fnar has quit [Ping timeout: 240 seconds]
anderse has quit [Quit: anderse]
Fnar has joined #ocaml
cthuluh has quit [Ping timeout: 240 seconds]
tootooroo has joined #ocaml
zpe has joined #ocaml
tootooroo has quit [Ping timeout: 276 seconds]
zpe has quit [Ping timeout: 256 seconds]
tootooroo has joined #ocaml
ulfdoz has joined #ocaml
tootooroo has quit [Ping timeout: 245 seconds]
tootooroo has joined #ocaml
beckerb has quit [Quit: Konversation terminated!]
beckerb has joined #ocaml
zpe has joined #ocaml
tootooroo has quit [Quit: Brain.sys has encountered a problem and needs to close. We are sorry for the inconvenience.]
beckerb has quit [Ping timeout: 245 seconds]
middayc has joined #ocaml
tootooroo has joined #ocaml
tootooroo has quit [Client Quit]
zpe has quit [Ping timeout: 260 seconds]
tootooroo has joined #ocaml
ollehar has joined #ocaml
tootooroo has quit [Quit: Brain.sys has encountered a problem and needs to close. We are sorry for the inconvenience.]
Anarchos has joined #ocaml
ollehar1 has joined #ocaml
tootooroo has joined #ocaml
ttamttam has left #ocaml []
tootooroo has quit [Ping timeout: 256 seconds]
middayc has quit [Quit: leaving]
cthuluh has joined #ocaml
zpe has joined #ocaml
q66 has quit [Read error: Connection reset by peer]
q66 has joined #ocaml
tootooroo has joined #ocaml
eikke has joined #ocaml
tianon has quit [Ping timeout: 245 seconds]
mikurubeam has joined #ocaml
tianon has joined #ocaml
tootooroo has quit [Ping timeout: 256 seconds]
zpe has quit [Ping timeout: 245 seconds]
mikurubeam has quit [Ping timeout: 256 seconds]
anderse has joined #ocaml
cdidd has quit [Ping timeout: 245 seconds]
cthuluh has quit [Ping timeout: 276 seconds]
tootooroo has joined #ocaml
thomasga has joined #ocaml
tianon has quit [Ping timeout: 256 seconds]
tianon has joined #ocaml
cthuluh has joined #ocaml
UncleVasya has quit [Quit: UncleVasya]
zpe has joined #ocaml
Anarchos has quit [Quit: got to sleep a few hours....]
zpe has quit [Ping timeout: 256 seconds]
Zerker_ has joined #ocaml
Snark has quit [Quit: leaving]
anderse has quit [Quit: anderse]
jpdeplaix` has quit [Ping timeout: 248 seconds]
jpdeplaix` has joined #ocaml
anderse has joined #ocaml
Zerker_ has quit [Remote host closed the connection]
Zerker_ has joined #ocaml
zpe has joined #ocaml
_andre has quit [Quit: leaving]
Zerker_ has quit [Remote host closed the connection]
Zerker_ has joined #ocaml
Zerker_ has quit [Remote host closed the connection]
Zerker_ has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
pkrnj has joined #ocaml
Zerker_ has quit [Remote host closed the connection]
Zerker_ has joined #ocaml
diml_ is now known as diml
<ollehar1> type families in ocaml?
Zerker_ has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
Zerker_ has joined #ocaml
Zerker_ has quit [Read error: Connection reset by peer]
Zerker_ has joined #ocaml
Zerker_ has quit [Remote host closed the connection]
Kakadu has quit []
awm22 has joined #ocaml
Zerker_ has joined #ocaml
Zerker_ has quit [Remote host closed the connection]
Zerker_ has joined #ocaml
Zerker_ has quit [Remote host closed the connection]
Zerker_ has joined #ocaml
zpe has joined #ocaml
cthuluh has quit [Ping timeout: 246 seconds]
cthuluh has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
pib1979 has quit [Remote host closed the connection]
Zerker_ has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
Zerker_ has joined #ocaml
anderse has quit [Quit: anderse]
emmanuelux has quit [Ping timeout: 276 seconds]
fraggle_ has quit [Ping timeout: 256 seconds]
fraggle_ has joined #ocaml
ollehar1 has quit [Ping timeout: 245 seconds]
pib1942 has joined #ocaml
fraggle_ has quit [Ping timeout: 256 seconds]
fraggle_ has joined #ocaml
zpe has joined #ocaml
Zerker_ has quit [Remote host closed the connection]
Zerker_ has joined #ocaml
Zerker_ has quit [Remote host closed the connection]
Zerker_ has joined #ocaml
Zerker_ has quit [Client Quit]
zpe has quit [Ping timeout: 264 seconds]
smerz has joined #ocaml
fraggle_ has quit [Ping timeout: 256 seconds]
fraggle_ has joined #ocaml
Neros has quit [Ping timeout: 246 seconds]
emmanuelux has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
watermind has joined #ocaml
<watermind> what is supposed to be the difference between type t = T of int * bool and type t = T of (int * bool) ?
<watermind> I just read that they don't have the same semantics, but it doesn't say anything else
<Cypi> T of int * bool is a constructor with 2 arguments (of types int and bool), whereas T of (int * bool) is a constructor with 1 argument (of type int * bool)
<Cypi> So with the second type, you can write : let a = (n, b) in T a
<Cypi> and you can't with the first
groovy2shoes has joined #ocaml
<watermind> Cypi: I see... but with the first you still construct values with T (n,b) right?
<Cypi> Yes, you can
<Leonidas> watermind: they don't exactly have the same semantics.
zpe has joined #ocaml
<Cypi> Actually, the first one is just more restrictive than the second one
<Leonidas> watermind: you can't say let b = (3, false) in T b if you leave out the parens
<watermind> Leonidas: I see
<Cypi> and you can say T (3, false) in both cases
<watermind> are there curried value constructors?
<watermind> where the syntax would be T a b
<Leonidas> this question is the most popular issue in OCaml :>
<watermind> I know value constructors are not functions
<Leonidas> in #ocaml I mean
<watermind> but I thought maybe it would still be possible to use a curried syntax
<watermind> even if no partial application would be allowed
zpe has quit [Ping timeout: 245 seconds]
Yoric has quit [Ping timeout: 246 seconds]
thomasga has quit [Quit: Leaving.]
watermind has quit [Quit: Konversation terminated!]
emmanuelux has quit [Ping timeout: 256 seconds]
emmanuelux has joined #ocaml
frogfoodeater has joined #ocaml
eikke has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 245 seconds]
amaloz has joined #ocaml
tani has quit [Quit: Verlassend]
groovy2shoes has quit [Quit: Computer has gone to sleep]
zpe has joined #ocaml
ollehar1 has quit [Remote host closed the connection]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 276 seconds]
smerz has quit [Ping timeout: 264 seconds]
emmanuelux has quit [Quit: emmanuelux]
lenstr has quit [Quit: ZNC - http://znc.sourceforge.net]