adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org and http://caml.inria.fr | http://ocaml.org/releases/4.02.0.html | Public channel logs at http://irclog.whitequark.org/ocaml
philtom has joined #ocaml
paddymahoney has quit [Ping timeout: 245 seconds]
MercurialAlchemi has quit [Ping timeout: 245 seconds]
philtor has joined #ocaml
ustunozg_ has quit [Remote host closed the connection]
troutwine is now known as troutwine_away
philtor has quit [Ping timeout: 246 seconds]
ontologiae has quit [Ping timeout: 272 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
shinnya has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
q66 has quit [Quit: Leaving]
WraithM has quit [Ping timeout: 268 seconds]
struktured has quit [Ping timeout: 272 seconds]
oriba has quit [Quit: oriba]
esden has quit [Ping timeout: 260 seconds]
gperetin has quit [Ping timeout: 260 seconds]
gperetin has joined #ocaml
esden has joined #ocaml
typedlambda has quit [Ping timeout: 250 seconds]
spacebat has joined #ocaml
typedlambda has joined #ocaml
shinnya has quit [Ping timeout: 245 seconds]
malo has quit [Ping timeout: 240 seconds]
Lutin` has joined #ocaml
oriba has joined #ocaml
oriba has quit [Read error: Connection reset by peer]
Puffin has quit [Ping timeout: 246 seconds]
WraithM has joined #ocaml
Lutin` is now known as HEYGUYSIMAWAYFYI
HEYGUYSIMAWAYFYI is now known as Lutin`
WraithM has quit [Ping timeout: 260 seconds]
kerneis has quit [Ping timeout: 240 seconds]
kerneis has joined #ocaml
samrat has joined #ocaml
philtom has quit [Ping timeout: 268 seconds]
bytbox has quit [Remote host closed the connection]
seanmcl has joined #ocaml
seanmcl has quit [Client Quit]
troutwine_away is now known as troutwine
schlegel has joined #ocaml
darkf_ has joined #ocaml
claudiuc has joined #ocaml
troutwine is now known as troutwine_away
sgnb` has joined #ocaml
lopex_ has joined #ocaml
_tca_ has joined #ocaml
lopex_ is now known as Guest43929
teiresias has quit [Ping timeout: 252 seconds]
Khady_ has joined #ocaml
teiresias has joined #ocaml
ousado_ has joined #ocaml
jeroud_ has joined #ocaml
BiDOrD has joined #ocaml
emmanueloga_ has joined #ocaml
_twx__ has joined #ocaml
chris2_ has joined #ocaml
xiaolin_ has joined #ocaml
jerith_ has joined #ocaml
Sizur1 has joined #ocaml
nickmeha1ry has joined #ocaml
mrpantou1le has joined #ocaml
misv_ has joined #ocaml
Derander_ has joined #ocaml
teiresias has quit [*.net *.split]
Khady_ has quit [*.net *.split]
pango has quit [*.net *.split]
lbaan has quit [*.net *.split]
asmanur has quit [*.net *.split]
def` has quit [*.net *.split]
gereedy_ has joined #ocaml
Wandering_Glitch has joined #ocaml
Wandering_Glitch has quit [Changing host]
Wandering_Glitch has joined #ocaml
Lutin` has quit [*.net *.split]
spacebat has quit [*.net *.split]
darkf has quit [*.net *.split]
claudiuc_ has quit [*.net *.split]
jbrown has quit [*.net *.split]
zozozo has quit [*.net *.split]
mrpantoufle has quit [*.net *.split]
chris2 has quit [*.net *.split]
gereedy has quit [*.net *.split]
libertas has quit [*.net *.split]
jerith has quit [*.net *.split]
ousado has quit [*.net *.split]
Sizur has quit [*.net *.split]
xiaolin has quit [*.net *.split]
rwmjones has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
misv has quit [*.net *.split]
_twx_ has quit [*.net *.split]
Khady has quit [*.net *.split]
sgnb has quit [*.net *.split]
WanderingGlitch has quit [*.net *.split]
ggherdov has quit [*.net *.split]
lopex has quit [*.net *.split]
samebchase has quit [*.net *.split]
jeroud has quit [*.net *.split]
olasd has quit [*.net *.split]
_tca has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
BiDOrD_ has quit [*.net *.split]
tianon has quit [*.net *.split]
Derander has quit [*.net *.split]
samebchase has joined #ocaml
Wandering_Glitch is now known as WanderingGlitch
jbrown has joined #ocaml
jeroud_ is now known as jeroud
spacebat has joined #ocaml
Guest43929 is now known as lopex
Sizur1 has left #ocaml [#ocaml]
tianon has joined #ocaml
teiresias has joined #ocaml
pango has joined #ocaml
def` has joined #ocaml
lbaan has joined #ocaml
Khady_ has joined #ocaml
asmanur has joined #ocaml
libertas_ has joined #ocaml
tianon has quit [Changing host]
tianon has joined #ocaml
zozozo has joined #ocaml
schlegel is now known as Lutin`
_tca_ is now known as _tca
emmanueloga_ is now known as emmanueloga
olasd has joined #ocaml
rwmjones has joined #ocaml
ggherdov_ has joined #ocaml
ggherdov_ is now known as ggherdov
samrat has quit [Quit: Computer has gone to sleep.]
teiresias has quit [Changing host]
teiresias has joined #ocaml
darkf_ is now known as darkf
samrat has joined #ocaml
waneck_ has quit [Read error: No route to host]
Sizur1 has joined #ocaml
<Sizur1> guys, i'm new with ocaml and I need help installing eliom. Is anybody up for helping?
samebchase has quit [Ping timeout: 276 seconds]
xaimus has quit [Ping timeout: 276 seconds]
samebchase has joined #ocaml
xaimus has joined #ocaml
<Sizur1> opam is very unstable. some libs that it installed before, it downgrades on upgrade and then also fails to install and fails to recover
abbe has quit [Read error: Connection reset by peer]
abbe has joined #ocaml
<Sizur1> i dont understand this. why with the most advanced module system i i cannot install a module...
jao` has quit [Ping timeout: 260 seconds]
<Drup> which version of opam ?
samrat has quit [Quit: Computer has gone to sleep.]
<Drup> also, you should install aspcud too, opam will use it for dependency solving and it's going to be much much better
gperetin has quit [Ping timeout: 260 seconds]
abbe_ has joined #ocaml
maikowblue has joined #ocaml
gperetin has joined #ocaml
abbe has quit [Ping timeout: 260 seconds]
axiles has joined #ocaml
dnm_ has joined #ocaml
Derander_ has quit [Ping timeout: 245 seconds]
dnm has quit [Ping timeout: 245 seconds]
maikowblue has quit [Quit: .]
clog has quit [Ping timeout: 268 seconds]
Derander has joined #ocaml
pango_ has joined #ocaml
bytbox has joined #ocaml
pango has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
siddharthv_away is now known as siddharthv
araujo has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
Simn has joined #ocaml
araujo has joined #ocaml
samrat has joined #ocaml
dubst3pp4 has joined #ocaml
Lutin` has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 272 seconds]
dubst3pp4 has quit [Quit: Ĝis la revido!]
rand000 has joined #ocaml
dnm_ has quit [Ping timeout: 264 seconds]
clog has joined #ocaml
zpe has joined #ocaml
kaustuv has joined #ocaml
ygrek has joined #ocaml
ebzzry has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
<companion_cube> o/
rand000 has quit [Ping timeout: 255 seconds]
pjdelport has joined #ocaml
AltGr has joined #ocaml
jerith_ is now known as jerith
hexo is now known as wao_
thomasga has joined #ocaml
ontologiae has joined #ocaml
cago has joined #ocaml
madroach_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
zarul has quit [Ping timeout: 255 seconds]
Kakadu has joined #ocaml
<kaustuv> Looks like HeVeA has messed up the HTML version of the 4.0.2 manual:
<kaustuv> err, 4.2.0
avsm has joined #ocaml
yacks has quit [Remote host closed the connection]
<kaustuv> Also, it seems that open! is now redundant with open [@ocaml.warning "-44"]
<kaustuv> actually, I wonder what this would do:
<kaustuv> open! Foo [@@warning "+44"]
bezirg has joined #ocaml
<whitequark> [@@warning] takes precedence
abbe_ has quit [Ping timeout: 260 seconds]
abbe has joined #ocaml
avsm has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
<kaustuv> Are attributes ignored by the toplevel?
<whitequark> no
<whitequark> but toplevel doesn't show warnings
<flux> hmm, it does?
<whitequark> flux: try it
<whitequark> oh. hm. it does.
<flux> well I don't know about that and I don't have 4.2.0 around but at least match 42 with 42 -> ();; with an older ocaml causes a warning to be displayed
<kaustuv> But if I run ocaml -w "@A", then this is accepted:
<kaustuv> let x =42 [@@deprecated] ;;
<whitequark> try x;; after that
<whitequark> oh, hm
<whitequark> # let x =42 [@@deprecated] ;;
<whitequark> Error: Some fatal warnings were triggered (1 occurrences)
<whitequark> this is weird -_-'
<kaustuv> also it seems that attributes are not allowed infix for let declarations, only for let ... in expressions
BitPuffin has joined #ocaml
<kaustuv> i.e., I cannot say let [@@deprecated] x = 42;;, but I can say let [@deprecated] x = 42 in x ;;
<flux> how about let x [@@deprecated] = 42; ?
<whitequark> let x [@deprecated] = 1;;
<kaustuv> If I say: let x [@foo x] = 42 ;; -- then the x in [@foo x] has nothing to do with the x being defined?
<kaustuv> It must be, because I can say let x [@foo y] = 42 ;;
<kaustuv> (where there is no y in scope)
wao_ is now known as hexo
<kaustuv> -dtypedtree confirms -- it's just an identifier
hhugo has joined #ocaml
<whitequark> just an identifier.
<whitequark> whatever is inside annotations has no relation to whatever is outside
zarul has joined #ocaml
<kaustuv> I'm pleasantly surprised that this works: Printf.printf {|%s|} "foo" ;;
<rom1504> that's ugly
<rom1504> what does it do ?
<kaustuv> Since when has this been legal: type t = () of int ;;
<whitequark> recently
<flux> it's been legal for a while I think? 3.12.1 supports it.
<flux> also true and false work
<dmbaturin> In 4.01 "let p = () 3 ;;" produces "val p : t = () 3".
<flux> but I think there was an issue on mantis about removing that.
<whitequark> kaustuv: "type foo = true of bool;; true true;;"
yacks has joined #ocaml
<kaustuv> type t = .. ;; type t += true ;; type t += false = true ;;
dnm has joined #ocaml
<kaustuv> Ah, a real bug!
<kaustuv> % rlwrap ocaml [2]
<kaustuv> OCaml version 4.02.0
<kaustuv> # __MODULE__ ;;
<kaustuv> Fatal error: exception Invalid_argument("Filename.chop_extension")
<kaustuv> %
<whitequark> report it.
<kaustuv> already on it
<flux> what does __MODULE__ do if it worked?
<flux> expand to current module name?
<whitequark> yes
<flux> as inferred from the module name or does it tell the module name of the innermost current module?
<flux> from the file name I mean..
<whitequark> I... don't actually know
<kaustuv> from the file name, except I don't know what -impl, -intf, etc. do
<flux> hmm, these are probably new then? documented at http://caml.inria.fr/pub/docs/manual-ocaml/libref/Pervasives.html
rand000 has joined #ocaml
<flux> (__MODULE__ returns the module name of the file being parsed by the compiler.)
<flux> now that ocaml gets multicore-runtime and someone(TM) would implement defunctorization, we are ready to take on c++ ;-)
ygrek has joined #ocaml
<flux> were there some essential modules that didn't work with 4.02.0 yet? wondering if I should upgrade my opam :)
avsm has joined #ocaml
ggole has joined #ocaml
dnm has quit []
chris2_ is now known as chris2
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
mort___ has joined #ocaml
Valdo has joined #ocaml
<Kakadu> Do we have up to dated manuals about crosscompiling OCaml code for ARM?
<whitequark> I wonder if we could have an OPAM switch
dsheets has joined #ocaml
<whitequark> what's the state of cross-compiler patchset?
<Kakadu> no idea
<whitequark> it's going to be a pain with syntax extensions and so
AltGr has left #ocaml [#ocaml]
rand000 has quit [Ping timeout: 272 seconds]
<Kakadu> I do not need syntax extension
<Kakadu> s*
<Kakadu> I only want to interpret some bytecode on ARM
<whitequark> you need it for proper cross-compilation
<Kakadu> And this bytecode should be able call some C functions
AltGr has joined #ocaml
ustunozgur has joined #ocaml
BitPuffin has quit [Ping timeout: 245 seconds]
lbaan has quit [Quit: sleeping device]
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
<flux> I did it once for powerpc, perhaps in the 3.10.x era, it wasn't overly difficult iirc
<flux> just getting bytecode and the standard library
<Kakadu> btw, can OCaml thread be suspended without calling Thread.yield explicitly?
<flux> an infinite loop will be suspended, yes
fraggle_laptop has joined #ocaml
<whitequark> wow, I just discovered a very simple way to cross-compile OCaml
ygrek has quit [Ping timeout: 245 seconds]
<whitequark> oh, hm, not quite
<whitequark> anyway, the idea is that you need qemu-binfmt to allow running cross-compiled binaries in configure script
<flux> nice
<whitequark> it built ocamlrun, but the stdlib fails, since I don't have the arm dynamic linker
<whitequark> oh, hrm, this won't actually be a cross-compiler
<flux> well, no, but pretty usable for the same purpose?
<flux> but you need to have native arm C compiler around to use it?
<flux> or maybe not
<whitequark> you do
<flux> can't you just use native cross-compiler?
<whitequark> sure, anything that runs and generates cross-code works
<whitequark> okay, if I tell it to -no-shared-libs -libs -static, it works
<whitequark> I uhhhh don't have any ARM boards handy
<flux> not even you cell phone?
<whitequark> I don't have a smartphone
<whitequark> shocking, I know
<flux> ..it is
<whitequark> I have a MIPS board, but not a MIPS cross-compiler.
<flux> and I bet your rotary phone doesn't have arm either. badamtish.
<whitequark> I have a dumbphone, but it doesn't run linux (I think?)
<dmbaturin> Setting up a cross-compiler is more pain in the butt than it probably should,
<dmbaturin> + be
ygrek has joined #ocaml
<whitequark> gcc is trivial
<flux> in any case, maemo and meego projects used scratchbox for cross compiling
<flux> with some success
<whitequark> yes, that's what I was thinking about
<whitequark> when using qemu here
<flux> meego-project tried scratchbox2, but it didn't catch I think.. but maybe it would've worked and it would be more convenient, there was just too much legacy stuff around..
<dmbaturin> I understand whitequark actually. When my symbian phone does, I'll rather go with a dumbphone than use android or iOS.
<dmbaturin> * dies
<whitequark> I used to have a tablet (nexus 7) and I only ever used it for OsmAnd
<whitequark> but last time I travelled, the screen cracked
<flux> dmbaturin, but wait! there's an alternative! jolla! well, at least if you don't live in the USA
<whitequark> flux: it's not even FOSS
<flux> true, but at least it's the most linux smartphone around
<whitequark> it's more that I don't think smartphones are necessary as a concept
<whitequark> for that matter I don't even use my dumbphone to call people, I use SIP on my laptop for that. it's for emergencies and 2FA
<dmbaturin> I use my phone to, uhm, actually make calls. I want it to have UI friendly to making calls and not to eat all the battery in less than 24 hours. ;; (* end offtopic *)
<whitequark> that too
<adrien> bytecode doesn't need specific cross-compiler stuff
<whitequark> adrien: Sys.word_size ?
<adrien> you only need ocamlrun which is C and is the first thing built
<Kakadu> Where can I get instructions how to build ocamlrun for ARM?
rand000 has joined #ocaml
<adrien> just pass the right cross-compiler to configure
<adrien> you'll maybe have to lie to the tests if they try to run the output of the cross-compiler but that's it
<whitequark> adrien: ... and watch it fall over, because it doesn't have the hardcoded sizeofs for ARM
<adrien> make world will fail at some point but late enough for you to have ocamlrun
<whitequark> Kakadu: do you run debian? if yes, see the patch above + apt-get install qemu-binfmt
<adrien> you build ocamlrun with the cross, why would that fail?
<whitequark> adrien: configure fails
<adrien> nothing big to change
<adrien> and I think configure in 4.02 should succeed
<whitequark> I just tried it.
<adrien> in any case, I don't think there's a lot of work behind it
<adrien> at most it's about skipping stuff in the configure
<adrien> not adding new things or changing existing tests
<dmbaturin> Raspbian has ocaml 3.12 in the repos.
<adrien> and gasche, any news about the ocamlbuild split? :) (yeah, I'm _that_ annoying)
libertas_ is now known as libertas
ygrek has quit [Ping timeout: 268 seconds]
<flux> [ERROR] The compilation of lwt.2.4.5 failed. :(
<whitequark> odd
<whitequark> the error?
<flux> E: Cannot find findlib package react
<flux> E: Failure("1 configuration error")
<flux> so, dependencies?
<flux> my opam install is still going on, so I cannot try remedying that yet
<whitequark> huh, it built entirely
<whitequark> I'm actually not sure what did I do this for
BitPuffin has joined #ocaml
<flux> hmm, actually I do have react installed..
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
thomasga has quit [Quit: Leaving.]
claudiuc has quit [Remote host closed the connection]
ustunozgur has quit [Remote host closed the connection]
<flux> I suppose it's technically true 'opam install ..78 packages..' failed, but if I saw right, it was only two of those packages :)
thomasga has joined #ocaml
ustunozg_ has joined #ocaml
<flux> react doesn't seem to get installed with ocamlfind, that's why lwt doesn't find it
<adrien> (...)
<flux> ..though it does come with its own META file.. maybe I should start over from scratch :)
samrat has quit [Quit: Computer has gone to sleep.]
rand000 has quit [Quit: leaving]
teiresia1 has joined #ocaml
teiresias has quit [Ping timeout: 252 seconds]
<flux> depending on package, they are either at .opam/4.02.0/lib or .opam/4.02.0/ocaml/site-lib/ or both..
samebchase has quit [Ping timeout: 252 seconds]
samebchase has joined #ocaml
asmanur has quit [Ping timeout: 252 seconds]
asmanur_ has joined #ocaml
samebchase has quit [*.net *.split]
Derander has quit [*.net *.split]
tianon has quit [*.net *.split]
libertas has quit [*.net *.split]
Khady_ has quit [*.net *.split]
def` has quit [*.net *.split]
ustunozg_ has quit [Remote host closed the connection]
Derander has joined #ocaml
samebchase has joined #ocaml
tianon has joined #ocaml
Khady_ has joined #ocaml
libertas has joined #ocaml
def` has joined #ocaml
siddharthv is now known as siddharthv_away
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
sgnb has joined #ocaml
tane has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
samrat has joined #ocaml
sgnb` has quit [Write error: Broken pipe]
robink has quit [Remote host closed the connection]
samrat has quit [Client Quit]
oriba has joined #ocaml
robink has joined #ocaml
ustunozgur has joined #ocaml
fraggle_laptop has quit [Ping timeout: 245 seconds]
ustunozgur has quit [Ping timeout: 272 seconds]
teiresia1 has quit [Changing host]
teiresia1 has joined #ocaml
teiresia1 is now known as teiresias
samrat has joined #ocaml
shinnya has joined #ocaml
struktured has joined #ocaml
thomasga has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 240 seconds]
chris2 has quit [Ping timeout: 272 seconds]
chris2 has joined #ocaml
avsm has quit [Quit: Leaving.]
thomasga has joined #ocaml
cespinoza has quit [Ping timeout: 264 seconds]
cespinoza has joined #ocaml
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
ygrek has joined #ocaml
_twx__ has quit [Ping timeout: 245 seconds]
ustunozgur has joined #ocaml
oriba has quit [Quit: Verlassend]
struktured has quit [Ping timeout: 272 seconds]
msaegesser has joined #ocaml
kaustuv has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
ontologiae has quit [Ping timeout: 264 seconds]
darkf has quit [Quit: Leaving]
englishm has joined #ocaml
sepp2k has joined #ocaml
_twx_ has joined #ocaml
<Kakadu> whitequark: Are you sure that `qemu-binfmt` is correct package name?
<whitequark> qemu-user-binfmt
<whitequark> sorry
<whitequark> it doesn't build under opam for some reason, but manual build seems fine
rand000 has joined #ocaml
Puffin has joined #ocaml
<Kakadu> thanks
<Kakadu> it seems that compilation have started
<whitequark> oh, correction
<whitequark> this is the full patch you need
<whitequark> or it won't build ocamlyacc
<whitequark> it'll build ocamlrun just fine though
<whitequark> (and everything else, even ocamldoc)
BitPuffin has quit [Ping timeout: 246 seconds]
cespinoza has quit [Ping timeout: 245 seconds]
paddymahoney has joined #ocaml
<Kakadu> Not everything else, http://paste.in.ua/9822/raw/
Thooms has joined #ocaml
bezirg has quit [Quit: Leaving.]
cespinoza has joined #ocaml
bjorkintosh has quit [Ping timeout: 255 seconds]
dsheets has joined #ocaml
<Drup> whitequark: "Deprecate uppercase deriver names in favor of lowercase" they actually put this condition ?
englishm has quit [Remote host closed the connection]
bjorkintosh has joined #ocaml
englishm has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
<whitequark> Drup: basically
cespinoza has quit [Ping timeout: 260 seconds]
<whitequark> well, I could probably allow both, but I see no point in that
morphles has joined #ocaml
cespinoza has joined #ocaml
Puffin is now known as BitPuffin
shinnya has quit [Ping timeout: 240 seconds]
thomasga has quit [Quit: Leaving.]
Thooms has quit [Quit: WeeChat 0.4.3]
oscar_toro has joined #ocaml
troutwine_away is now known as troutwine
Simn has quit [Ping timeout: 268 seconds]
ygrek has quit [Ping timeout: 255 seconds]
thomasga has joined #ocaml
samrat has quit [Ping timeout: 264 seconds]
cago has quit [Quit: cago]
samrat has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
oscar_toro has quit [Ping timeout: 252 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
claudiuc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
WraithM has joined #ocaml
claudiuc has joined #ocaml
mort___ has quit [Ping timeout: 240 seconds]
brendan has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Verlassend]
AltGr has left #ocaml [#ocaml]
paddymahoney has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
q66 has joined #ocaml
ygrek has joined #ocaml
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
morphles has quit [Ping timeout: 268 seconds]
tane has joined #ocaml
rgrinberg has joined #ocaml
jwatzman|work has joined #ocaml
tobiasBora has joined #ocaml
Simn has joined #ocaml
BitPuffin has quit [Ping timeout: 260 seconds]
philtom has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
ustunozg_ has joined #ocaml
malo has joined #ocaml
troutwine is now known as troutwine_away
ustunozgur has quit [Ping timeout: 245 seconds]
cespinoza has quit [Ping timeout: 268 seconds]
dsheets has joined #ocaml
cespinoza has joined #ocaml
cespinoza has quit [Ping timeout: 245 seconds]
cespinoza has joined #ocaml
philtor has joined #ocaml
morphles has joined #ocaml
tobiasBora has quit [Ping timeout: 268 seconds]
philtor has quit [Ping timeout: 245 seconds]
Hannibal_Smith has joined #ocaml
tobiasBora has joined #ocaml
cespinoza has quit [Ping timeout: 255 seconds]
Hannibal_Smith has quit [Quit: Sto andando via]
thomasga has quit [Quit: Leaving.]
cespinoza has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
Hannibal_Smith has joined #ocaml
thomasga has joined #ocaml
englishm has quit [Remote host closed the connection]
yacks has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
dsheets has joined #ocaml
yacks has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
chambart has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
tobiasBora has quit [Ping timeout: 252 seconds]
_twx_ has quit [Read error: No route to host]
_twx_ has joined #ocaml
cespinoza has quit [Ping timeout: 268 seconds]
cespinoza has joined #ocaml
hhugo has quit [Quit: Leaving.]
ygrek has joined #ocaml
oscar_toro has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
hhugo has joined #ocaml
ustunozg_ has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
BitPuffin has joined #ocaml
sheijk has joined #ocaml
WraithM has quit [Ping timeout: 276 seconds]
samrat has quit [Ping timeout: 245 seconds]
hhugo has joined #ocaml
samrat has joined #ocaml
<kakadu_> If I want to create custom bytecode executable for ARM I should use cross-compiled version of ocamlc, am I?
<tane> what do you mean by custom bytecode?
<kakadu_> ocaml and C in the same file
<kakadu_> Currently I have >> Fatal error: cannot open implicit module "Pervasives"
typedlambda has quit [Ping timeout: 250 seconds]
typedlambda has joined #ocaml
zpe has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 272 seconds]
MercurialAlchemi has quit [Remote host closed the connection]
brendan has joined #ocaml
morphles has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
tautologico has joined #ocaml
cespinoza has quit [Ping timeout: 252 seconds]
cespinoza has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
axiles has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
englishm has joined #ocaml
zpe has joined #ocaml
artagnon has joined #ocaml
<artagnon> I'm facing a lot of link issues in Linux.
<artagnon> Using Oasis, I specified CSources, but it doesn't seem to be linked into the executable.
<artagnon> I get weird errors from LLVM for unresolved functions.
<artagnon> On Mac, everything's perfect.
<kakadu_> is it OK with gcc?
hhugo has joined #ocaml
<artagnon> How LLVM plays with gcc?
<artagnon> I don't know.
<artagnon> I'll ask on #llvm
NoNNaN has joined #ocaml
dnm has joined #ocaml
<artagnon> They're saying it shouldn't be a problem.
npouillard has joined #ocaml
<artagnon> Still, I'll try switching. native_c_compiler /usr/bin/clang?
<kakadu_> I don't remember exactly
<kakadu_> maybe CCOpt: -x c++
gereedy_ is now known as gereedy
<artagnon> Uh, forget that. What's the equivalent of -rdynamic in ocamlc?
<artagnon> I want to enable dynamic linking.
<kakadu_> -cclib -lsomething?
* kakadu_ has no idea waht is -rdynamic
hhugo has quit [Quit: Leaving.]
<artagnon> kakadu_: "This instructs the linker to add all symbols, not only used ones, to the dynamic symbol table."
<kakadu_> maybe -ccopt -rdynamic will work then?
<artagnon> I tried exactly that.
ggole has quit []
tautologico has quit [Quit: Textual IRC Client: www.textualapp.com]
Hannibal_Smith has quit [Quit: Sto andando via]
oscar_toro has quit [Quit: oscar_toro]
rand000 has quit [Quit: leaving]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
zpe has quit [Ping timeout: 272 seconds]
tane has quit [Quit: Verlassend]
shinnya has joined #ocaml
<artagnon> I needed to add -ccopt -rdynamic to ocamlc, ocamlopt, and -rdynamic to the clang++ in bindings.c
<artagnon> kakadu_: Thanks.
<artagnon> For some reason, the execution is incorrect.
<artagnon> Ah, it's a 32-bit machine :)
strmpnk____ is now known as strmpnk
artagnon has left #ocaml [#ocaml]
kakadu_ has quit [Quit: Konversation terminated!]
zpe has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
thomasga has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
thomasga has joined #ocaml
darkf has joined #ocaml
msaegesser has quit [Ping timeout: 255 seconds]
<Denommus> are there web front-end libraries for OCaml?
thomasga has quit [Quit: Leaving.]
cespinoza has quit [Ping timeout: 268 seconds]
cespinoza has joined #ocaml
fold has joined #ocaml
sheijk_ has joined #ocaml
Simn has quit [Quit: Leaving]
sheijk has quit [Ping timeout: 272 seconds]
<Denommus> is Eliom as interesting as it seems?
chambart has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
<smondet> Denommus: it is *more* interesting
zpe has quit [Ping timeout: 268 seconds]
madroach_ has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
philtor has joined #ocaml
NoNNaN has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
_twx_ has quit [Ping timeout: 240 seconds]