flux 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.org | Public logs at http://tunes.org/~nef/logs/ocaml/
Watcher7 is now known as Watcher7|off
Watcher7|off is now known as Watcher7
emmanuelux has quit [Quit: emmanuelux]
eikke has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
osnr has quit [Quit: Leaving.]
cdidd has quit [Remote host closed the connection]
Neros has quit [Ping timeout: 256 seconds]
Neros has joined #ocaml
q66 has quit [Remote host closed the connection]
eikke has quit [Read error: Operation timed out]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
soulofpeace has joined #ocaml
darkf has joined #ocaml
weie has joined #ocaml
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
jobseeker has quit [Disconnected by services]
jobseeker has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
osnr has quit [Quit: Leaving.]
sevvie has joined #ocaml
bacam_ has joined #ocaml
foo303__ has joined #ocaml
jonafan_ has joined #ocaml
zen_ben has joined #ocaml
willy__ has joined #ocaml
Ptival_ has joined #ocaml
orbitz_ has joined #ocaml
mattrepl has quit [Quit: mattrepl]
habnabit has joined #ocaml
jave_ has joined #ocaml
rixed_ has joined #ocaml
SuperNoeMan_ has joined #ocaml
ivan\_ has joined #ocaml
foo303_ has quit [Ping timeout: 245 seconds]
bacam has quit [Ping timeout: 245 seconds]
ggherdov has quit [Ping timeout: 245 seconds]
SuperNoeMan has quit [Ping timeout: 245 seconds]
jonafan has quit [Ping timeout: 245 seconds]
_habnabit has quit [Ping timeout: 245 seconds]
ben_zen has quit [Ping timeout: 245 seconds]
jave has quit [Ping timeout: 245 seconds]
ivan\ has quit [Ping timeout: 245 seconds]
Ptival has quit [Ping timeout: 245 seconds]
orbitz has quit [Ping timeout: 245 seconds]
SuperNoeMan_ is now known as SuperNoeMan
willy_ has quit [Ping timeout: 245 seconds]
rixed has quit [Ping timeout: 245 seconds]
dwmw2_go` has quit [Ping timeout: 245 seconds]
habnabit is now known as _habnabit
dwmw2_gone has joined #ocaml
ggole has joined #ocaml
jobseeker has quit [Disconnected by services]
jobseeker has joined #ocaml
zen_ben is now known as ben_zen
yacks has joined #ocaml
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
venk has joined #ocaml
osnr has quit [Quit: Leaving.]
breakds has quit [Quit: Konversation terminated!]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
Watcher7 is now known as Watcher7|off
Snark has joined #ocaml
ggherdov has joined #ocaml
Yoric has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
tane has joined #ocaml
testcocoon has joined #ocaml
wagle has quit [Ping timeout: 256 seconds]
hkBst has joined #ocaml
ttamttam has joined #ocaml
wagle has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
wagle has quit [Ping timeout: 252 seconds]
wagle has joined #ocaml
zpe has joined #ocaml
hkBst has quit [Ping timeout: 248 seconds]
gustav_ has joined #ocaml
djcoin has joined #ocaml
hkBst has joined #ocaml
Arsenik has joined #ocaml
zpe has quit [Remote host closed the connection]
<adrien_oww> morning
tane has quit [Quit: Verlassend]
ulfdoz has joined #ocaml
ollehar has joined #ocaml
Arsenik has quit [Remote host closed the connection]
mika1 has joined #ocaml
cago has joined #ocaml
hkBst has quit [Ping timeout: 245 seconds]
hkBst 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 [Read error: Connection reset by peer]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
ontologiae_ has joined #ocaml
zpe has joined #ocaml
<gasche> I discussed the Terra language mentioned on LtU yesterday
<gasche> they say they use metaprogramming to tune matrix operations to get nearly as fast as BLAST, but that result was already attained by the MetaOCaml folks
<gasche> in case someone is interested, Oleg just posted links about precisely this: http://lambda-the-ultimate.org/node/4739#comment-75316
<companion_cube> hey, I didn't even notice that metaOcaml was on opam
<companion_cube> I should try it! :D
ontologiae has joined #ocaml
ontologiae_ has quit [Ping timeout: 264 seconds]
mcclurmc has joined #ocaml
bacam_ is now known as bacam
ollehar has quit [Ping timeout: 245 seconds]
Kakadu_ has joined #ocaml
soulofpeace has quit [Read error: Connection reset by peer]
Yoric has quit [Ping timeout: 252 seconds]
beckerb has joined #ocaml
ttamttam has quit [Ping timeout: 245 seconds]
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 264 seconds]
rixed_ is now known as rixed
hkBst has quit [Ping timeout: 248 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
virologizt has joined #ocaml
ivan\_ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
hkBst has quit [Ping timeout: 240 seconds]
virologizt is now known as zarul
ivan\ has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
dsheets has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
Neros has joined #ocaml
ontologiae has quit [Ping timeout: 246 seconds]
ontologiae 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
testcocoon has joined #ocaml
ollehar has joined #ocaml
jbrown has joined #ocaml
ggherdov has quit [Changing host]
ggherdov has joined #ocaml
ggherdov has quit [Changing host]
ggherdov has joined #ocaml
ttamttam has joined #ocaml
hkBst has quit [Ping timeout: 245 seconds]
beckerb has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
cdidd has joined #ocaml
ulfdoz has quit [Ping timeout: 246 seconds]
beckerb has joined #ocaml
beckerb has quit [Read error: Connection reset by peer]
q66 has joined #ocaml
tane has joined #ocaml
beckerb has joined #ocaml
beckerb has quit [Read error: Connection reset by peer]
vpm has quit [Quit: co'o]
ulfdoz has joined #ocaml
cdidd has quit [Read error: Operation timed out]
vpm has joined #ocaml
Drup has joined #ocaml
Yoric has joined #ocaml
Drup has quit [Read error: Connection reset by peer]
Drup has joined #ocaml
eikke has quit [Ping timeout: 276 seconds]
tane has quit [Quit: Verlassend]
beckerb has joined #ocaml
beckerb has quit [Client Quit]
darkf has quit [Ping timeout: 252 seconds]
<ggherdov> did anybody noticed this page? http://research.microsoft.com/en-us/events/icfpcontest2013/ it's gonna be aug 8th --> aug 11th
mort___ has joined #ocaml
rgrinberg has joined #ocaml
beckerb has joined #ocaml
beckerb has quit [Read error: Connection reset by peer]
rly has joined #ocaml
_andre has joined #ocaml
eikke has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
Drup has quit [Ping timeout: 256 seconds]
ulfdoz has joined #ocaml
raichoo has joined #ocaml
talzeus has quit [Remote host closed the connection]
cdidd has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
rly has quit [Quit: WeeChat 0.4.1-rc2]
Drup has joined #ocaml
cdidd has quit [Ping timeout: 264 seconds]
cdidd has joined #ocaml
hkBst has quit [Ping timeout: 246 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
Kakadu_ has quit [Read error: Connection reset by peer]
cdidd has quit [Remote host closed the connection]
Kakadu_ has joined #ocaml
studybot_ has joined #ocaml
studybot_ is now known as talzeus
beckerb has joined #ocaml
beckerb has quit [Read error: Connection reset by peer]
breakds has joined #ocaml
thomasga has joined #ocaml
watermind has joined #ocaml
osnr has quit [Quit: Leaving.]
mal``` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
beckerb has joined #ocaml
mal`` has joined #ocaml
breakds has quit [Quit: Konversation terminated!]
rgrinberg1 has joined #ocaml
hkBst has quit [Ping timeout: 245 seconds]
talzeus has quit [Quit: Where is the love...]
talzeus has joined #ocaml
rgrinberg1 is now known as rgrinberg
troydm has quit [Read error: Operation timed out]
hkBst__ has joined #ocaml
troydm has joined #ocaml
hkBst__ has quit [Ping timeout: 245 seconds]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
hkBst__ has joined #ocaml
tane has joined #ocaml
osnr has quit [Ping timeout: 248 seconds]
troydm has quit [Read error: Operation timed out]
beckerb has quit [Quit: Konversation terminated!]
beckerb_ has joined #ocaml
hkBst__ has quit [Ping timeout: 248 seconds]
hkBst__ has joined #ocaml
troydm has joined #ocaml
hkBst__ has quit [Read error: Connection reset by peer]
oriba has joined #ocaml
ollehar has joined #ocaml
BlankVerse has joined #ocaml
<BlankVerse> I am getting the error: This function is applied to too many arguments; maybe you forgot a `;' on this https://gist.github.com/pankajmore/5591888
<BlankVerse> on Str.split
<Kakadu_> lines.[7]
<Kakadu_> btw, does 'lines` have array type?
cdidd has joined #ocaml
<Kakadu_> BlankVerse: ^^
<gasche> Kakadu_: I believe lines is a string, and in that case foo.[bar] is the right syntax indeed (vs. foo.(bar) for arrays)
<gasche> BlankVerse: let [arg;rest] = is dubious style at best, a bug at worst (if you meant "let (arg::rest) = " which is still dubious)
<gasche> (thankfully in the latter case the typer won't let you)
<Kakadu_> gasche: I bet on 'lines' is a list
<BlankVerse> lines is a list , yes gasche
<gasche> ah
<gasche> indeed
<gasche> but in that case random access doesn't make much sense
<Kakadu_> BlankVerse: List.nth than
<gasche> you may want to turn the list into an array first
<gasche> before doing random access in it
hkBst__ has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
<BlankVerse> https://gist.github.com/pankajmore/5591888 , now it gives the error : Error: This expression has type string list but an expression was expected of type 'a array
<Cypi> lines.((String.length lines)-1)
<Cypi> That's exactly the same mistake. So you can use 'List.nth', or do as gasche said.
beckerb_ has quit [Read error: Connection reset by peer]
travisbrady has joined #ocaml
<BlankVerse> thanks
<gasche> List.nth is an inconvenient syntax because random access in (linked) lists should be avoided
<gasche> being linear in time
<gasche> if you want to access the last element, you may as well turn the whole thing into an array; not much slower, nicer syntax, and scales better to other accesses
<BlankVerse> are nested matches not allowed?
<thizanne> yes they are, but you must enclose the inner one with begin ... end
<thizanne> like function [] -> 1 | x :: xs -> begin match xs with ... end
<BlankVerse> thanks thizanne
lusory_ has quit [Ping timeout: 248 seconds]
beckerb_ has joined #ocaml
cago has quit [Quit: Leaving.]
smondet has joined #ocaml
oriba has quit [Quit: oriba]
beckerb_ has quit [Quit: Konversation terminated!]
beckerb_ has joined #ocaml
<BlankVerse> is there something like fmap for option?
mika1 has quit [Quit: Leaving.]
<gasche> BlankVerse: not in the stdlib, but there are in Batteries or Core
rgrinberg1 has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg1 is now known as rgrinberg
cdidd has quit [Ping timeout: 252 seconds]
zarul has quit [Quit: Leaving]
zarul has joined #ocaml
zarul has quit [Changing host]
zarul has joined #ocaml
beckerb_ has quit [Read error: Connection reset by peer]
hkBst__ has quit [Ping timeout: 264 seconds]
Neros has quit [Ping timeout: 245 seconds]
lusory has joined #ocaml
beckerb_ has joined #ocaml
cdidd has joined #ocaml
Neros has joined #ocaml
BlankVerse has quit [Quit: Page closed]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
osnr has quit [Ping timeout: 264 seconds]
dsheets has quit [Ping timeout: 248 seconds]
Yoric has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
beckerb__ has joined #ocaml
beckerb_ has quit [Quit: Konversation terminated!]
ttamttam has quit [Quit: ttamttam]
travisbrady has quit [Quit: travisbrady]
mort___ has quit [Ping timeout: 276 seconds]
brendan has quit [Read error: Operation timed out]
beckerb__ has quit [Read error: Connection reset by peer]
brendan has joined #ocaml
UncleVasya has joined #ocaml
Ptival_ is now known as Ptival
rgrinberg has quit [Ping timeout: 256 seconds]
mcclurmc has quit [Ping timeout: 252 seconds]
eikke has quit [Ping timeout: 256 seconds]
Arsenik has joined #ocaml
sgnb has quit [Ping timeout: 260 seconds]
willy__ has quit [Quit: Leaving]
rgrinberg has joined #ocaml
ohama has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
travisbrady has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
ohama has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 256 seconds]
ontologiae has quit [Ping timeout: 276 seconds]
travisbrady has quit [Quit: travisbrady]
cdidd has joined #ocaml
Snark has quit [Ping timeout: 264 seconds]
cdidd has quit [Ping timeout: 256 seconds]
cdidd has joined #ocaml
Kakadu_ has quit []
cdidd has quit [Ping timeout: 276 seconds]
rgrinberg has joined #ocaml
eikke has joined #ocaml
cdidd has joined #ocaml
osnr has joined #ocaml
zpe has quit [Remote host closed the connection]
osnr has quit [Ping timeout: 248 seconds]
cdidd has quit [Ping timeout: 252 seconds]
cdidd has joined #ocaml
ontologiae has joined #ocaml
zpe has joined #ocaml
Drup has quit [Ping timeout: 252 seconds]
dsheets has joined #ocaml
wmeyer has joined #ocaml
wmeyer has quit [Remote host closed the connection]
wmeyer has joined #ocaml
<wmeyer> hi
<adrien> o/
<bobry> why do I get "symbols not found" when building my project? _oasis and .c source are available here: https://gist.github.com/superbobry/cb70aee9980ff201420e#file-gistfile1-txt
ttamttam has joined #ocaml
<adrien> what's the setup? what's the output of file on the .o files? what's the full build log?
<wmeyer> \o
<bobry> $ file _build/src/pareto.o
<bobry> _build/src/pareto.o: Mach-O 64-bit object x86_64
<bobry> and what do you mean by the setup, OCaml version?
ggole_ has quit []
<wmeyer> bobry: looks like just a _ prefix
<wmeyer> I am not an OS X guy, so can't tell
ewanas_ has quit [Remote host closed the connection]
<adrien> setup: OS, toolchains, versions, ...
<adrien> but as far as I'm concerned, I probably won't be able to help much since it looks a lot like an OS X thing
<bobry> adrien: I'm pretty sure it's not an OS X thing, since I'm able to compile gsl-ocaml, which uses the same GSL library
<bobry> as for the setup, os x, clang 4.2, OCaml 4.00.1
<adrien> well, what's the output of "nm" on these .o files?
zpe has quit [Remote host closed the connection]
Drup has joined #ocaml
<bobry> _ml_gsl_combination_next and _ml_gsl_combination_prev are there
<adrien> run the command that fails with "-verbose"
* wmeyer 's time for espresso
<wmeyer> I remember there was some problem like this reported, but can't find it my memory now
<wmeyer> (on OS X)
<wmeyer> did you try gcc toolchain?
<bobry> wmeyer: nope, how should I switch?
<bobry> just override the CC variable?
<bobry> also, I've just tried recompiling ocaml-gsl and it worked OK, so maybe there's some ocamlbuild/oasis-thing I'm missing?
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
<wmeyer> try fresh checkout
<wmeyer> it happens with Oasis that it picks some wrong environment even after configure
<wmeyer> I'd delete setup.dat
osnr has quit [Ping timeout: 248 seconds]
<bobry> oh my, I've found a typo in _oasis file
<bobry> thanks, adrien and wmeyer :)
<wmeyer> Ok good :-) I like you sorted it
<wmeyer> bobry: you are welcome
<wmeyer> ping adrien
<wmeyer> how are the cross patches? is it all going well?
dsheets has quit [Ping timeout: 256 seconds]
ttamttam has left #ocaml []
eikke has quit [Read error: Operation timed out]
Neros has quit [Ping timeout: 256 seconds]
travisbrady has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
ollehar has joined #ocaml
dsheets has joined #ocaml
emmanuelux has joined #ocaml
Neros has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
jonafan_ is now known as jonafan
UncleVasya has quit [Quit: UncleVasya]
zpe has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
thomasga1 has joined #ocaml
dsheets has quit [Read error: Connection reset by peer]
zpe has quit [Remote host closed the connection]
UncleVasya has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
ollehar has quit [Quit: ollehar]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
Kakadu has joined #ocaml
oriba has joined #ocaml
Watcher7|off is now known as Watcher7
cdidd has quit [Ping timeout: 252 seconds]
osnr has quit [Ping timeout: 256 seconds]
ollehar has joined #ocaml
_andre has quit [Quit: leaving]
cdidd has joined #ocaml
ohama has joined #ocaml
Yoric has joined #ocaml
Kakadu has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
vpm_ has joined #ocaml
contempt has quit [Disconnected by services]
contempt has joined #ocaml
UncleVasya has quit [*.net *.split]
travisbrady has quit [*.net *.split]
raichoo has quit [*.net *.split]
vpm has quit [*.net *.split]
zpe has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.0]
zpe has quit [Ping timeout: 256 seconds]
vpm_ is now known as vpm
tianon has quit [Ping timeout: 252 seconds]
tianon has joined #ocaml
weie has quit [Quit: Leaving...]
rgrinberg has quit [Ping timeout: 252 seconds]
Kakadu has quit []
Yoric has quit [Ping timeout: 246 seconds]
diml_ is now known as diml
dezzy has quit [Read error: Connection reset by peer]
dezzy has joined #ocaml
rgrinberg has joined #ocaml
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
osnr has quit [Ping timeout: 256 seconds]
dezzy_ has joined #ocaml
dezzy has quit [Read error: Operation timed out]
mcclurmc has joined #ocaml
ontologiae has joined #ocaml
<wmeyer> ping pippijn
eikke has joined #ocaml
dezzy has joined #ocaml
<pippijn> wmeyer: pong
dezzy_ has quit [Read error: Connection reset by peer]
ontologiae has quit [Read error: No route to host]
ontologiae has joined #ocaml
smondet has quit [Ping timeout: 252 seconds]
thomasga1 has quit [Quit: Leaving.]
ulfdoz has quit [Ping timeout: 276 seconds]
ontologiae has quit [Ping timeout: 248 seconds]
mattrepl has joined #ocaml
avsm has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
darkf has joined #ocaml
Arsenik has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 264 seconds]
jcao219 has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
Drup has quit [Ping timeout: 252 seconds]
cdidd has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]