Alpounet changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html - Answer OCaml Meeting 2010 poll https://forge.ocamlcore.org/survey/survey.php?group_id=77&survey_id=1
Alpounet has quit [Remote closed the connection]
stan__ has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
det has quit [Read error: 110 (Connection timed out)]
det has joined #ocaml
Alpounet has joined #ocaml
Pimm has joined #ocaml
jonafan_ has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
ofaurax has joined #ocaml
stan__ has quit [Client Quit]
Leonidas is now known as Xeonidas
Xeonidas is now known as Leonidas
BigJ has joined #ocaml
verte has quit ["~~~ Crash in JIT!"]
albacker has joined #ocaml
Submarine has joined #ocaml
_unK has joined #ocaml
zhijie has quit ["Leaving."]
_unK has quit [verne.freenode.net irc.freenode.net]
BigJ has quit [verne.freenode.net irc.freenode.net]
det has quit [verne.freenode.net irc.freenode.net]
caligula__ has quit [verne.freenode.net irc.freenode.net]
eldragon has quit [verne.freenode.net irc.freenode.net]
mal`` has quit [verne.freenode.net irc.freenode.net]
ertai_ has quit [verne.freenode.net irc.freenode.net]
bind_return has quit [verne.freenode.net irc.freenode.net]
rwmjones has quit [verne.freenode.net irc.freenode.net]
Submarine has quit [verne.freenode.net irc.freenode.net]
struktured has quit [verne.freenode.net irc.freenode.net]
sgnb has quit [verne.freenode.net irc.freenode.net]
schme has quit [verne.freenode.net irc.freenode.net]
haelix has quit [verne.freenode.net irc.freenode.net]
bacam has quit [verne.freenode.net irc.freenode.net]
munga has quit [verne.freenode.net irc.freenode.net]
hto has quit [verne.freenode.net irc.freenode.net]
mattiase has quit [verne.freenode.net irc.freenode.net]
prigaux has quit [verne.freenode.net irc.freenode.net]
diginux has quit [verne.freenode.net irc.freenode.net]
tab_ has quit [verne.freenode.net irc.freenode.net]
safire has quit [verne.freenode.net irc.freenode.net]
noj has quit [verne.freenode.net irc.freenode.net]
tonyIII has quit [verne.freenode.net irc.freenode.net]
bzzbzz has quit [verne.freenode.net irc.freenode.net]
julm has quit [verne.freenode.net irc.freenode.net]
Leonidas has quit [verne.freenode.net irc.freenode.net]
thelema has quit [verne.freenode.net irc.freenode.net]
mbishop has quit [verne.freenode.net irc.freenode.net]
nimred has quit [verne.freenode.net irc.freenode.net]
hyperboreean has quit [verne.freenode.net irc.freenode.net]
infoe_ has quit [verne.freenode.net irc.freenode.net]
lanaer has quit [verne.freenode.net irc.freenode.net]
Mr_Awesome has quit [verne.freenode.net irc.freenode.net]
mfp has quit [verne.freenode.net irc.freenode.net]
_unK has joined #ocaml
Submarine has joined #ocaml
BigJ has joined #ocaml
det has joined #ocaml
caligula__ has joined #ocaml
struktured has joined #ocaml
sgnb has joined #ocaml
eldragon has joined #ocaml
mal`` has joined #ocaml
ertai_ has joined #ocaml
bind_return has joined #ocaml
rwmjones has joined #ocaml
schme has joined #ocaml
noj has joined #ocaml
julm has joined #ocaml
tab_ has joined #ocaml
safire has joined #ocaml
tonyIII has joined #ocaml
bzzbzz has joined #ocaml
hto has joined #ocaml
haelix has joined #ocaml
mattiase has joined #ocaml
diginux has joined #ocaml
prigaux has joined #ocaml
bacam has joined #ocaml
munga has joined #ocaml
Leonidas has joined #ocaml
thelema has joined #ocaml
Mr_Awesome has joined #ocaml
mfp has joined #ocaml
hyperboreean has joined #ocaml
mbishop has joined #ocaml
nimred has joined #ocaml
lanaer has joined #ocaml
infoe_ has joined #ocaml
albacker has quit [Remote closed the connection]
jeddhaberstro has joined #ocaml
zerny has joined #ocaml
thrasibule has joined #ocaml
ttamttam has joined #ocaml
Yoric has joined #ocaml
ua has quit [Read error: 60 (Operation timed out)]
Pimm has quit [Read error: 60 (Operation timed out)]
Pimm has joined #ocaml
Yoric has quit []
albacker has joined #ocaml
thrasibule has quit [Read error: 110 (Connection timed out)]
Yoric has joined #ocaml
mfp has quit [Read error: 104 (Connection reset by peer)]
ua has joined #ocaml
Yoric has quit []
Pimm has quit [Read error: 60 (Operation timed out)]
BiDOrD has quit []
zerny has left #ocaml []
_zack has joined #ocaml
komar_ has joined #ocaml
komar_ has left #ocaml []
Associat0r has joined #ocaml
ttamttam has quit [Read error: 113 (No route to host)]
thrasibule has joined #ocaml
<Camarade_Tux> hmmm, can I pass easily a -ccopt to ocamlopt through ocamlbuild?
mfp has joined #ocaml
Amorphous has quit [Read error: 60 (Operation timed out)]
Amorphous has joined #ocaml
<thelema> Camarade_Tux: I just use makefile to do this
<thelema> ocamlbuild --ccopts foo1,foo2
<Camarade_Tux> well, I went for bash scripting for that one, it's good enough for this test
ikaros has joined #ocaml
jcaose has joined #ocaml
r0bby has joined #ocaml
Pimm has joined #ocaml
Pimm has quit [Read error: 54 (Connection reset by peer)]
Pimm has joined #ocaml
Associat0r has quit []
Yoric has joined #ocaml
Submarine has quit ["Leaving"]
Yoric has quit []
Pimm has quit [Remote closed the connection]
Waleee has joined #ocaml
Yoric has joined #ocaml
c0m has joined #ocaml
_zack has quit ["Leaving."]
<c0m> is a weak typed language synonymous with a language that has dynamic type checking
ua has quit [Read error: 60 (Operation timed out)]
<orbitz> c0m: no
<jlouis> c0m: nope. Weak typing is normally that types will be implicitly converted when needed. That is, you can use an integer in a catenation of strings and it will automatically be converted into a string
<c0m> right
ua has joined #ocaml
thrasibule has quit [Read error: 110 (Connection timed out)]
thrasibule has joined #ocaml
ua has quit [Read error: 113 (No route to host)]
sramsay has joined #ocaml
c0m has quit ["http://www.beatingaddiction.com for an addiction to anything!!"]
ttamttam has joined #ocaml
Pepe_ has quit ["leaving"]
Pepe_ has joined #ocaml
|Jedai| has quit [Read error: 110 (Connection timed out)]
|Jedai| has joined #ocaml
ttamttam has quit ["Leaving."]
Yoric has quit []
r0bby has quit [Read error: 60 (Operation timed out)]
<det> I dont think weak typing implies implicitness
<det> C would be considered weak because you can cast (which is explicit)
<Camarade_Tux> isn't C weakly typed?
jcaose has quit [Read error: 110 (Connection timed out)]
johnnowak has joined #ocaml
<Camarade_Tux> there are implicit cast too ;-)
tommyd3mdi has joined #ocaml
<tommyd3mdi> Evening all! I'm having a problem with a ocaml software I want to package and have absolutely no knowledge whatsoever of ocaml. The problem is now that I don't know good debugging tools to demystify the error message I get - can somebody point me somewhere please? Thanks!
mattiase has left #ocaml []
<Camarade_Tux> unrelated, I'm wondering if my app will run correctly on other computers as a binary (I've always had doubts about Harrop's claims that binaries wouldn't run properly on other computers): http://pers.yaxm.org/temp/caravel_test.tar.xz (500KB) <- run "webkit_worker", it'll write its PID to stdout, then run "manager pid_of_webkit_worker"
<Camarade_Tux> 64bit binaries, needs webkit-gtk >= 1.11
<Camarade_Tux> tommyd3mdi: which error messages?
<tommyd3mdi> Camarade_Tux: Fatal error: exception Invalid_argument("some")
<tommyd3mdi> I expect something with the glib bindings of this software (monotone-viz)
<Camarade_Tux> you're compiling the app?
<tommyd3mdi> from the comments in the code it says that parts of it (g_spawn_async_with_pipes?) sometimes throw this exception when some flags are not available
<tommyd3mdi> I've successfully compiled it on OSX - it just doesn't run properly
<tommyd3mdi> I can request "-h" and "--version", but thats pretty much it. Everything else aborts with the above error
<tommyd3mdi> I expect that the software spawns an inner process to fetch data from and I guess this is the problem in some way, but I have no real debugging options at hand right now
ikaros has quit ["Leave the magic to Houdini"]
<Camarade_Tux> try 'export OCAMLRUNPARAM="b"' first and run the app
<tommyd3mdi> ah...! Fatal error: exception Invalid_argument("some")
<tommyd3mdi> Raised at file "pervasives.ml", line 23, characters 25-45
<tommyd3mdi> Called from file "", line 0, characters 0-0
<Camarade_Tux> probably hasn't been compiled with debug infos =/
<Camarade_Tux> tommyd3mdi: do you think you could add '-g' to the ocamlc/ocamlopt invocations during the build?
<tommyd3mdi> sure
<Camarade_Tux> (hmmm, I wonder it wouldn't rather be a lib missing infos)
Waleee has quit []
<tommyd3mdi> ah, very good - now I get a backtrace
<tommyd3mdi> its crashing while loading a specific style
<Camarade_Tux> can you pastebin the trace?
<det> tommyd3mdi, loading a GTK style ?
<det> tommyd3mdi, maybe you are loading a style from a widget that isnt yet realized
<tommyd3mdi> this is pretty weird actually, because the same software runs unpatched (in this regard) on other Unices, like f.e. Fedora 12
<Camarade_Tux> might be a gtk problem, running gtk on top of aqua or X?
<tommyd3mdi> on top of X
<tommyd3mdi> but I made another observation - apparently I had an old file ~/.monotone-viz.style laying around
<tommyd3mdi> moving that away now leads to a segfault
<det> does this code work on non OS/X
<det> also
<Camarade_Tux> seems it does
<det> that trace is useless since we dont know the line numbers
<tommyd3mdi> this is the segfault I get now: http://pastebin.ca/1704846
<Camarade_Tux> for the segfault, it sounds like a problem with gtk
<Camarade_Tux> det: I guess it's on the "let get mk n = some (lookup i (mk n)) in" line (because of the function named "some")
<tommyd3mdi> gtk is @2.18.2 here
<Camarade_Tux> other gtk apps running ok?
<Camarade_Tux> it's a pretty recent gtk version iirc
<det> what is "some"
<det> does that return the value of an option or something ?
r0bby has joined #ocaml
<tommyd3mdi> remember that I don't have any ocaml knowledge - how is a function defined here? let some = ?
<det> If so, you should find which function is returning "None"
<det> let some ... = ...
<det> btw
<det> in your main.ml
<det> you arent initializing GTK
<tommyd3mdi> let some = function
<tommyd3mdi> | Some v -> v
<tommyd3mdi> | None -> invalid_arg "some"
<det> you are calling that function when a value is returning None
<tommyd3mdi> det: how would be the correct code for the GTK initalization?
<det> find a tutorial
<det> not initializing could very well lead to a segfault
Pimm has joined #ocaml
<det> I have to be leaving
<det> ttyl
<tommyd3mdi> ok, thanks so far!
<tommyd3mdi> http://www.ocaml-tutorial.org/introduction_to_gtk: the first example there looks pretty much like the code in my main.ml
_unK has quit [Remote closed the connection]
<tommyd3mdi> do I have to link to gtkInit.cmo somehow?
mjsor has joined #ocaml
noisetonepause has joined #ocaml
<tommyd3mdi> gtkInit.cmx is part of the linker line
<Camarade_Tux> cmo is for use with ocamlc (bytecode), cmx is for use with ocamlopt (native code)
<tommyd3mdi> ok, the segfault came from a faulty fontconfig (2.6.2) - updating to a newer one (2.8) fixed the problem
<tommyd3mdi> its now running - thanks a bunch for your help!
<Camarade_Tux> \o/
ofaurax has quit ["Leaving"]
albacker has quit [Read error: 113 (No route to host)]
noisetonepause has quit ["Leaving."]
tommyd3mdi has quit []
mjsor has quit []
tmaeda is now known as tmaedaZ
sramsay has quit [Read error: 60 (Operation timed out)]
noisetonepause has joined #ocaml
patronus_ has quit [Remote closed the connection]
johnnowak has quit []
_unK has joined #ocaml
patronus has joined #ocaml
Pimm has quit [Read error: 60 (Operation timed out)]
tmaedaZ is now known as tmaeda
tmaeda is now known as tmaedaZ
noisetonepause has quit [Read error: 110 (Connection timed out)]
Associat0r has joined #ocaml
johnnowak has joined #ocaml
johnnowak has quit [Client Quit]
johnnowak has joined #ocaml
noisetonepause1 has joined #ocaml
_unK has quit [Remote closed the connection]
noisetonepause has joined #ocaml
noisetonepause1 has quit ["Leaving."]
jeddhaberstro has quit [Client Quit]
tmaedaZ is now known as tmaeda
struktured has quit [Read error: 110 (Connection timed out)]
johnnowak has quit []
valross has joined #ocaml
<palomer> \o/
caligula_ has joined #ocaml
caligula__ has quit [Read error: 110 (Connection timed out)]
johnnowak has joined #ocaml
johnnowak has quit [Client Quit]
thrasibule has quit [Read error: 110 (Connection timed out)]
zhijie has joined #ocaml
mfp has quit [Read error: 54 (Connection reset by peer)]
Associat0r has quit []
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
mjsor has joined #ocaml
mjsor has quit [Client Quit]
noisetonepause has quit ["Leaving."]
mjsor has joined #ocaml
mjsor has quit [Client Quit]