<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]