Submarine has quit [Read error: 60 (Operation timed out)]
meltingwax has quit [Read error: 110 (Connection timed out)]
meltingwax has joined #ocaml
onigiri has quit []
tmaedaZ is now known as tmaeda
Amorphous has quit [Read error: 110 (Connection timed out)]
nb is now known as i
Amorphous has joined #ocaml
meltingwax has quit [Remote closed the connection]
caligula_ has joined #ocaml
caligula__ has quit [Read error: 110 (Connection timed out)]
seanmcl has quit []
seanmcl has joined #ocaml
seanmcl has quit [Client Quit]
i is now known as nb
lutter has joined #ocaml
lutter has quit [Client Quit]
NYNix has quit [Read error: 60 (Operation timed out)]
<
BigJ>
does anyone know how to evaluate code with the top level using emacs?
<
thelema>
BigJ: in tuareg, it's C-c C-b
<
BigJ>
thelema, thanks
<
thelema>
you're welcome
<
BigJ>
is this how you usually write your code?
<
thelema>
I'm still in the compile, run, tweak, repeat cycle.
<
thelema>
Once I can get aaa-batteries in a toplevel, I'll probably do it this way.
<
thelema>
interactive is great for debugging.
h3r3tic has quit [Read error: 104 (Connection reset by peer)]
h3r3tic has joined #ocaml
h3r3tic has quit [Read error: 104 (Connection reset by peer)]
h3 has joined #ocaml
thrasibule has quit [Read error: 110 (Connection timed out)]
ulfdoz has joined #ocaml
c0m has quit [Remote closed the connection]
ulfdoz has quit [Read error: 145 (Connection timed out)]
mishok13 has joined #ocaml
ttamttam has joined #ocaml
Submarine has joined #ocaml
kaustuv_ has joined #ocaml
kaustuv_` has quit [Read error: 60 (Operation timed out)]
BigJ has quit [Read error: 110 (Connection timed out)]
_zack has joined #ocaml
BigJ has joined #ocaml
smimou has joined #ocaml
munga has joined #ocaml
acatout has joined #ocaml
ikaros has joined #ocaml
Submarine has quit [Read error: 110 (Connection timed out)]
<
Camarade_Tux>
how can I tell ocamlbuild to build with '-ccopt something'?
verte has joined #ocaml
<
ttamttam>
Canarade_Tux: did you found?
<
ttamttam>
s/found/find/
<
Camarade_Tux>
ttamttam: hey, well, not really but I'm compiling by hand right now (I don't have time for that right now)
<
Camarade_Tux>
I'll check that later on
Submarine_ has joined #ocaml
peddie has quit [Read error: 104 (Connection reset by peer)]
peddie has joined #ocaml
jonafan_ has joined #ocaml
Ched has quit [Read error: 110 (Connection timed out)]
valross has quit ["Ex-Chat"]
jonafan has quit [Connection timed out]
Alpounet has quit ["Leaving"]
tmaeda has quit [Read error: 60 (Operation timed out)]
tmaeda has joined #ocaml
munga has quit [Read error: 148 (No route to host)]
Ched has joined #ocaml
tmaeda is now known as tmaedaZ
Ched has quit ["Ex-Chat"]
rwmjones has quit [Read error: 60 (Operation timed out)]
rwmjones has joined #ocaml
julm_ has joined #ocaml
julm__ has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
julm__ has quit ["leaving"]
julm_ has quit ["leaving"]
julm has joined #ocaml
Camarade_Tux has quit [Remote closed the connection]
tiz_ has quit [calvino.freenode.net irc.freenode.net]
kattla1 has quit [calvino.freenode.net irc.freenode.net]
hyperboreean has quit [calvino.freenode.net irc.freenode.net]
animist has quit [calvino.freenode.net irc.freenode.net]
patronus has quit [calvino.freenode.net irc.freenode.net]
thelema_ has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
hyperboreean has joined #ocaml
animist has joined #ocaml
tiz_ has joined #ocaml
kattla1 has joined #ocaml
patronus has joined #ocaml
animist has quit [Read error: 104 (Connection reset by peer)]
patronus has quit [Success]
animist has joined #ocaml
patronus_ has joined #ocaml
hyperboreean has quit [Read error: 104 (Connection reset by peer)]
hyperbor1ean has joined #ocaml
thelema has quit [Read error: 104 (Connection reset by peer)]
tiz_ is now known as tiz
ttamttam has quit [calvino.freenode.net irc.freenode.net]
mishok13 has quit [calvino.freenode.net irc.freenode.net]
flux has quit [calvino.freenode.net irc.freenode.net]
h3 has quit [calvino.freenode.net irc.freenode.net]
brendan has quit [calvino.freenode.net irc.freenode.net]
sgnb has quit [calvino.freenode.net irc.freenode.net]
yminsky has quit [calvino.freenode.net irc.freenode.net]
diml has quit [calvino.freenode.net irc.freenode.net]
ertai has quit [calvino.freenode.net irc.freenode.net]
lanaer has quit [calvino.freenode.net irc.freenode.net]
r0bby has quit [calvino.freenode.net irc.freenode.net]
thelema_ has quit [calvino.freenode.net irc.freenode.net]
_zack has quit [calvino.freenode.net irc.freenode.net]
kaustuv_ has quit [calvino.freenode.net irc.freenode.net]
caligula_ has quit [calvino.freenode.net irc.freenode.net]
Amorphous has quit [calvino.freenode.net irc.freenode.net]
tab has quit [calvino.freenode.net irc.freenode.net]
mbac has quit [calvino.freenode.net irc.freenode.net]
shr3kst3r has quit [calvino.freenode.net irc.freenode.net]
mattam has quit [calvino.freenode.net irc.freenode.net]
M| has quit [calvino.freenode.net irc.freenode.net]
acatout has quit [calvino.freenode.net irc.freenode.net]
patronus_ has quit [calvino.freenode.net irc.freenode.net]
verte has quit [calvino.freenode.net irc.freenode.net]
erickt has quit [calvino.freenode.net irc.freenode.net]
nimred has quit [calvino.freenode.net irc.freenode.net]
cygnus__ has quit [calvino.freenode.net irc.freenode.net]
gim has quit [calvino.freenode.net irc.freenode.net]
kattla1 has quit [calvino.freenode.net irc.freenode.net]
tiz has quit [calvino.freenode.net irc.freenode.net]
julm has quit [calvino.freenode.net irc.freenode.net]
Submarine_ has quit [calvino.freenode.net irc.freenode.net]
Asmadeus has quit [calvino.freenode.net irc.freenode.net]
rwmjones has quit [calvino.freenode.net irc.freenode.net]
tmaedaZ has quit [calvino.freenode.net irc.freenode.net]
jonafan_ has quit [calvino.freenode.net irc.freenode.net]
smimou has quit [calvino.freenode.net irc.freenode.net]
Ringo48 has quit [calvino.freenode.net irc.freenode.net]
rbancroft has quit [calvino.freenode.net irc.freenode.net]
willb has quit [calvino.freenode.net irc.freenode.net]
tonyIII__ has quit [calvino.freenode.net irc.freenode.net]
mellum_ has quit [calvino.freenode.net irc.freenode.net]
nb has quit [calvino.freenode.net irc.freenode.net]
Pepe_ has quit [calvino.freenode.net irc.freenode.net]
maskd has quit [calvino.freenode.net irc.freenode.net]
animist has quit [calvino.freenode.net irc.freenode.net]
__marius__ has quit [calvino.freenode.net irc.freenode.net]
haelix_ has quit [calvino.freenode.net irc.freenode.net]
det has quit [calvino.freenode.net irc.freenode.net]
tomaw has quit [calvino.freenode.net irc.freenode.net]
mehdid has quit [calvino.freenode.net irc.freenode.net]
deavid has quit [calvino.freenode.net irc.freenode.net]
gildor has quit [calvino.freenode.net irc.freenode.net]
orbitz has quit [calvino.freenode.net irc.freenode.net]
BigJ has quit [calvino.freenode.net irc.freenode.net]
hcarty has quit [calvino.freenode.net irc.freenode.net]
svenl has quit [calvino.freenode.net irc.freenode.net]
schme has quit [calvino.freenode.net irc.freenode.net]
jlouis_ has quit [calvino.freenode.net irc.freenode.net]
noj has quit [calvino.freenode.net irc.freenode.net]
Ori_B has quit [calvino.freenode.net irc.freenode.net]
mal`` has quit [calvino.freenode.net irc.freenode.net]
prigaux has quit [calvino.freenode.net irc.freenode.net]
ozzloy has quit [calvino.freenode.net irc.freenode.net]
churchill has quit [calvino.freenode.net irc.freenode.net]
bacam has quit [calvino.freenode.net irc.freenode.net]
fremo has quit [calvino.freenode.net irc.freenode.net]
mbishop has quit [calvino.freenode.net irc.freenode.net]
TaXules has quit [calvino.freenode.net irc.freenode.net]
infoe has quit [calvino.freenode.net irc.freenode.net]
patronus_ has joined #ocaml
animist has joined #ocaml
kattla1 has joined #ocaml
tiz has joined #ocaml
thelema_ has joined #ocaml
julm has joined #ocaml
rwmjones has joined #ocaml
tmaedaZ has joined #ocaml
jonafan_ has joined #ocaml
Submarine_ has joined #ocaml
verte has joined #ocaml
acatout has joined #ocaml
smimou has joined #ocaml
BigJ has joined #ocaml
_zack has joined #ocaml
kaustuv_ has joined #ocaml
ttamttam has joined #ocaml
mishok13 has joined #ocaml
h3 has joined #ocaml
caligula_ has joined #ocaml
Amorphous has joined #ocaml
ozzloy has joined #ocaml
churchill has joined #ocaml
bacam has joined #ocaml
noj has joined #ocaml
svenl has joined #ocaml
hcarty has joined #ocaml
Ori_B has joined #ocaml
TaXules has joined #ocaml
fremo has joined #ocaml
cygnus__ has joined #ocaml
jlouis_ has joined #ocaml
gim has joined #ocaml
erickt has joined #ocaml
haelix_ has joined #ocaml
mehdid has joined #ocaml
rbancroft has joined #ocaml
M| has joined #ocaml
tab has joined #ocaml
ertai has joined #ocaml
orbitz has joined #ocaml
r0bby has joined #ocaml
maskd has joined #ocaml
yminsky has joined #ocaml
deavid has joined #ocaml
gildor has joined #ocaml
lanaer has joined #ocaml
mellum_ has joined #ocaml
Asmadeus has joined #ocaml
mal`` has joined #ocaml
nimred has joined #ocaml
diml has joined #ocaml
mattam has joined #ocaml
prigaux has joined #ocaml
__marius__ has joined #ocaml
schme has joined #ocaml
brendan has joined #ocaml
tomaw has joined #ocaml
shr3kst3r has joined #ocaml
sgnb has joined #ocaml
mbac has joined #ocaml
flux has joined #ocaml
nb has joined #ocaml
det has joined #ocaml
infoe has joined #ocaml
Pepe_ has joined #ocaml
tonyIII__ has joined #ocaml
Ringo48 has joined #ocaml
willb has joined #ocaml
mbishop has joined #ocaml
tmaedaZ0 has joined #ocaml
tmaedaZ has quit [Read error: 110 (Connection timed out)]
lutter has joined #ocaml
<
rwmjones>
is there anyone here from INRIA who can fix caml-list?
ikaros has joined #ocaml
thelema_ is now known as thelema
hyperbor1ean has quit ["leaving"]
hyperboreean has joined #ocaml
seanmcl has joined #ocaml
tmaedaZ0 is now known as tmaeda
verte has quit ["~~~ Crash in JIT!"]
jonafan_ is now known as jonafan
smimou has quit ["bli"]
Yoric[DT] has joined #ocaml
ikaros_ has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
robocop has joined #ocaml
<
robocop>
do you know how to convert a string to a char list ?
<
gildor>
String.iter can help you if the char list is just for iterating the string
<
robocop>
gildor: no other solution ?
<
robocop>
ok, i'm doing to do this whith hand
<
gildor>
fun str -> Array.to_list (Array.init (String.length str) (String.get str))
<
robocop>
okey, thanks
<
robocop>
let list_of_string s =
<
robocop>
let size = String.length s in
<
robocop>
let rec aux l s n =
<
robocop>
if n = size then l
<
robocop>
else aux (s.[n]::l) s (n+1)
<
robocop>
in aux [] s 0
<
robocop>
I do this, more efficiant
ttamttam has quit ["Leaving."]
Submarine_ has quit [Read error: 110 (Connection timed out)]
<
thelema>
robocop: Batteries has String.explode which does this. (and implode for the opposite)
<
thelema>
also, your list_of_string gives the chars in reverse order, I think.
Snark has joined #ocaml
ikaros_ is now known as ikaros
tylermac has joined #ocaml
willb has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
Submarine has joined #ocaml
tmaeda is now known as tmaedaZ
_zack has quit ["Leaving."]
onigiri has joined #ocaml
lutter has quit ["Leaving."]
Submarine has quit [Read error: 104 (Connection reset by peer)]
Camarade_Tux has joined #ocaml
Submarine has joined #ocaml
Narrenschiff has joined #ocaml
tmaedaZ is now known as tmaeda
tmaeda is now known as tmaedaZ
albacker has joined #ocaml
onigiri has quit []
willb has joined #ocaml
<
rwmjones>
robocop, in extlib there are functions called implode and explode which convert between string and char lists
Pepe__ has joined #ocaml
Narrenschiff_ has joined #ocaml
Narrenschiff_ has quit [Client Quit]
_zack has joined #ocaml
peddie has quit ["leaving"]
peddie has joined #ocaml
peddie has quit [Client Quit]
peddie has joined #ocaml
Narrenschiff has quit [Read error: 145 (Connection timed out)]
ttamttam has joined #ocaml
kaustuv_` has joined #ocaml
Yoric[DT] has joined #ocaml
kaustuv_ has quit [Read error: 145 (Connection timed out)]
romanoffi has joined #ocaml
hcarty has quit [Read error: 60 (Operation timed out)]
BigJ has quit [Read error: 54 (Connection reset by peer)]
Jedai has joined #ocaml
ttamttam has quit ["Leaving."]
BigJ has joined #ocaml
seanmcl has quit []
Pepe__ has quit [Read error: 113 (No route to host)]
ulfdoz has joined #ocaml
Snark has quit ["Ex-Chat"]
hcarty has joined #ocaml
hcarty has quit [Client Quit]
hcarty has joined #ocaml
hcarty has quit [Client Quit]
hcarty has joined #ocaml
romanoffi has quit ["Leaving."]
hcarty has quit ["leaving"]
hcarty has joined #ocaml
seanmcl has joined #ocaml
romanoffi has joined #ocaml
robocop has left #ocaml []
slash_ has joined #ocaml
<
hcarty>
Wow... Lwt 2.0.0 provides a toplevel with line editing and no ledit or rlwrap required.
<
hcarty>
rlwrap's line editing and completion may be a bit better at this point, but the Lwt result is impressive.
ulfdoz has quit [Read error: 110 (Connection timed out)]
antegallya has joined #ocaml
<
Yoric[DT]>
'night everyone
Yoric[DT] has quit ["Ex-Chat"]
_zack has quit [Read error: 113 (No route to host)]
albacker has quit ["Leaving"]
_unK has joined #ocaml
antegallya has left #ocaml []
ikaros has quit ["Leave the magic to Houdini"]
seanmcl has quit []
ikaros has joined #ocaml
h3 has quit [Read error: 104 (Connection reset by peer)]
h3r3tic has joined #ocaml
Alpounet has joined #ocaml
h3 has joined #ocaml
h3r3tic has quit [Connection reset by peer]
onigiri has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
munga has joined #ocaml
valross has joined #ocaml
munga has quit ["Ex-Chat"]
verte has joined #ocaml
tylermac has quit ["Later"]
verte is now known as verte-work
<
BigJ>
I was wondering if someone could help me with type declarations
_unK has quit [Remote closed the connection]
<
Alpounet>
ask your question :)
<
BigJ>
i have created a type vector = float * float
<
BigJ>
i have also created a function vec_zero which is going to negate the values of vector
<
BigJ>
let vec_neg (a:vector) =
<
BigJ>
if a = vec_zero then (a:vector)
<
BigJ>
I tried multiplying a *. (-1.) and I keep getting type error
<
BigJ>
it needs to returna vector
tmaedaZ is now known as tmaeda