adrien 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-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/
eikke has joined #ocaml
myx has joined #ocaml
_sivoais is now known as sivoais
lolcathost has quit [Quit: Lost terminal]
Playground has joined #ocaml
Playground is now known as lolcathost
r126l has quit [Remote host closed the connection]
r126l has joined #ocaml
leoncamel has joined #ocaml
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
dabd has joined #ocaml
<dabd> can anyone recommend me a good book from the following list: ocaml.org/books.html?
lolcathost has quit [Quit: leaving]
eikke has quit [Ping timeout: 255 seconds]
Playground has joined #ocaml
astertronistic has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
BobDole has joined #ocaml
Playground is now known as Catnaroek
leoncamel has quit [Ping timeout: 255 seconds]
Siphonblast has joined #ocaml
leoncamel has joined #ocaml
weie has joined #ocaml
wormphlegm has quit [Read error: Connection reset by peer]
wormphlegm has joined #ocaml
cdidd has joined #ocaml
myx has quit [Quit: ушёл]
lusory has quit [Quit: leaving]
jewel has joined #ocaml
Submarine has joined #ocaml
sampego has joined #ocaml
dabd has quit [Quit: Ex-Chat]
sampego has quit [Ping timeout: 245 seconds]
jewel has quit [Ping timeout: 265 seconds]
BiDOrD has joined #ocaml
sampego has joined #ocaml
BiDOrD_ has quit [Ping timeout: 264 seconds]
Cyanure has joined #ocaml
<flux> the new ocaml.org seems pretty
Snark has joined #ocaml
<orbitz> yeah, nice that ocaml is getting a fresh-face
djcoin has joined #ocaml
astertronistic has quit [Remote host closed the connection]
answer_42 has joined #ocaml
Siphonblast has quit [Read error: Connection reset by peer]
<testcocoon> adrien: did you have a look on camldebug stability issue?
cago has joined #ocaml
Siphonblast has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
mika1 has joined #ocaml
leoncamel has quit [Ping timeout: 252 seconds]
ftrvxmtrx has joined #ocaml
ontologiae has joined #ocaml
fusillia has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
Siphonblast has quit [Read error: Connection reset by peer]
<adrien> testcocoon: haven't been able to touch anything; working on the cross-compiler has taken all my time
mye has joined #ocaml
Siphonblast has joined #ocaml
thomasga has joined #ocaml
Siphonblast has quit [Remote host closed the connection]
ikaros has joined #ocaml
arquebus has joined #ocaml
|jbrown| has joined #ocaml
jbrown__ has quit [Ping timeout: 255 seconds]
mfill has joined #ocaml
eikke has joined #ocaml
mfill has quit [Quit: leaving]
mika1 has quit [Quit: Leaving.]
pango is now known as pangoafk
_andre has joined #ocaml
arquebus has quit [Remote host closed the connection]
BobDole has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
fantasticsid has joined #ocaml
Kakadu has joined #ocaml
mcclurmc_away is now known as mcclurmc
mika1 has joined #ocaml
Kakadu_ has joined #ocaml
<ousado> adrien: wihch/what cross-compiler are you working on?
<adrien_oww> windows
<adrien_oww> or more configurations but the architecture to cross-compile isn't there yet no matter the arch
<adrien_oww> (it's not a huge amount of work but I don't have much free time)
<ousado> ah I see
<ousado> so one can target windows from a sane place
larhat has quit [Quit: Leaving.]
<adrien_oww> yes
larhat has joined #ocaml
eikke has quit [Ping timeout: 255 seconds]
chambart has joined #ocaml
chambart has quit [Ping timeout: 260 seconds]
mcclurmc is now known as mcclurmc_away
mika1 has quit [Quit: Leaving.]
hkBst_ has joined #ocaml
hkBst has quit [Ping timeout: 248 seconds]
xlr has joined #ocaml
Catnaroek has quit [Ping timeout: 248 seconds]
Cyanure has quit [Remote host closed the connection]
mcclurmc_away is now known as mcclurmc
<matthewt> i think i have made some silly syntax error here but i can't see it, would anyone mind having a look? http://pastie.org/5552426
mika1 has joined #ocaml
<Kakadu> matthewt: Maybe you don't need comma?
<matthewt> ahhhh
<matthewt> i knew it. thanks
mika1 has quit [Quit: Leaving.]
Submarine has quit [Ping timeout: 272 seconds]
Yoric1 has joined #ocaml
hkBst_ has quit [Remote host closed the connection]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
eikke has joined #ocaml
hkBst_ has quit [Ping timeout: 255 seconds]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
beckerb has joined #ocaml
mika1 has joined #ocaml
larhat has quit [Quit: Leaving.]
hkBst_ has quit [Ping timeout: 246 seconds]
hkBst_ has joined #ocaml
|jbrown| has quit [Quit: Client exiting]
chambart has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
ttamttam has joined #ocaml
mika1 has quit [Quit: Leaving.]
milosn has joined #ocaml
milosn has quit [Ping timeout: 248 seconds]
mika1 has joined #ocaml
larhat has joined #ocaml
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
leoncamel has joined #ocaml
fusillia has quit [Ping timeout: 265 seconds]
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
fusillia has joined #ocaml
tane has joined #ocaml
tane has quit [Remote host closed the connection]
tane has joined #ocaml
hkBst_ has quit [Read error: Connection reset by peer]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
lusory has joined #ocaml
milosn has joined #ocaml
tane has quit [Quit: Verlassend]
justdit_ has joined #ocaml
justdit has quit [Ping timeout: 272 seconds]
tane has joined #ocaml
Kakadu_ has quit [Quit: Page closed]
fraggle_laptop has quit [Remote host closed the connection]
jewel has joined #ocaml
milosn has quit [Ping timeout: 244 seconds]
milosn has joined #ocaml
fantasticsid has quit [Remote host closed the connection]
smondet has joined #ocaml
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
ttamttam1 has joined #ocaml
f[x] has quit [Read error: Operation timed out]
ttamttam has quit [Ping timeout: 246 seconds]
hkBst_ has quit [Quit: Konversation terminated!]
fusillia has quit [Ping timeout: 246 seconds]
Playground has joined #ocaml
fayden has quit [Ping timeout: 265 seconds]
sampego has quit [Quit: Page closed]
larhat has quit [Quit: Leaving.]
fayden has joined #ocaml
tane has quit [Quit: Verlassend]
Kakadu has quit []
mika1 has quit [Quit: Leaving.]
Playground has quit [Quit: leaving]
lolcathost has joined #ocaml
cago has left #ocaml []
<testcocoon> adrien: I was just asking if you had time to look on it. BTW: I will also need to work on remote debugging with oqamldebug.
tac has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
thomasga has quit [Quit: Leaving.]
milosn has quit [Ping timeout: 252 seconds]
milosn has joined #ocaml
fayden has quit [Read error: Operation timed out]
justdit_ has quit [Remote host closed the connection]
<adrien> testcocoon: almost no free time during the week; only during some weekends
Yoric1 has quit [Ping timeout: 252 seconds]
ftrvxmtrx has quit [Quit: Leaving]
troydm has joined #ocaml
<troydm> where should i ask opam related questions?
<troydm> my installation suddenly started doing this
ttamttam1 has quit [Quit: ttamttam1]
thomasga has joined #ocaml
<Leonidas> hmm, when I build an executable with oasis/ocamlbuild, it calls the executable filename.{native,byte} and not like the section name in _oasis. Is there a way to fix this?
gnuvince has quit [Ping timeout: 252 seconds]
<adrien> I'm not aware of one
<adrien> as far as I'm concern, I don't install the output of any build system system-wide with "make install" without making a package
<adrien> and you shouldn't either :P
* adrien is going to remove ocamlbuild from yypkg's build system: its dependencies on posix tools on windows is simply too annoying
<adrien> I'll play with ocamlfind's conf directly to setup cross-compiler (will see how well it plays)
<Leonidas> well, I don't want to install it, but I think that my executables are named sensibly is actually a pretty basic requirement
<adrien> what's the issue with the suffix?
<adrien> it allows building both at once which is often pretty handy
eikke has quit [Ping timeout: 264 seconds]
Kakadu has joined #ocaml
gnuvince has joined #ocaml
fayden has joined #ocaml
chambart has quit [Read error: Operation timed out]
<Leonidas> adrien: well, I'd like to call the thing in a sensible way, without any stupid suffixes.
chambart has joined #ocaml
<Leonidas> actually, I think ocaml uses way too many suffices, like ocamlopt.opt :-/
<Leonidas> it looks just terribly messy
<adrien> ln -s _build/your_binary.native your_binary
<adrien> invoke: ocamlbuild -no-links
<Leonidas> yes, that's what I'll do.
<adrien> the ".opt" suffix for ocamlopt.opt is again not avoidable
<Leonidas> actually, it would be, if one assumed "ocamlopt" is the default compiler
<adrien> however you shouldn't get close to that and you should always use ocamlfind if you need to invoke the compiler (and in ocamlfind's config, you can set the default compiler)
<adrien> ocamlopt and ocamlc are the default compilers, yes
<Leonidas> yes, that's not a problem, it is just an opservation
<Leonidas> *observation, even :)
<adrien> ocamlopt.opt and ocamlc.opt aren't available everywhere
<Leonidas> but what currently bugs me is that my build script does not link in my C code
<adrien> explain a bit more
<Leonidas> So I have this oasis file: https://gist.github.com/4338843
<Leonidas> well, at least this is the relevant part
chambart has quit [Ping timeout: 246 seconds]
<Leonidas> and now I want to run ost_version_number which is defined in Archive_stubs.c
<Leonidas> CAMLprim value ost_version_number(value unit)
<Leonidas> src/launch.o: In function `camlLaunch__entry':
<Leonidas> /home/marek/ostreamer/_build/src/launch.ml:3: undefined reference to `ost_version_number'
<Leonidas> src/Archive.o: In function `camlArchive':
<Leonidas> (.data+0x10): undefined reference to `ost_version_number'
<Leonidas> collect2: error: ld returned 1 exit status
<Leonidas> this is what happens when I try to build it
<Leonidas> it looks like it does not link the C file, which is strange since it does compile it to Archive_stubs.o
<adrien> is your ocaml function named "ost_version_numerb"?
<adrien> number*
<Leonidas> I don't have such a function
<Leonidas> I just have this:
<Leonidas> external version_number: unit -> unit = "ost_version_number"
metasyntax has joined #ocaml
<adrien> you've put Archive_stubs.c in "CSources"?
<Leonidas> adrien: yes, as you can see in the gist. CSources: Archive_stubs.c
<adrien> why CCLib: -larchive?
<Leonidas> adrien: because ost_version_number calls archive_version_number from libarchive
<Leonidas> it is actually just meant as wrapper around the C function.
<adrien> Leonidas: ok, that's not an answer to the question you've asked but are you aware of https://forge.ocamlcore.org/projects/ocaml-archive/ ?
<Leonidas> adrien: yes I am, that's also where I copied the CCLib from
<adrien> ok
<Leonidas> but I don't want to work on that at the moment, I'd rather create my own binding
<adrien> ok
<adrien> can you clean the build and run ocamlbuild with -classic-display and show me the output?
<Leonidas> (nothing against ocaml-archive, I haven't used it, so I can't comment on its quality)
<Leonidas> setup.ml: unknown option `-classic-display'.
<Leonidas> not sure I follow :-/
<adrien> that's an option to ocamlbuild
<Leonidas> how to specify it?
<adrien> so when you run "ocaml setup.ml", it says it runs "ocamlbuild ......"
<Leonidas> as I don't call ocamlbuild
<adrien> copy-paste that and add -classic-display
<Leonidas> ah, alright!
<adrien> can you clean and run the command again?
<Leonidas> oh, sorry, will do
lolcathost has quit [Quit: leaving]
<adrien> 19:05 Leonidas : external version_number: unit -> unit = "ost_version_number"
lolcathost has joined #ocaml
<adrien> in which file is this?
<Leonidas> adrien: Archive.ml
<Leonidas> ost_version_number is in Archive_stubs.c
<Leonidas> and I call Archive.version_number from launch.ml
Yoric has joined #ocaml
<adrien> Leonidas: it should go in /lasgist 10
<adrien> blah :P
<wmeyer> hi!
<adrien> ¡lo
<Qrntz> ¡mid!
<Leonidas> adrien: lasgist 10?
<wmeyer> ;-)
<adrien> non-empty buffer and then power loss
<Leonidas> oh
<adrien> Leonidas: how do you refer to ost_version_number in your launch.ml file?
<Leonidas> let _ = print_endline (Printf.sprintf "ost-launch %d" Archive.version); Archive.version_number ()
<Leonidas> uh, yeah, imagine this with proper indent :)
<adrien> I need to see the whole code at once :P
<Leonidas> adrien: alright, I'll just paste everything
mcclurmc is now known as mcclurmc_away
emmanuelux has joined #ocaml
Attic has joined #ocaml
Attic has left #ocaml []
djcoin has quit [Quit: WeeChat 0.3.9.2]
eni has joined #ocaml
_andre has quit [Quit: leaving]
mye has quit [Quit: mye]
<adrien> I think I remember
<Leonidas> well, I posted to caml-list, maybe someone has an idea
<adrien> ocamlfind ocamlopt -a -cclib -lost -cclib -larchive src/Archive.cmx -o src/ost.cmxa
<adrien> and
<adrien> + ocamlfind ocamlopt -g -linkpkg src/Archive.cmx src/launch.cmx -o src/launch.native
<adrien> see the second line: it uses .cmx files
<adrien> (because it can)
<Leonidas> to be honest, I don't know what the difference is, ocamls build system is completely alien to me :)
<adrien> cmx = object file
<adrien> cmxa = library file
<adrien> afaiu, the issue is that "Library" doesn't define a library that can be used directly from inside your project
<Leonidas> so, it looks like in the -linkpkg line, it is missing to link with Archive_stubs.o?
<adrien> because it has no reason to use it
<adrien> rather: it knows of no reason to use it
<Leonidas> adrien: heh
<Leonidas> true
<Leonidas> I looked up at ocaml-archive and realized that it has a BuildDepends line for the test executables
emmanuelux has quit [Remote host closed the connection]
<Leonidas> when I add BuildDepends: ost in ost-launch it works fine
<adrien> =)
emmanuelux has joined #ocaml
<Kakadu> Leonidas: it is your message in caml-list about linking error?
<Leonidas> Kakadu: yes, I just added a follow-up with the solution for future reference
<Kakadu> yeah, I see
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
jamii has joined #ocaml
jamii has quit [Ping timeout: 264 seconds]
ontologiae has joined #ocaml
jewel has quit [Ping timeout: 255 seconds]
jamii has joined #ocaml
mcclurmc has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Ping timeout: 252 seconds]
dmilith has quit [Quit: ZNC - http://znc.in]
milosn_ is now known as milosn
dmilith has joined #ocaml
gnuvince has quit [Ping timeout: 265 seconds]
gnuvince has joined #ocaml
gnuvince has quit [Ping timeout: 264 seconds]
Cyanure has joined #ocaml
ontologiae has quit [Read error: Operation timed out]
lolcathost has quit [Quit: leaving]
lolcathost has joined #ocaml
weie has quit [Quit: Leaving...]
<fasta> adrien: which build system do you use when you can choose?
Submarine has quit [Remote host closed the connection]
<adrien> I find ocamlbuild effective; and now through oasis
<adrien> it has some issues but it works fairly well
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
eikke has joined #ocaml
eikke has quit [Ping timeout: 260 seconds]
ski has quit [Ping timeout: 252 seconds]
ski has joined #ocaml
tac has left #ocaml []
<Leonidas> adrien: you are not CamaradeTux by any chance?
<adrien> Leonidas: I am
<Leonidas> oh, the world is small. I know your nick from somewhere. HN or something :)
<adrien> hah, yeah, I've had to keep the nickname on several places
gnuvince has joined #ocaml
<Leonidas> fasta: the advantage of oasis is that it is potentially able to generate makefiles for other build systems
<Leonidas> also: writing the makefiles is not remotely as painful als OMake
larhat has joined #ocaml
Kakadu has quit []
larhat has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
gnuvince has quit [Ping timeout: 265 seconds]
Snark has quit [Quit: Quitte]
answer_42 has quit [Ping timeout: 276 seconds]
gnuvince has joined #ocaml
ohama has quit [Remote host closed the connection]
ohama has joined #ocaml
eni has quit [Ping timeout: 246 seconds]
xavierm02 has joined #ocaml
<xavierm02> hey
<xavierm02> I have this type
<xavierm02> type base_boolean_expression =
<xavierm02> | Var of int
<xavierm02> | Not of base_boolean_expression
<xavierm02> | And of base_boolean_expression list
<xavierm02> | Or of base_boolean_expression list
<xavierm02> ;;
<xavierm02> And I want to create the trees from strings such as ¬((¬1∨(3∨5))∧0∧(((3∧3)∨3)∧(3∧3)))
<xavierm02> How can I do that?
<xavierm02> I know ocaml has built-in things to parse strings
<xavierm02> but from what I understood, it'd work if And was base_boolean_expression * base_boolean_expression but in my case it won't becuase I have base_boolean_expression list
gnuvince has quit [Ping timeout: 250 seconds]
Cyanure has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 252 seconds]
<troydm> i can't still figure out this error with opam
<troydm> :(
<troydm> no wait
<troydm> it works now
<troydm> strange really strange
<troydm> and now it doesn't work again
smondet has quit [Ping timeout: 255 seconds]
<troydm> hmm it seems it's related to my working directory
<troydm> strange indeed
<troydm> https://github.com/OCamlPro/opam/issues/342 <- this issue details
gnuvince has joined #ocaml
gnuvince has quit [Client Quit]
gnuvince_ has joined #ocaml
xavierm02 has quit [Quit: Leaving]
mcclurmc has quit [Quit: Leaving.]
ontologiae has joined #ocaml
Yoric has joined #ocaml
tane has joined #ocaml
Siphonblast has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
jamii has quit [Ping timeout: 244 seconds]
gnuvince_ is now known as gnuvince
thomasga has quit [Quit: Leaving.]
ikaros has quit [Quit: Ex-Chat]
ousado has quit [Remote host closed the connection]
milosn has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
milosn has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
emmanuelux has quit [Remote host closed the connection]
fayden has quit [Quit: Bye]
cdidd has quit [Remote host closed the connection]