<christo_m>
This expression has type string array but is here used with type element array
<christo_m>
im getting that error right there, not sure how to go about fixing it
<christo_m>
guess it's too late huh
christo_m has quit ["sleep"]
<flux>
too bad he left
Snark has joined #ocaml
GustNG has joined #ocaml
ygrek has joined #ocaml
wlmttobks has joined #ocaml
lnchntdsl has joined #ocaml
ulfdoz has joined #ocaml
jarimatti has joined #ocaml
Linktim has joined #ocaml
Linktim has quit [Client Quit]
Linktim has joined #ocaml
slash_ has quit [Client Quit]
Linktim has quit [Read error: 104 (Connection reset by peer)]
Linktim has joined #ocaml
jarimatti_ has joined #ocaml
Camarade_Tux has joined #ocaml
itewsh has joined #ocaml
noj has quit ["leaving"]
jarimatti has quit [Read error: 110 (Connection timed out)]
slash_ has joined #ocaml
Linktim has quit ["Quitte"]
itewsh has quit ["KTHXBYE"]
Linktim has joined #ocaml
Submarine has joined #ocaml
filp has joined #ocaml
palomer has quit [kornbluth.freenode.net irc.freenode.net]
fremo has quit [kornbluth.freenode.net irc.freenode.net]
palomer has joined #ocaml
fremo has joined #ocaml
marmotine has joined #ocaml
itewsh has joined #ocaml
Submarine has quit [Remote closed the connection]
filp has quit [Remote closed the connection]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
snhmib has joined #ocaml
Linktim has quit [Read error: 104 (Connection reset by peer)]
itewsh has quit [Remote closed the connection]
Linktim has joined #ocaml
Linktim_ has joined #ocaml
filp has joined #ocaml
filp has quit [Client Quit]
jarimatti has joined #ocaml
jarimatti_ has quit [Read error: 110 (Connection timed out)]
Linktim has quit [Read error: 110 (Connection timed out)]
jlouis has joined #ocaml
jlouis has quit [Read error: 104 (Connection reset by peer)]
Linktim has joined #ocaml
xevz has quit [Read error: 104 (Connection reset by peer)]
xevz has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
cmeme has quit [Read error: 110 (Connection timed out)]
Demitar has quit ["Ex-Chat"]
Demitar has joined #ocaml
jarimatti has quit []
Linktim_ has joined #ocaml
jeddhaberstro has joined #ocaml
jlouis has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
pierre_m has joined #ocaml
longh has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
thelema has joined #ocaml
<thelema>
stefano: ping?
Axle has joined #ocaml
pango has quit [Remote closed the connection]
jeddhaberstro has quit []
pango has joined #ocaml
<Smerdyakov>
Anyone want to help me test that my web programming language demo isn't ridiculously borked? http://www.impredicative.com/ur/
pierre_m has quit [kornbluth.freenode.net irc.freenode.net]
rpg has quit [kornbluth.freenode.net irc.freenode.net]
guyzmo has quit [kornbluth.freenode.net irc.freenode.net]
pierre_m has joined #ocaml
rpg has joined #ocaml
guyzmo has joined #ocaml
guyzmo has quit [Remote closed the connection]
guyzmo has joined #ocaml
<lorph>
how do I use ocamlopt on sourcecode that has a #use statement
<thelema>
the argument of #use goes on the command line.
<mfp>
you can also use -pp camlp4orf and INCLUDE "foo.ml" instead, which will work with both ocamlc and ocamlopt
<lorph>
oh is that the recommended way to do it
Submarine has joined #ocaml
<mfp>
I don't know if there's a recommended way, but I've never used #use + extra cmdline argument.
<mfp>
INCLUDE seems easier for the build sys
<thelema>
of course, you have to compile it first, so it goes on the command line as a cmx file.
<thelema>
this doesn't match exactly with #use, but it's the way I recommend to do it.
<mfp>
oh, so the answer is "you don't" then
<mfp>
(this is what I was going to write)
<mfp>
"you don't use #use with ocamlopt", because File "a.ml", line 2, characters 0-1: Syntax error
<mfp>
it's a bit unfortunate that ocamldep -pp camlp4orf doesn't discover INCLUDE dependencies, so you have to add it manually to your Makefile/myocamlbuild.ml/OMakefile/whatever
<mfp>
s/it/them/
<thelema>
sounds like a good thing to put on a TODO list
jeddhaberstro has joined #ocaml
GustNG has quit ["Leaving."]
GustNG has joined #ocaml
hkBst has joined #ocaml
hsuh has joined #ocaml
Linktim_ has quit ["Quitte"]
<guyzmo>
hi
<guyzmo>
anyone here has used ocamlwizard ? and knows how it works ?
Linktim has joined #ocaml
_Jedai_ has joined #ocaml
threeve has joined #ocaml
alexyk has joined #ocaml
ygrek has quit [Remote closed the connection]
Jedai has quit [Read error: 110 (Connection timed out)]
Jedai has joined #ocaml
pierre_m has quit [kornbluth.freenode.net irc.freenode.net]
rpg has quit [kornbluth.freenode.net irc.freenode.net]
|Jedai| has quit [Read error: 110 (Connection timed out)]
pierre_m has joined #ocaml
rpg has joined #ocaml
bluestorm has joined #ocaml
ygrek has joined #ocaml
Associat0r has joined #ocaml
alexyk has quit []
Axle has quit ["Leaving."]
Linktim_ has joined #ocaml
<bluestorm>
mfp: that reddit comment "i like your rants, do you have a blog ?" made my day
Axle has joined #ocaml
blue_prawn has joined #ocaml
marmotine has quit ["mv marmotine Laurie"]
<palomer>
hrmph
<palomer>
there's no Gdk.Window.get_size
<palomer>
very strange
<vixey>
"Your ideas intrigue me sir, and I would like to subscribe to your journal"
hkBst has quit [Read error: 104 (Connection reset by peer)]
Linktim has quit [Read error: 110 (Connection timed out)]
pierre_m has quit ["ChatZilla 0.9.83 [Firefox 3.0.3/2008092414]"]
<mfp>
bluestorm: heh I abstained from replying because I'd already posted too comments
GustNG has quit [Read error: 110 (Connection timed out)]
<mfp>
yay, within 25% of Marshal & haven't done any optimization at all yet
<mfp>
(the space overhead is also 25%, not bad considering it makes the serialization self-describing, extensible & type-safe)
<gildor>
I am getting stuck into caml_oldify_local_roots into a program that mix C/OCaml
<gildor>
anyone has already experienced such a thing ?
<gildor>
(stuck doesn't mean SIGSEGV)
<Submarine>
never
<gildor>
the program seems to be trapped in a kind of infinite loop
<Submarine>
sounds like some bad corruption by the C part broke some invariant, no?
<gildor>
probably, but 1) i am not using low level interface 2) all my function is CAMLparam/CAMLreturn surrounded
<flux>
I would be extremely cautious on pointing at the ocaml implementation if it gets stuck in gc, especially if there is C code involved :)
<flux>
didn't ocaml gc actually have a proof of working or something (in coq?) ?
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
jeremiah has quit []
Snark has quit ["Ex-Chat"]
<Submarine>
gildor, It is my experience that all segfaults/weird things happening with GC in OCaml/C mixtures are due to bad C code.
alexyk has joined #ocaml
<flux>
someone(TM) should write a c library that would help with writing memory-safe bindings
<flux>
covering callbacks and friends
Axle has left #ocaml []
ulfdoz has quit ["deprecated"]
mattam has quit ["Lost terminal"]
ygrek has quit [Remote closed the connection]
mattam has joined #ocaml
jlouis has quit ["Leaving"]
tadej__ has joined #ocaml
<tadej__>
Hi guys! I have a problem with eclipse and ocaml... I've installed OcaIDE package in eclipse (http://ocaml.eclipse.ortsa.com:8480/ocaide/) and when I try to create a new project - it freezes. Any suggestions?
<hcarty>
flux: There is a project to check the type-safety of OCaml-C interfaces. I think it's called Saphire or something similar.
<hcarty>
It looks like it is rather invasive to use though. And I don't know how outdated it is.
<hcarty>
And camlidl is helpful, despite it's occasional problems
Submarine has quit [Read error: 110 (Connection timed out)]
<hcarty>
Sadly, none of these do much for callbacks from what I understand
<flux>
maybe if camlidl was a library for parsing interfaces and generating code..
<hcarty>
flux: I think it has that internally
<flux>
I too have tried the camlidl path and it's nice until you hit a boundary
<flux>
perhaps I should take a look at its source then
<hcarty>
Or camlidl + CIL + things not written yet
<flux>
when you hit a boundary it becomes quite difficult to continue
<flux>
I remember writing a custom handler for some type
<flux>
when the type was embedded inside another struct, it didn't quite work right
<hcarty>
I've been able to work around most of the boundaries I've come across. But sadly the easiest way generally seems to just bind the problem function(s) by hand.
<flux>
there was some missing parameter I needed for my conversion function to work or something that didn't get passed with the calls
<flux>
but the way I was thinking a camlidl-as-a-library could go that each project writes its own conversion routine using that, instead of all using the same camlidl
<flux>
perhaps eventually a commonality between all those projects could be found and a supercamlidl could be built :)
<blue_prawn>
if project starts to enhance camlidl, I would be happy to join it
<hcarty>
camlidl-produced output does require a (LGPL+linking exception, I think) runtime library
<Camarade_Tux>
restriction on output ? that makes it fast unusable
<hcarty>
So that could act as a base.
yziquel has joined #ocaml
<Camarade_Tux>
I have to try again camlidl, maybe this week-end
<Camarade_Tux>
but can it handle binding *gtk
<Camarade_Tux>
I mean, will it map to a lablgtk type ?
<hcarty>
Camarade_Tux: Probably not without some hand-holding
<Camarade_Tux>
I'd prefer it not to regerenate all lablgtk...
<hcarty>
I've found camlidl to be most useful for "easy" functions - parameters which are no more complicated than multi-dimensional arrays
Linktim_ has quit [Read error: 110 (Connection timed out)]
<flux>
camarade_tux, I don't see why they would map to lablgtk types
<flux>
lablgtk is after all hand-built and perhaps not even very common pattern is used there (although I haven't looked at lablgtk implementation)
<flux>
if you want to add functions to match new features of gtk, I wager it's easier to just write the missing functionality by hand than to hack camlidl to do the work for you
<flux>
of course, at certain point there might be a break-even :)
<Camarade_Tux>
flux, it would be for webkit-gtk, I don't know how it would handle it (it definitely needs to access the gtk headers)
<Camarade_Tux>
but as I said, I have to try another time
rpg has quit [Read error: 110 (Connection timed out)]
<Camarade_Tux>
I have a generator btw, it's sed magic ;)
jeremiah has joined #ocaml
r0bby has quit [Connection timed out]
yziquel has quit [Remote closed the connection]
rpg has joined #ocaml
jlouis has joined #ocaml
tomh has joined #ocaml
alexyk has quit []
Camarade_Tux has quit ["Leaving"]
tadej__ has quit [Read error: 110 (Connection timed out)]