sgnb has quit [Read error: 104 (Connection reset by peer)]
sgnb has joined #ocaml
<orbitz>
olegfink: yeah, Go has promise, I'm just being cautious
monipol has joined #ocaml
<monipol>
Hello, there. I'm trying to build an OCaml application I've downloaded which mixes OCaml and Objective C. During the link phase I get undefined symbols _caml_apply2 and _cam_apply3. Any suggestions?
<orbitz>
link against somethign?
<monipol>
I haven't been able to find any object providing those symbols. =/ OCaml libraries list them as undefined, as well as the objects creates by the application.
<monipol>
created*
ccasin has quit ["Leaving"]
Alpounet has quit ["``Do what you think you can't do.'' -- E. Roosevelt"]
Alpounet has joined #ocaml
thrasibule has joined #ocaml
BigJ2 has joined #ocaml
thrasibule has quit [Read error: 110 (Connection timed out)]
caligula_ has joined #ocaml
caligula__ has quit [Read error: 110 (Connection timed out)]
clog has joined #ocaml
Ched has quit [Read error: 110 (Connection timed out)]
clog_ has joined #ocaml
ulfdoz has joined #ocaml
clog has quit [Connection timed out]
clog_ is now known as clog
ski_ has joined #ocaml
struktured has quit [Connection timed out]
Asmadeus has quit [Read error: 60 (Operation timed out)]
Asmadeus has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
tmaedaZ is now known as tmaeda
tmaeda is now known as tmaedaZ
tmaedaZ is now known as tmaeda
ttamttam has joined #ocaml
clog_ has joined #ocaml
ttamttam has quit ["Leaving."]
clog has quit [Read error: 110 (Connection timed out)]
clog_ is now known as clog
tmaeda is now known as tmaedaZ
Yoric has quit []
ua has joined #ocaml
mishok13 has joined #ocaml
<mfp>
monipol: the caml_applyX functions are generated by the compiler right before linking; if you compile with -verbose, you'll see it creates a /tmp/camlstartupxxxxxx.s file that containes them
<mfp>
*contains
ygrek has joined #ocaml
Honeyman has joined #ocaml
verte has joined #ocaml
rwmjones is now known as rwmjones-afk
rwmjones_lptp has joined #ocaml
Pimm has joined #ocaml
ikaros has joined #ocaml
valross has quit ["Ex-Chat"]
Yoric has joined #ocaml
Snark has joined #ocaml
<Yoric>
hi
zhijie has joined #ocaml
munga_ has quit [Read error: 113 (No route to host)]
verte has quit ["~~~ Crash in JIT!"]
struktured has joined #ocaml
<Honeyman>
Hello. Can someone give me a hint if/how it is possible to compile and link a ocaml .ml code, that uses a different ocaml library (.cma/.cmi/.cmxa/.a) into the native code library (.so)?
<Honeyman>
I suspect this is either very trivial for more experienced ocamlers than me, or is impossible at all.
rwmjones_lptp has left #ocaml []
<mrvn>
The docs only cover using ocaml in a c binary. But that should have all the infos you need.
Yoric has quit []
rwmjones-afk is now known as rwmjones
<mfp>
Honeyman: are you using -output-obj?
<mfp>
something like e.g. ocamlfind -package pcre -output-obj foo.so pcre.cmxa foo.cmx should do the trick, at least on Linux x86
<Camarade_Tux>
anyone worked with rpc (ocamlnet's)? more specifically, I'm looking for a tool that can make a .x (definitions for sunrpc) from a .mli
<mfp>
on other platforms, you might need to build the OCaml code with -fPIC
<Honeyman>
mfp: thanks for your reply. I am on AMD64 thus indeed struggling with -fPIC
<mfp>
OCaml generates PIC by default on AMD64
<mfp>
if you're getting something like /usr/bin/ld: /usr/lib/ocaml/libasmrun.a(roots.o): relocation R_X86_64_32 against `caml_frametable' can not be used when making a shared object; recompile with -fPIC
<Honeyman>
exactly
<mfp>
then the pb is with the runtime not being position-independent
<mfp>
building OCaml with ./configure -cc "gcc -fPIC" might fix it
ikaros has quit ["Leave the magic to Houdini"]
tmaedaZ is now known as tmaeda
<Honeyman>
"Position independent" like in "ELF 64-bit LSB relocatable"? Or does it mean something different?
<orbitz>
PIC stands for position independent code
<Honeyman>
Oh. I found it already too. It indeed means something different.
<Honeyman>
Though I suspect that Ocaml in Debian should've been position-independent...
bzzbzz has joined #ocaml
_unK has joined #ocaml
Snark has quit ["Ex-Chat"]
Snark has joined #ocaml
ccasin has joined #ocaml
tmaeda is now known as tmaedaZ
ikaros has joined #ocaml
ski_ has quit ["Lost terminal"]
ski_ has joined #ocaml
onigiri has joined #ocaml
tmaedaZ is now known as tmaeda
Ched has joined #ocaml
yakov has joined #ocaml
Alpounet has joined #ocaml
tmaeda is now known as tmaedaZ
shiram has joined #ocaml
dmentre has quit ["Leaving."]
Yoric has joined #ocaml
mishok13 has quit [Connection timed out]
ikaros_ has joined #ocaml
jcaose has quit [Read error: 104 (Connection reset by peer)]
bzzbzz has quit ["Lost terminal"]
Yoric has quit []
waleee has joined #ocaml
ikaros has quit [Read error: 113 (No route to host)]
Amorphous has quit [Read error: 113 (No route to host)]
Amorphous has joined #ocaml
ua has joined #ocaml
safire has quit [Read error: 60 (Operation timed out)]
safire has joined #ocaml
Yoric[DT] has joined #ocaml
ttamttam has joined #ocaml
thermoplyae has joined #ocaml
_zack has joined #ocaml
shiram has quit [Read error: 110 (Connection timed out)]
albacker has quit ["Leaving"]
Snark has quit ["Ex-Chat"]
<hcarty>
thelema: ping
thermoplyae has left #ocaml []
<Yoric[DT]>
'evening
sramsay has joined #ocaml
<hcarty>
Yoric[DT]: Howdy
<Yoric[DT]>
How do you do?
<hcarty>
I'm doing well, thank you. And you?
<hcarty>
How is life in industry? :-)
<Alpounet>
corrupted ? :-p
mbac has quit [Remote closed the connection]
<mattiase>
Alpounet: we all are!
* Camarade_Tux
wantz moneyz :)
<Alpounet>
mattam, haha :)
<Alpounet>
Yoric[DT], hey, what's up ?
<Yoric[DT]>
hcarty: it's quite fine, thanks.
<Yoric[DT]>
Since I can now work on things I like :)
* Yoric[DT]
spends a few days doing join-calculus every week...
<Yoric[DT]>
Oh, and we're preparing a public alpha release.
<Yoric[DT]>
So things are fine.
<mattiase>
Life in industry is not all bad. Sales people opened a couple of bottles of Champagne today to celebrate some new contract...
<mattiase>
... but it _does_ make debugging a tad more difficult afterwards!
<hcarty>
Oh, I certainly have nothing against industry.
<hcarty>
As Yoric[DT] mentioned - sometimes it is the best way to do what you want to do :-)
<mattiase>
hcarty: If only!
<hcarty>
mattiase: It does, sadly, require finding someone who wants to pay you for doing what you want. You still need to chase the money, just like in academia.
<ygrek>
Yoric[DT], join-calculus with jocaml?
<Yoric[DT]>
Nope, with OPA :)
<mattiase>
hcarty: One strategy is doing something boring but not overly time-consuming - a 9 to 5 job - that will make you eager to do some serious hacking when you get home. Another is to find an Enlightened Employer that allows you to spend time on fun things. A third is to start one, which Yoric[DT] did.
<mattiase>
(unless I remember wrong)
elanonimo has quit [farmer.freenode.net irc.freenode.net]
diml has quit [farmer.freenode.net irc.freenode.net]
mattam has quit [farmer.freenode.net irc.freenode.net]
Ori_B has quit [farmer.freenode.net irc.freenode.net]
acatout has quit [farmer.freenode.net irc.freenode.net]
fremo has quit [farmer.freenode.net irc.freenode.net]
Leonidas has quit [farmer.freenode.net irc.freenode.net]
ertai has quit [farmer.freenode.net irc.freenode.net]
tmaedaZ has quit [farmer.freenode.net irc.freenode.net]
<Camarade_Tux>
hmmmm, mlstate doesn't have a wikipedia page, you need to release something so we can create it ;-)
<Yoric[DT]>
Camarade_Tux: :)
elanonimo has joined #ocaml
diml has joined #ocaml
mattam has joined #ocaml
Ori_B has joined #ocaml
Leonidas has joined #ocaml
acatout has joined #ocaml
ertai has joined #ocaml
fremo has joined #ocaml
tmaedaZ has joined #ocaml
fremo has quit [Remote closed the connection]
fremo has joined #ocaml
acatout has quit [Remote closed the connection]
acatout has joined #ocaml
fremo is now known as Guest15814
elanonimo has quit [SendQ exceeded]
tmaedaZ has quit [Remote closed the connection]
<Alpounet>
Yoric[DT], when is the alpha release planned for ?
<Yoric[DT]>
Depends on how long the closed alpha takes, i.e. how many bugs we need to fix.
Ori_B_ has joined #ocaml
Submarine has joined #ocaml
<Alpounet>
Yoric[DT], more likely 1 month or 6 ?
<mattiase>
Anyone here who has written a sizeable amount of caml light code?
tmaedaZ has joined #ocaml
<Yoric[DT]>
Normally closer to 1.
<Alpounet>
ok
<Alpounet>
nice then
<Alpounet>
keep us up' !
middayc has joined #ocaml
<Camarade_Tux>
"The Briggs/Chase Law of Program Development: To determine how long it will take to write and debug a program, take your best estimate, multiply that by two, add one, and convert to the next higher units." ;-)
<Camarade_Tux>
which makes it 10 months xD
<Camarade_Tux>
(or 3-4, not sure ;-) )
<Alpounet>
heehe
<Camarade_Tux>
I shouldn't have "fortune" run each time I start a shell :)
Ori_B has quit [Connection timed out]
diml has quit [farmer.freenode.net irc.freenode.net]
Leonidas has quit [farmer.freenode.net irc.freenode.net]
ertai has quit [farmer.freenode.net irc.freenode.net]
mattam has quit [farmer.freenode.net irc.freenode.net]
Leonidas has joined #ocaml
ertai has joined #ocaml
mattam has joined #ocaml
diml has joined #ocaml
micrun has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
slash_ has quit [Client Quit]
ygrek has quit [Remote closed the connection]
Yoric[DT] has quit ["Ex-Chat"]
Submarine has quit ["Leaving"]
ttamttam has quit ["Leaving."]
Tomsik_ has joined #ocaml
<Tomsik_>
Hi, I'm supposed to number nodes of a binary tree without using imperative part of ocaml
<Tomsik_>
Is there any way to do that that isn't O(depth*number_of_vertices)?
<Tomsik_>
Or at least is there one that is elegant :p
<Camarade_Tux>
well, it can't be less than O(number_of_nodes) anyway
<Tomsik_>
Yeah
<Tomsik_>
but depth*number_of_nodes can be as bad as number_of_nodes^2
<Camarade_Tux>
hmmm, it should be doable in O(number_of_nodes)
<Camarade_Tux>
disclaimer: it's getting late here
<Tomsik_>
Well, it should
<Tomsik_>
But I can't think of any way to do that
<Camarade_Tux>
start bottom-left (0), go to its parent (1), apply again on the right tree of this parent using an offset of 1? (not sure that's clear...)
<Tomsik_>
It doesn't work, I think
<Tomsik_>
Look at full binary tree of depth 2
<Camarade_Tux>
well, unfortunately I have work to do, I'd have tried to code it otherwise =/
<Tomsik_>
well, thanks for trying to help me anyway :)
<Camarade_Tux>
;)
Dodek has joined #ocaml
<Dodek>
hey, how can i create two mutally recursive functions? is there something like forward declaration?
<Camarade_Tux>
let rec f () = 3
middayc_ has joined #ocaml
<Camarade_Tux>
and g () = f ()
<olegfink>
> 1+1 ;;
<Camarade_Tux>
errr, replace 3 with g ()
<olegfink>
eh, no bot here?
* Camarade_Tux
really needs to sleep
<Camarade_Tux>
olegfink: off, only on on demand
<olegfink>
oh, ok.
<Dodek>
b
<Dodek>
err, not this window
<Dodek>
that works, thanks Camarade_Tux
_zack has quit ["Leaving."]
<olegfink>
Tomsik_: it's even more later here than at Camarade_Tux's, but what's your problem?
<olegfink>
# type 'a tree = Node of 'a * 'a tree * 'a tree | Leaf ;;
<olegfink>
# let rec number n = function Node (_,l,r) -> Node (n, number (2*n+1) l, number (2*n+2) r) | Leaf -> Leaf ;;
<Tomsik_>
I think I found out how to do that
<Tomsik_>
olegfink: it's not a full binary tree
middayc has quit [Read error: 145 (Connection timed out)]
<olegfink>
hm?
<olegfink>
Tomsik_: what isn't a full binary tree?
<Tomsik_>
The tree I want to number
<Tomsik_>
so number won't be 2*n+1
<olegfink>
ah
valross has joined #ocaml
_unK has quit [Remote closed the connection]
BigJ2 has quit [Read error: 145 (Connection timed out)]
middayc has joined #ocaml
<olegfink>
Tomsik_: well, you can just pass the number around the calls I guess?
<Tomsik_>
Well, I done it
<Tomsik_>
by making a list with number of nodes on each depth
<olegfink>
hmm, is that really needed?
<olegfink>
let number t = let rec num n = function Node (_,l,r) -> let ln,lt = num (n+1) l in let rn,rt = num ln r in rn, Node (n, lt, rt) | Leaf -> n, Leaf in let _,t = num 0 t in t
<olegfink>
seems to work
middayc_ has quit [Read error: 110 (Connection timed out)]
Associat0r has joined #ocaml
diml has quit [farmer.freenode.net irc.freenode.net]