mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
Amorphous has joined #ocaml
alp has joined #ocaml
Alpounet has quit [Read error: No route to host]
tmaedaZ has quit [Ping timeout: 258 seconds]
tmaedaZ has joined #ocaml
alp has quit [Quit: ``Do what you think you can't do.'']
Alpounet has joined #ocaml
MrEvil has quit [Ping timeout: 248 seconds]
_unK has quit [Remote host closed the connection]
Shoggoth has joined #ocaml
struktured has joined #ocaml
tmaedaZ has quit [Ping timeout: 240 seconds]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 258 seconds]
boscop_ has left #ocaml []
tmaedaZ has joined #ocaml
olegfink has quit [Read error: Operation timed out]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
derdon has quit [Quit: leaving]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
drk-sd has quit [Quit: dodo]
Shoggoth has quit [Quit: Ex-Chat]
enthymeme has joined #ocaml
caligula_ has joined #ocaml
caligula__ has quit [Ping timeout: 264 seconds]
Associat0r has quit [Quit: Associat0r]
myu2 has joined #ocaml
Chile has quit [Quit: leaving]
rwmjones has quit [Ping timeout: 276 seconds]
valross has quit [Remote host closed the connection]
rwmjones has joined #ocaml
bmp has joined #ocaml
ygrek has joined #ocaml
valross has joined #ocaml
olegfink has quit [Quit: WeeChat 0.2.6.3]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
bmp has quit [Read error: Connection reset by peer]
bmp has joined #ocaml
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
aja has joined #ocaml
bzzbzz has quit [Quit: leaving]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
ulfdoz has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
myu2 has quit [Ping timeout: 276 seconds]
valross has quit [Remote host closed the connection]
myu2 has joined #ocaml
Yoric has joined #ocaml
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
ulfdoz has quit [Ping timeout: 240 seconds]
enthymeme has quit [Quit: g'night]
yakischloba has quit [Quit: Leaving.]
ftrvxmtrx has quit [Quit: Leaving]
sfuentes has quit [Ping timeout: 264 seconds]
sfuentes has joined #ocaml
ttamttam has joined #ocaml
_zack has joined #ocaml
f[x] has joined #ocaml
aja has quit [Read error: Connection reset by peer]
Yoric has quit [Quit: Yoric]
ygrek has quit [Ping timeout: 245 seconds]
ftrvxmtrx has joined #ocaml
joewilliams is now known as joewilliams_away
ikaros has joined #ocaml
oc13 has joined #ocaml
Yoric has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
f[x] has quit [Ping timeout: 248 seconds]
ttamttam has quit [Quit: Leaving.]
ttamttam has joined #ocaml
f[x] has joined #ocaml
matthieu has quit [Remote host closed the connection]
barismetin has quit [Remote host closed the connection]
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
ikaros has joined #ocaml
humasect has quit [Quit: Leaving...]
pimmhogeling has joined #ocaml
Associat0r has joined #ocaml
barismetin has quit [Remote host closed the connection]
ikaros has quit [Quit: Leave the magic to Houdini]
barismetin has joined #ocaml
barismetin has quit [Remote host closed the connection]
ygrek has joined #ocaml
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
mrvn has quit [Ping timeout: 264 seconds]
mrvn has joined #ocaml
sepp2k has joined #ocaml
inkbottle has joined #ocaml
inkbottle has left #ocaml []
barismetin has quit [Remote host closed the connection]
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
munga has joined #ocaml
jonafan_ has joined #ocaml
jonafan has quit [Ping timeout: 264 seconds]
oc13 has quit [Quit: Leaving.]
_andre has joined #ocaml
oc13 has joined #ocaml
munga has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 245 seconds]
sepp2k has quit [Ping timeout: 246 seconds]
oc13 has quit [Ping timeout: 246 seconds]
ikaros has joined #ocaml
oc13 has joined #ocaml
ikaros has quit [Client Quit]
th5 has joined #ocaml
ikaros has joined #ocaml
sepp2k has joined #ocaml
sepp2k has quit [Quit: Leaving.]
pimmhogeling has quit [Remote host closed the connection]
ftrvxmtrx has quit [Quit: Leaving]
myu2 has quit [Ping timeout: 264 seconds]
ftrvxmtrx has joined #ocaml
Yoric has quit [Quit: Yoric]
fraggle_ has joined #ocaml
pimmhogeling has joined #ocaml
Yoric has joined #ocaml
pimmhogeling has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
bmp has quit [Quit: bmp]
ygrek has quit [Ping timeout: 245 seconds]
pimmhogeling has joined #ocaml
munga has joined #ocaml
munga has quit [Client Quit]
munga has joined #ocaml
munga has quit [Read error: Connection reset by peer]
munga has joined #ocaml
_unK has joined #ocaml
spearalot has joined #ocaml
Submarine has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
f[x] has joined #ocaml
SEcki has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
linus5 has joined #ocaml
pimmhogeling has quit [Ping timeout: 265 seconds]
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
barismetin has quit [Remote host closed the connection]
ygrek has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
f[x] has quit [Ping timeout: 268 seconds]
ulfdoz has joined #ocaml
drk-sd has joined #ocaml
spearalot has quit [Quit: -arividerchi]
fremo_ has quit [Ping timeout: 276 seconds]
albacker has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
ulfdoz has joined #ocaml
eb4890 has joined #ocaml
Demitar has quit [Quit: Bubbles!]
<eb4890> Does anyone happen to know what ~ means before an argument of a function? E.g. let rec map ~f xs =
joewilliams_away is now known as joewilliams
<Camarade_Tux> eb4890: it's for labelled arguments
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
barismetin has quit [Remote host closed the connection]
<eb4890> Thanks. Google doesn't like searching for ~'s.
<Camarade_Tux> heh, no surprise ;-)
yakischloba has joined #ocaml
jonafan_ is now known as jonafan
avsm has joined #ocaml
thieusoai has joined #ocaml
avsm has quit [Quit: Leaving.]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
ulfdoz_ has quit [Client Quit]
ulfdoz has joined #ocaml
ftrvxmtrx has joined #ocaml
_zack has quit [Quit: Leaving.]
Associat0r has quit [Quit: Associat0r]
thieusoai has quit [Remote host closed the connection]
yakischloba has quit [Quit: Leaving.]
th5 has quit [Quit: th5]
robthebob has joined #ocaml
<robthebob> hey all, i've been trying to compile my own distribution of ocaml as i can't install batteries on this machine (no root access)
<robthebob> i've got what seems to be all the way, but topfind doesn't work - File /home/scratch/local/lib/ocaml/findlib/findlib.cma is not a bytecode object file
<robthebob> from googling this seems to be a result of it being compiled with the older version of the compiler under /usr
<robthebob> is there a way of checking the version that a bytecode file was compiled with?
Submarine has quit [Quit: Leaving]
<robthebob> grr, recompiled that and it works but now threads.posix doesn't seem to exist
Yoric has quit [Quit: Yoric]
ttamttam has quit [Quit: Leaving.]
pimmhogeling has joined #ocaml
yakischloba has joined #ocaml
pimmhogeling has quit [Ping timeout: 265 seconds]
hyperboreean has quit [Ping timeout: 258 seconds]
struktured_ has joined #ocaml
struktured has quit [Quit: Laptop suspended.]
derdon has joined #ocaml
hyperboreean has joined #ocaml
albacker has quit [Quit: Leaving]
enthymeme has joined #ocaml
Submarine has joined #ocaml
pimmhogeling has joined #ocaml
ztfw has joined #ocaml
SEcki has quit [Remote host closed the connection]
SEcki has joined #ocaml
krankkatze has joined #ocaml
chupish has joined #ocaml
chupish has left #ocaml []
eb4890 has quit [Ping timeout: 245 seconds]
ikaros has joined #ocaml
joewilliams is now known as joewilliams_away
Yoric has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
eb4890 has joined #ocaml
humasect has joined #ocaml
jcaose has joined #ocaml
itewsh has joined #ocaml
bmp has joined #ocaml
sepp2k has joined #ocaml
Associat0r has joined #ocaml
bmp has quit [Ping timeout: 240 seconds]
yakischloba has quit [Quit: Leaving.]
yakischloba has joined #ocaml
yakischloba has quit [Remote host closed the connection]
Alpounet has quit [Read error: Operation timed out]
jeddhaberstro has joined #ocaml
_unK has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 245 seconds]
Alpounet has joined #ocaml
oc13 has quit [Ping timeout: 260 seconds]
_andre has quit [Quit: *puff*]
humasect has quit [Quit: Leaving...]
bmp has joined #ocaml
fraggle_ has quit [Ping timeout: 248 seconds]
Demitar has joined #ocaml
jcaose has left #ocaml []
joewilliams_away is now known as joewilliams
yakischloba has joined #ocaml
fraggle_ has joined #ocaml
avsm has joined #ocaml
enthymeme has joined #ocaml
thieusoai has joined #ocaml
maskd has joined #ocaml
itewsh has quit [Quit: Quitte]
ulfdoz has quit [Ping timeout: 245 seconds]
Yoric has quit [Quit: Yoric]
aij has quit [Read error: Operation timed out]
humasect has joined #ocaml
maskd has quit [Remote host closed the connection]
eb4890 has quit [Ping timeout: 265 seconds]
thieusoai has quit [Remote host closed the connection]
maskd has joined #ocaml
aij has joined #ocaml
valross has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
joewilliams is now known as joewilliams_away
dv_ has joined #ocaml
<dv_> hi
<dv_> is there any way to get ocaml code to compile for arm processors?
<humasect> yes ... but i do not myself know how exactly=)
<dv_> cause I do program stuff for embedded devices in my spare time
<dv_> and arm support has traditionally been a stumbling block
<dv_> (linux arm eabi that is)
<humasect> ah, it is supported i am almost certain .. even it can output C which can be compiled then for arm as well
<humasect> but i have read in changelogs the other day about arm native code support (maybe even iphone but im not sure)
<dv_> it can output C?
<thelema> I don't think the ocaml compiler outputs C, even on the ARM platform, but the mainline compiler definitely has an arm backend
<thelema> It's not easy to get it to cross-compile, though, IIRC
<humasect> ah i thought that ocaml can output C
<thelema> as of 1 year ago, Ocaml supports the arm EABI and soft floating-point, but the code is still stuck in the 3.12 branch.
<dv_> apparently, ocamlopt can output c source using -output-obj
<thelema> humasect: as far as I know, it only outputs assembly.
<dv_> though it doesnt seem to work
<humasect> and bytecode
<thelema> -output-obj outputs a c-compatible .o file
<thelema> this is not compilable C code.
<dv_> yes, but not C source
<krankkatze> #da-c
<krankkatze> sry
<dv_> ah, ocamlc does
<dv_> ocamlc -output-obj test.ml -o testml.c
sepp2k has quit [Ping timeout: 252 seconds]
<thelema> bah, it outputs some trivial C that contains the bytecode program and a stub to call the bytecode interpreter.
jonafan has quit [Read error: Connection reset by peer]
<dv_> yeah. not the actual program
jeddhaberstro has quit [Read error: Connection reset by peer]
joewilliams_away is now known as joewilliams
<mrvn> So you are looking for an ocaml -> C source transformation?
krankkatze has quit [Remote host closed the connection]
<dv_> yes
<dv_> so that I can then compile the C code to an ARM binary
<dv_> since apparently a direct ocaml -> arm compile is not trivial to do, and unfinished
fschwidom has joined #ocaml
fschwidom has quit [Remote host closed the connection]
<thelema> dv_: the svn HEAD of the ocaml compiler should work for you to get ARM directly.
<thelema> it's intended to be run on an arm platform, though.
<humasect> hmm..
derdon has quit [Quit: Lost terminal]
humasect has quit [Ping timeout: 258 seconds]
Amorphous has quit [Ping timeout: 246 seconds]