lapinou changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Public logs at http://tunes.org/~nef/logs/ocaml/
claudiuc has quit [Remote host closed the connection]
nikki93 has joined #ocaml
zxqdms has joined #ocaml
mort___ has quit [Quit: Leaving.]
ygrek has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
kyrylo has joined #ocaml
palomer has joined #ocaml
<palomer> is it just me or is this channel growing?
mfp_ is now known as mfp
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
<Drup> palomer: slowly but surely. We spiked at 200 at some point
<palomer> what's the count now?
<palomer> who says ocaml is dying :P
csakatoku has joined #ocaml
rand000 has quit [Quit: leaving]
<Drup> 172 right now
kyrylo has quit [Ping timeout: 272 seconds]
johnelse is now known as johnelse_away
csakatoku has quit [Remote host closed the connection]
nikki93 has joined #ocaml
manizzle has quit [Ping timeout: 246 seconds]
csakatoku has joined #ocaml
ollehar1 has quit [Ping timeout: 246 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
zxqdms has quit [Quit: leaving]
tlockney_away is now known as tlockney
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
jao` has joined #ocaml
csakatoku has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
manizzle has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
manizzle has quit [Ping timeout: 260 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
csakatoku has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
jao` has quit [Ping timeout: 260 seconds]
palomer has quit [Ping timeout: 253 seconds]
csakatoku has joined #ocaml
manizzle has joined #ocaml
csakatoku has quit [Remote host closed the connection]
yacks has joined #ocaml
via has joined #ocaml
<via> is there a way to have opam only do bytecode builds?
csakatoku has joined #ocaml
claudiuc has joined #ocaml
manizzle has quit [Ping timeout: 245 seconds]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
csakatoku has quit [Remote host closed the connection]
ivan\ has joined #ocaml
intui-pyon-istic has joined #ocaml
nikki93 has joined #ocaml
axiles has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
struktured has joined #ocaml
struktured has quit [Ping timeout: 252 seconds]
nikki93 has quit [Remote host closed the connection]
Kakadu has joined #ocaml
dant3 has joined #ocaml
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
yacks has quit [Ping timeout: 272 seconds]
nikki93 has joined #ocaml
csakatoku has joined #ocaml
tlockney is now known as tlockney_away
ggole has joined #ocaml
milosn has quit [Read error: Operation timed out]
milosn has joined #ocaml
Simn has joined #ocaml
hto has quit [Quit: Lost terminal]
Dongyancai has joined #ocaml
Dongyancai has left #ocaml []
mort___ has joined #ocaml
manizzle has joined #ocaml
ousado_ has joined #ocaml
ousado has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
manizzle has quit [Ping timeout: 246 seconds]
pminten has joined #ocaml
ulfdoz has joined #ocaml
yacks has joined #ocaml
angerman has joined #ocaml
nikki93 has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
mort___ has quit [Remote host closed the connection]
mort___ has joined #ocaml
asmanur has quit [Ping timeout: 265 seconds]
asmanur has joined #ocaml
vbmithr has quit [Ping timeout: 265 seconds]
vbmithr has joined #ocaml
thomasga has joined #ocaml
mort___ has quit [Ping timeout: 245 seconds]
mort___ has joined #ocaml
sagotch has joined #ocaml
r0b1 has quit [Ping timeout: 260 seconds]
ulfdoz has quit [Ping timeout: 248 seconds]
knulp has joined #ocaml
ygrek has joined #ocaml
r0b1 has joined #ocaml
zpe has joined #ocaml
jathd` has joined #ocaml
jathd has quit [Remote host closed the connection]
rand000 has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
avsm has joined #ocaml
knulp has quit [Ping timeout: 245 seconds]
intui-pyon-istic has quit [Quit: Page closed]
avsm has quit [Quit: Leaving.]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
sagotch has quit [Remote host closed the connection]
csakatoku has quit [Ping timeout: 252 seconds]
kyrylo has joined #ocaml
avsm has joined #ocaml
intui-pyon-istic has joined #ocaml
ulfdoz has joined #ocaml
mort___ has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
r0b1 has quit [Ping timeout: 252 seconds]
r0b1 has joined #ocaml
rand000 has quit [Quit: leaving]
rand000 has joined #ocaml
csakatoku has joined #ocaml
japesinator has quit [Ping timeout: 260 seconds]
japesinator has joined #ocaml
angerman has quit [Quit: Gone]
ollehar has joined #ocaml
rust has joined #ocaml
angerman has joined #ocaml
angerman has quit [Quit: Gone]
mk270 has joined #ocaml
darkf has quit [Quit: Leaving]
mort___ has joined #ocaml
rust has quit [Quit: Page closed]
angerman has joined #ocaml
zxqdms has joined #ocaml
pango has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 260 seconds]
pango has joined #ocaml
intui-pyon-istic is now known as unsafe-pyon-ter
malo has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
noam has joined #ocaml
cdidd has quit [Remote host closed the connection]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
mort___ has quit [Quit: Leaving.]
shinnya has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
Dongyancai has joined #ocaml
<Dongyancai> hello, I'm trying to use pcre in ocaml, but failed to link. I'm using 'ocamlfind ocamlopt -o read_conf -linkpkg -package pcre read_conf.ml', and got 'undefined reference to `caml_hash_variant'' in function `pcre_ocaml_init'. OS is Gentoo/Linux amd64.
<bernardofpc> Dongyancai: you could try "ocamlbuild -use-ocamlfind -package pcre read_conf.native"
pminten has quit [Remote host closed the connection]
dant3 has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
mort___ has joined #ocaml
dant3 has joined #ocaml
<orbitz> Dongyancai: any luck
<orbitz> ?
<Dongyancai> bernardofpc, thankyou but still failed. I made a sample code as : http://paste2.org/GJzcypJO.
mort___ has quit [Quit: Leaving.]
<via> don't know if anyone saw last night, but is there a way to get opam to build only bytecode binaries, such as on a machine that doesn't have the native compiler
<smondet> via: if the machine does not have native compilers it should work up to some extent
<smondet> via: then it depends on the build systems of the packages themselves
<smondet> Dongyancai: your code, works for me, are you sure the pcre lib comes from the compiler that is in the $PATH?
<smondet> Dongyancai: sometimes an eval `opam config env` is just missing
r0b1 has quit [Ping timeout: 260 seconds]
csakatoku has quit [Remote host closed the connection]
jathd` has quit [Remote host closed the connection]
jathd` has joined #ocaml
<orbitz> hey smondet
ollehar1 has joined #ocaml
<smondet> hey!
<Dongyancai> smondet, there is no opam on my machine.
<orbitz> yeah, that code compiles fine for me
<orbitz> ocamlfind ocamlc -package pcre -linkpkg foo.ml
unsafe-pyon-ter has quit [Quit: brb]
<orbitz> i installed pcre-ocaml via opam (with libpcre installed too, I think)
<orbitz> smondet: you still at NYU?
<Dongyancai> orbitz, thank you for reply. I can comfirm ocamlc works but ocamlopt failed.
<orbitz> Dongyancai: ohh, i'll try ocamlopt
<smondet> orbitz: yes
<orbitz> Dongyancai: that works for me as well
<smondet> Dongyancai: yes ocamloprt works for me
<smondet> too
<orbitz> smondet: nice, wroking on anything interesting? I'm trying to implement Raft in Ocaml these days
<orbitz> smondet: mine is way cooler :)
<orbitz> I'm encoding the state machine in the type system
<smondet> orbitz: nothing transcendental at NYU, maintenance, a new web API for our bioinformaticians
<orbitz> ah nice
<smondet> something like session types with GADTs?
<orbitz> you use Ocsigen for that?
<Dongyancai> hello, what is your ocaml version and pcre version? mine is ocaml-3.12.1 and pcre-ocaml-6.2.5
<smondet> yes, but for (lack of) sys admin reasons :)
<smondet> Dongyancai: pcre 7.0.4 ocaml 4.00.1
<orbitz> Dongyancai: since you didn't install via opam i'd wager you might not have compiled and installed pcre-ocaml correctly
<via> smondet: oh, so if its failing i'm hitting packages that just can't be used?
<orbitz> Dongyancai: any particular reason you aren't using opam? you don't need root
<orbitz> smondet: now i've got to race this girl though, I'm hoping to get 'raft' entry in opam :)
<orbitz> smondet: also, i'm just implementing the state machine, the IO layers wil be in a separate project
<Dongyancai> orbitz, it was installed from the software repository from distribution and not touched this.
<smondet> via: or maybe they can be used but the build system fails to notice it
<orbitz> Dongyancai: i'md suggest usingo opam if you can
<smondet> orbitz: Heidi is ocamllabs AFAIK
ollehar1 has quit [Ping timeout: 260 seconds]
<via> smondet: i'm not super familiar with this stuff, just getting into it, but all i was trying to do was install Core -- do you know off the top of your head if that supports bytecod only?
<smondet> via: don't know sorry
<via> ok
<smondet> if you have an error message for the build of core, or one of the dependencies
<smondet> you should report an issue
<via> not an error other than it tries to use ocamlopt, which doesn't exist
<smondet> for that qualifies as "issue" :)
philtor has joined #ocaml
<via> stand by, i'm trying again
<orbitz> smondet: the race will be all the more vicious then!
<orbitz> there isn't actually that much to do with mine other than implement the interface (which does roughly nothign). the only thing leaving me banging is actually is the types for the log
njcomsec has joined #ocaml
<via> dd
<via> since its failing on the first package...probably something wrong with my configuration i'd imagine
<smondet> via: wow even ocamlfind assumes ocamlopt :-/
lostcuaz has joined #ocaml
<smondet> via: I'm adding an issue to the opam-repo
struktured has joined #ocaml
<via> oh. thank you
ollehar has quit [Ping timeout: 246 seconds]
<Dongyancai> orbitz, finally I found there was problem between pcre and ocaml-3.6.5 as the latter doesn't ship caml_hash_variant (https://github.com/ocaml/opam-repository/issues/1197). I moved into a testing branch for this package and solved this problem. thank you.
struktured has quit [Ping timeout: 272 seconds]
dant3 has quit [Remote host closed the connection]
<orbitz> nice
kyrylo has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 252 seconds]
Anarchos has joined #ocaml
<bernardofpc> Dongyancai: you should also submit a bug report in gentoo for incompatibilities
<bernardofpc> (something like pcre-ocaml DEPENDS=">=ocaml-4.01.0")
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
nikki93 has joined #ocaml
tlockney_away is now known as tlockney
cyanure__ has joined #ocaml
contempt has quit [Remote host closed the connection]
csakatoku has joined #ocaml
yacks has quit [Ping timeout: 245 seconds]
csakatoku has quit [Ping timeout: 260 seconds]
dant3 has joined #ocaml
skchrko has joined #ocaml
dant3 has quit [Ping timeout: 252 seconds]
r0b1 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
ollehar has joined #ocaml
tnguyen_ has quit [Quit: Leaving]
tnguyen_ has joined #ocaml
Anarchos has quit [Ping timeout: 252 seconds]
kyrylo has joined #ocaml
zpe has joined #ocaml
ggole has quit []
robink has quit [Read error: Connection reset by peer]
robink has joined #ocaml
Eyyub has joined #ocaml
mort___ has joined #ocaml
DrZoo has joined #ocaml
<DrZoo> can someone help me with a beginner Ocaml problme?
thomasga has quit [Quit: Leaving.]
oriba has joined #ocaml
<DrZoo> can someone help me with a beginner ocaml problem?
<mrvn> Nobody can help you unless you tell what the problem is.
<DrZoo> well i'm asking in general if someone would like to help first
<mrvn> and that is your first beginners problem. Problem solved.
<DrZoo> i'm trying to write a rec function called range2. "Write a function range2 so that (range2 a b c) returns a list of intes from a to < b in steps of c if c is positive, and from a to > b if c is negative.
<DrZoo> i have my code, but i'm doing something wrong and i need someone to help me look at it and explain my problem
struktured has joined #ocaml
<DrZoo> i keep getting stack overflow error and I can't figure out why
<mrvn> because your code isn't tail recursive and your recursion doesn't terminate
<DrZoo> do you have a way i could send it to you? I mean i know it's not terminating, but I don't know wny
<DrZoo> why*
<mrvn> paste.debian.net
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
<jathd`> DrZoo: On what input do you get a stack overflow?
<jathd`> If I read the problem statement right, when c < 0 you must return ints from a down to b, so you sould return the empty list only when a < b.
jathd` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<DrZoo> range 1 3 1;;
jathd has joined #ocaml
<DrZoo> range2 1 3 1;;
<jathd> Ok so what are the arguments to the recusrive call to range2?
<DrZoo> a b c
<DrZoo> ints
<jathd> I mean a-c, b and c.
<DrZoo> ok so this is kind of confusing
<DrZoo> so if c is positive, return a list if intes from a to < b, in steps of c
<jathd> Right, let's do this first, and then worry about c < 0.
<DrZoo> example: range2 1 7 2;; would return [1;3;5];;
<DrZoo> so my (a-c) was to...
<mrvn> DrZoo: you call range 2 with "1 3 1" then "0 3 1" then "-1 3 1" "-2 3 1" ...
<jathd> In other words you have your "then" and "else" branches for the
<jathd> test "c < 0" the wrong way around.
<mrvn> and don't forget the case of c==0
<bernardofpc> well, the problem does not specify what to do in this case
<DrZoo> oh geez
<bernardofpc> (you could reasonably "exec rm -rf /" :D)
<bernardofpc> ("reasonably")
tnguyen_ has quit [Quit: Leaving]
philtor has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
<DrZoo> bernardofpc are you talking about it doesn't specify what to do if c == 0?
tnguyen1 has joined #ocaml
tnguyen1 has quit [Client Quit]
<mrvn> c=0 runs out of memory
<mrvn> small off-by-one error: http://paste.debian.net/82266/
<bernardofpc> I have a solution where it returns [] and treats c > 0 and c < 0 together
<mrvn> bernardofpc: [] or c=0?
<bernardofpc> well, c = 0 return []
<bernardofpc> (in my impl)
<mrvn> should raise Invalid_argument
<DrZoo> one of the not so cool things is I'm not allowed to use the List library
<bernardofpc> oh
<DrZoo> unfortunately
<bernardofpc> well, then you'll have to do List.rev by hand
<DrZoo> yuck
<bernardofpc> (or do like you did, then you're not tail recursive)
<DrZoo> i did that in an exercise but i didn't keep it
<bernardofpc> always keep exercises :D
<bernardofpc> Especially when they are code ;-)
<bernardofpc> (it's easy, and helps a lot)
<DrZoo> idk why i didin't keep that one
<DrZoo> i usually do
<mrvn> if implementing List.rev was a previous exercise then just use ist and add (* from exercise xyz *)
<mrvn> s/ist/it/
<DrZoo> ok i'm going to "start over" and do this slowly
<DrZoo> i'll let you know if i have problems
<DrZoo> thanks guys
<DrZoo> btw thanks for the debian.paste. I've always looked for a code paste that supports a ton of langs
<DrZoo> paste.debian i mean
<mrvn> paste.d.n even works without java script.
mido has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
mido has left #ocaml []
rand000 has joined #ocaml
struktured has quit [Ping timeout: 248 seconds]
tnguyen_ has joined #ocaml
arj has joined #ocaml
Eyyub has quit [Quit: Lost terminal]
zxqdms has quit [Quit: leaving]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
skchrko has quit [Quit: Leaving]
zpe has quit [Ping timeout: 245 seconds]
angerman has quit [Quit: Gone]
ggherdov has quit [Ping timeout: 245 seconds]
cyanure__ has quit [Remote host closed the connection]
smerz has joined #ocaml
ggherdov has joined #ocaml
mort___ has quit [Quit: Leaving.]
Anarchos has quit [Quit: Vision[0.9.7-H-20131020]: i've been blurred!]
arj has quit [Quit: Leaving.]
sheijk has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
axiles has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
zpe has joined #ocaml
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
cdidd has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
jathd has left #ocaml []
jathd has joined #ocaml
tlockney is now known as tlockney_away
mk270 has left #ocaml []
darkf has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
philtor has joined #ocaml
rand000 has quit [Quit: leaving]
hto has joined #ocaml
smerz has quit [Ping timeout: 245 seconds]
csakatoku has joined #ocaml
Simn has quit [Quit: Leaving]
claudiuc has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
zpe has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
struktured has joined #ocaml
NoNNaN has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
palomer has joined #ocaml
ousado has quit [Ping timeout: 245 seconds]
ousado has joined #ocaml