dark_light changed the topic of #ocaml to: OCaml 3.09.2 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
pango_ has joined #ocaml
mikeX has quit ["leaving"]
danly has quit ["Leaving"]
pangon8 has quit [Remote closed the connection]
Skal has quit [Read error: 104 (Connection reset by peer)]
knobo_ has joined #ocaml
knobo has quit [Read error: 110 (Connection timed out)]
chessguy has joined #ocaml
PenguinOfDoom has joined #ocaml
PenguinOfDoom has left #ocaml []
bzzbzz has joined #ocaml
duncanm has quit [Read error: 110 (Connection timed out)]
pango__ has joined #ocaml
pango_ has quit [Remote closed the connection]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 54 (Connection reset by peer)]
duncanm has joined #ocaml
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <-"]
postalchris has quit [Read error: 113 (No route to host)]
slime_mold has joined #ocaml
ziggurat has left #ocaml []
falconair has quit []
dark_light has quit [Read error: 110 (Connection timed out)]
pango_ has joined #ocaml
Smerdyakov has quit ["Leaving"]
_velco has joined #ocaml
pango__ has quit [Remote closed the connection]
Snark has joined #ocaml
llama32 has joined #ocaml
slipstream-- has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
pango_ has quit [Remote closed the connection]
numist has joined #ocaml
pango has joined #ocaml
velco has joined #ocaml
zak_ has joined #ocaml
llama32 has quit [Nick collision from services.]
zak_ is now known as llama32
love-pingoo has joined #ocaml
buluca has quit [Remote closed the connection]
slime_mold has left #ocaml []
duncanm has quit [Read error: 110 (Connection timed out)]
knobo_ is now known as knobo
Skal has joined #ocaml
beschmi has joined #ocaml
Skal has quit [Remote closed the connection]
duncanm has joined #ocaml
Snark has quit ["Leaving"]
Skal has joined #ocaml
zak_ has joined #ocaml
zmdkrbou_ is now known as zmdkrbou
llama32 has quit [Read error: 110 (Connection timed out)]
beschmi has quit ["Leaving"]
zak_ is now known as llama32
pattern has quit [Read error: 131 (Connection reset by peer)]
pattern has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
ziggurat has joined #ocaml
postalchris has joined #ocaml
kral has joined #ocaml
datrus has quit [Read error: 110 (Connection timed out)]
datrus has joined #ocaml
<jordan> sorry for the silly questiron, but can someone point me to the exponentiation function for arbitrary Ints? I see in the library that there is only such a function (power_num) for rational numbers, but there must be an int equivalent
Snark has joined #ocaml
bluestorm has joined #ocaml
<postalchris> jordan: there's also (**) on floats
<postalchris> I don't thinking there's an int->int->int library fun
jca_ has joined #ocaml
<jca_> hi there :)
<jordan> it would be silly to convert to float -- i'll just write my own
<jca_> is there a way to specify lib version (i mean .so version) when compiling ocaml native code program? (i.e. libpq3 or libpq4)
<postalchris> jca: -cclib pq3?
<jca_> maybe I gonna try immediately
<postalchris> As I understand it (which is not that well), the cc lib facility operates on pure string matching over filenames: the argument -lXXX (or -cclib XXX) looks for a file libXXX.so . If the versions of the library have different names, this should work...
<jca_> well i my case, lib name is given as libpq.so.3 or libpq.so.4
<jca_> :|
<jca_> if I have to tweek my libpq names and ldconfig -v my machine it won't be very handfull
<jca_> but I cand do it
<jca_> I can do it
danly has joined #ocaml
<jca_> If I link libpq.so.3 to libpq3.so and libpq.so.4 to libpq4.so and -cclib -lpq3 or -lpq4 this works (ldd matches)
<jca_> but I have to tweak my lib directory (fortunately I'm root on my dev machine). How would it be possible if I was not ?
<jca_> that's all okaye...
<jca_> Thanks for your help
<jca_> have a nice week end ! :)
kral has quit ["rcirc on GNU Emacs 22.0.50.1"]
llama32 has quit [Read error: 110 (Connection timed out)]
love-pingoo has quit ["Leaving"]
shans_home_ has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
shans_home_ has joined #ocaml
velco has quit ["Ex-Chat"]
<jordan> if i have let rec foo l = mathc l with [] -> 0 | (h::t) -> if h = true then 3 + (foo t);; why does it claim that foo has type 'a -> 'b ? it clearly returns an integer in both match cases
<bluestorm> how did you check the type that was inferred for foo ?
<jordan> it just me: This expression has type 'a -> 'b but is here used with type int when I typed it in
<bluestorm> hum
<bluestorm> were is you "else" clause ?
<jordan> my else clause is just (foo t)
<bluestorm> hum
<jordan> how could that not be an int?
<bluestorm> could you paste the full code on http://pastebin.be , and the full error ?
<postalchris> "let rec foo l = match l with [] -> 0 | (h::t) -> if h = true then 3 + (foo t) else foo t" goes through in my top-level
<jordan> i am using a second argument
<jordan> let rec foo l n = match l with [] -> 0 | (h::t) -> if h = true then 3 + (foo t) else (foo t);;
<jordan> let rec foo l n = match l with [] -> 0 | (h::t) -> if h = true then 3 + (foo t) else (foo t);;
<jordan> let rec foo l n = match l with [] -> 0 | (h::t) -> if h = true then 3 + (foo t) else (foo t);;
<jordan> ack sorry about that.
<bluestorm> hm
<bluestorm> (foo t) is a function
<bluestorm> because foo has two arguments
<bluestorm> so it should be (foo t n) or something like that
<jordan> ah! so i am currying unintentionally
<jordan> oops
<bluestorm> (difficult to find out with you first code ^^)
<jordan> yep :) i thought i was simplifying stuff that doesn't matter heh
<jordan> thank you
katatsumuri has joined #ocaml
ikaros has quit [Read error: 60 (Operation timed out)]
bluestorm is now known as bluestorm_aw
chessguy has joined #ocaml
ikaros has joined #ocaml
<jordan> in the ocaml standard library, i only see Int64 and Int32modules -- how can I find a list of the functions that are available for just Int? e.g. if there is a 'rem' version that works on all ints
ppsmimou has quit ["Leaving"]
Snark has quit [Read error: 60 (Operation timed out)]
ppsmimou has joined #ocaml
<bluestorm_aw> jordan:
<bluestorm_aw> Pervasives
<jordan> ?
<bluestorm_aw> here you have some int-specific functions
<jordan> ah I see
<jordan> thank you
pango has quit ["Leaving"]
pango has joined #ocaml
jordan has quit ["This computer has gone to sleep"]
smimou has joined #ocaml
Snark has joined #ocaml
bluestorm_aw is now known as bluestorm
_fab has joined #ocaml
bluestorm has quit [Remote closed the connection]
love-pingoo has joined #ocaml
ziggurat has quit ["Leaving"]
AStorm has joined #ocaml
<AStorm> Hi again. Are there type classes in OCaml?
<flux__> no.
<AStorm> Hmm.
<AStorm> Overloaded operators?
<flux__> although I think the module system has been proved to be equivalent
<flux__> no
<flux__> there is gcaml though, but I doubt we'll see anything like that in ocaml any time soon
<AStorm> gcaml... sounds interesting. Where is that?
<flux__> google :)
<AStorm> Ok, though google is slower.
<AStorm> Now that's worse than OCaml at the first sight...
<flux__> worse?
<AStorm> Yes, sum up all those operators and add overloading to them :>
buluca has joined #ocaml
mikeX has joined #ocaml
Snark has quit ["Leaving"]
AStorm has left #ocaml []
chessguy2 has joined #ocaml
chessguy has quit [Nick collision from services.]
chessguy2 is now known as chessguy
Mr_Awesome has joined #ocaml
bluestorm has joined #ocaml
ocean0 has joined #ocaml
<ocean0> ciao a tutti
<ocean0> hello
<buluca> bella ocean0, but...
<buluca> think it's better to talk in english :-D
<ocean0> no purtroppo sono m
<ocean0> dici?
<ocean0> You think?
<buluca> ocean0: "bella lì" :-D
<ocean0> uff
<buluca> se vuoi vieni su #ocaml-it (ci sono solo io)
<ocean0> grazie
<ocean0> thankssssssssssss
<buluca> :-D
<buluca> It could be the foundation of that channel ;)
<buluca> For the italian people: We've founded #ocaml-it!
<stesch> Unfair that Italy has this cool iso code. :-(
<buluca> stesch: I DO use UTF-8!
<buluca> e.g. on #debian-it it's recommended to use it
<buluca> or are you meaning something else?
<stesch> ISO 3166 country codes.
<buluca> ISO 3166? it? eheh
Mr_Awesome has quit ["...and the Awesome level drops"]
dark_light has joined #ocaml
dark_light has quit ["Ex-Chat"]
dark_light has joined #ocaml
jajs has joined #ocaml
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- State of the art IRC"]
bluestorm has quit ["Konversation terminated!"]
love-pingoo has quit ["Connection reset by pear"]
Kzzch has joined #ocaml
_velco has quit ["I'm outta here ..."]
falconair has joined #ocaml
jajs has quit [Remote closed the connection]
<pango> http://nopaste.tshw.de/11613859313bc3f/ merge .ml and .annot... Maybe helpful for emacs disbelievers ?
_fab has quit []
<ikaros> pango, do you perhaps know if there is any kind of review or preview for the "practical ocaml" book?
<pango> didn't look for one
<ikaros> ok
shans_home_ has quit [Read error: 110 (Connection timed out)]
ocean0 has quit ["Miranda IM! Smaller, Faster, Easier. http://miranda-im.org"]
katatsumuri has quit ["Leaving"]