kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
jeddhaberstro has quit [Client Quit]
_schulte_ has quit [wolfe.freenode.net irc.freenode.net]
caligula__ has quit [wolfe.freenode.net irc.freenode.net]
xevz has quit [wolfe.freenode.net irc.freenode.net]
Mr_Awesome has quit [wolfe.freenode.net irc.freenode.net]
ramenboy has quit [wolfe.freenode.net irc.freenode.net]
mfp has quit [wolfe.freenode.net irc.freenode.net]
Hadaka has quit [wolfe.freenode.net irc.freenode.net]
patronus has quit [wolfe.freenode.net irc.freenode.net]
noj has quit [wolfe.freenode.net irc.freenode.net]
deavid has quit [wolfe.freenode.net irc.freenode.net]
mishok13 has quit [wolfe.freenode.net irc.freenode.net]
flux has quit [wolfe.freenode.net irc.freenode.net]
Amorphous has quit [wolfe.freenode.net irc.freenode.net]
komar_ has quit [wolfe.freenode.net irc.freenode.net]
bartiosze has quit [wolfe.freenode.net irc.freenode.net]
mellum has quit [wolfe.freenode.net irc.freenode.net]
bacam has quit [wolfe.freenode.net irc.freenode.net]
cmeme has quit [wolfe.freenode.net irc.freenode.net]
animist has quit [wolfe.freenode.net irc.freenode.net]
svenl has quit [wolfe.freenode.net irc.freenode.net]
thelema has quit [wolfe.freenode.net irc.freenode.net]
Pepe_ has quit [wolfe.freenode.net irc.freenode.net]
bernardofpc has quit [wolfe.freenode.net irc.freenode.net]
jimmyb2187 has quit [wolfe.freenode.net irc.freenode.net]
peddie has quit [wolfe.freenode.net irc.freenode.net]
ulfdoz has quit [wolfe.freenode.net irc.freenode.net]
ski__ has quit [wolfe.freenode.net irc.freenode.net]
cygnus has quit [wolfe.freenode.net irc.freenode.net]
bohanlon has quit [wolfe.freenode.net irc.freenode.net]
naufraghi has quit [wolfe.freenode.net irc.freenode.net]
gim has quit [wolfe.freenode.net irc.freenode.net]
Proteus_ has quit [wolfe.freenode.net irc.freenode.net]
ertai has quit [wolfe.freenode.net irc.freenode.net]
pwned has quit [wolfe.freenode.net irc.freenode.net]
sbok has quit [wolfe.freenode.net irc.freenode.net]
nimred has quit [wolfe.freenode.net irc.freenode.net]
munga has quit [wolfe.freenode.net irc.freenode.net]
BiDOrD has quit [wolfe.freenode.net irc.freenode.net]
schme has quit [wolfe.freenode.net irc.freenode.net]
rwmjones has quit [wolfe.freenode.net irc.freenode.net]
r0bby has quit [wolfe.freenode.net irc.freenode.net]
jdavis has quit [wolfe.freenode.net irc.freenode.net]
prigaux has quit [wolfe.freenode.net irc.freenode.net]
hcarty has quit [wolfe.freenode.net irc.freenode.net]
aij has quit [wolfe.freenode.net irc.freenode.net]
TaXules has quit [wolfe.freenode.net irc.freenode.net]
Modius has quit [wolfe.freenode.net irc.freenode.net]
M| has quit [wolfe.freenode.net irc.freenode.net]
mbishop has quit [wolfe.freenode.net irc.freenode.net]
det has quit [wolfe.freenode.net irc.freenode.net]
brendan has quit [wolfe.freenode.net irc.freenode.net]
lanaer has quit [wolfe.freenode.net irc.freenode.net]
Jedai has quit [wolfe.freenode.net irc.freenode.net]
maxote has quit [wolfe.freenode.net irc.freenode.net]
Asmadeus has quit [wolfe.freenode.net irc.freenode.net]
Demitar has quit [wolfe.freenode.net irc.freenode.net]
sgnb has quit [wolfe.freenode.net irc.freenode.net]
haelix has quit [wolfe.freenode.net irc.freenode.net]
tarbo2 has quit [wolfe.freenode.net irc.freenode.net]
tsuyoshi has quit [wolfe.freenode.net irc.freenode.net]
hto has quit [wolfe.freenode.net irc.freenode.net]
gildor has quit [wolfe.freenode.net irc.freenode.net]
fremo has quit [wolfe.freenode.net irc.freenode.net]
jonafan has quit [wolfe.freenode.net irc.freenode.net]
erickt has quit [wolfe.freenode.net irc.freenode.net]
jlouis has quit [wolfe.freenode.net irc.freenode.net]
ozzloy has quit [wolfe.freenode.net irc.freenode.net]
tomaw has quit [wolfe.freenode.net irc.freenode.net]
acatout has quit [wolfe.freenode.net irc.freenode.net]
lutter has quit [wolfe.freenode.net irc.freenode.net]
__marius__ has quit [wolfe.freenode.net irc.freenode.net]
Ori_B has quit [wolfe.freenode.net irc.freenode.net]
authentic has quit [Connection reset by peer]
deavid has joined #ocaml
naufraghi has joined #ocaml
peddie has joined #ocaml
Jedai has joined #ocaml
_schulte_ has joined #ocaml
ulfdoz has joined #ocaml
gim has joined #ocaml
Amorphous has joined #ocaml
thelema has joined #ocaml
komar_ has joined #ocaml
TaXules has joined #ocaml
maxote has joined #ocaml
BiDOrD has joined #ocaml
Mr_Awesome has joined #ocaml
Modius has joined #ocaml
ramenboy has joined #ocaml
M| has joined #ocaml
tomaw has joined #ocaml
bartiosze has joined #ocaml
mellum has joined #ocaml
svenl has joined #ocaml
cmeme has joined #ocaml
animist has joined #ocaml
bacam has joined #ocaml
Pepe_ has joined #ocaml
bernardofpc has joined #ocaml
Proteus_ has joined #ocaml
lutter has joined #ocaml
jimmyb2187 has joined #ocaml
ertai has joined #ocaml
pwned has joined #ocaml
mishok13 has joined #ocaml
noj has joined #ocaml
ski__ has joined #ocaml
mbishop has joined #ocaml
jdavis has joined #ocaml
mfp has joined #ocaml
schme has joined #ocaml
rwmjones has joined #ocaml
det has joined #ocaml
xevz has joined #ocaml
caligula__ has joined #ocaml
Asmadeus has joined #ocaml
cygnus has joined #ocaml
r0bby has joined #ocaml
Demitar has joined #ocaml
hto has joined #ocaml
haelix has joined #ocaml
Ori_B has joined #ocaml
hcarty has joined #ocaml
flux has joined #ocaml
acatout has joined #ocaml
lanaer has joined #ocaml
sgnb has joined #ocaml
nimred has joined #ocaml
ozzloy has joined #ocaml
bohanlon has joined #ocaml
jonafan has joined #ocaml
brendan has joined #ocaml
munga has joined #ocaml
erickt has joined #ocaml
tarbo2 has joined #ocaml
sbok has joined #ocaml
tsuyoshi has joined #ocaml
gildor has joined #ocaml
aij has joined #ocaml
prigaux has joined #ocaml
fremo has joined #ocaml
jlouis has joined #ocaml
patronus has joined #ocaml
Hadaka has joined #ocaml
__marius__ has joined #ocaml
authentic has joined #ocaml
naufraghi has quit []
ulfdoz_ has joined #ocaml
deavid has quit [wolfe.freenode.net irc.freenode.net]
authentic has quit [wolfe.freenode.net irc.freenode.net]
caligula__ has quit [wolfe.freenode.net irc.freenode.net]
xevz has quit [wolfe.freenode.net irc.freenode.net]
_schulte_ has quit [wolfe.freenode.net irc.freenode.net]
ramenboy has quit [wolfe.freenode.net irc.freenode.net]
Hadaka has quit [wolfe.freenode.net irc.freenode.net]
patronus has quit [wolfe.freenode.net irc.freenode.net]
mfp has quit [wolfe.freenode.net irc.freenode.net]
Mr_Awesome has quit [wolfe.freenode.net irc.freenode.net]
noj has quit [wolfe.freenode.net irc.freenode.net]
flux has quit [wolfe.freenode.net irc.freenode.net]
mishok13 has quit [wolfe.freenode.net irc.freenode.net]
mellum has quit [wolfe.freenode.net irc.freenode.net]
bartiosze has quit [wolfe.freenode.net irc.freenode.net]
bacam has quit [wolfe.freenode.net irc.freenode.net]
cmeme has quit [wolfe.freenode.net irc.freenode.net]
svenl has quit [wolfe.freenode.net irc.freenode.net]
komar_ has quit [wolfe.freenode.net irc.freenode.net]
animist has quit [wolfe.freenode.net irc.freenode.net]
Amorphous has quit [wolfe.freenode.net irc.freenode.net]
thelema has quit [wolfe.freenode.net irc.freenode.net]
bernardofpc has quit [wolfe.freenode.net irc.freenode.net]
jimmyb2187 has quit [wolfe.freenode.net irc.freenode.net]
Pepe_ has quit [wolfe.freenode.net irc.freenode.net]
ulfdoz_ has quit [wolfe.freenode.net irc.freenode.net]
cygnus has quit [wolfe.freenode.net irc.freenode.net]
ulfdoz has quit [wolfe.freenode.net irc.freenode.net]
bohanlon has quit [wolfe.freenode.net irc.freenode.net]
peddie has quit [wolfe.freenode.net irc.freenode.net]
ski__ has quit [wolfe.freenode.net irc.freenode.net]
Proteus_ has quit [wolfe.freenode.net irc.freenode.net]
pwned has quit [wolfe.freenode.net irc.freenode.net]
sbok has quit [wolfe.freenode.net irc.freenode.net]
nimred has quit [wolfe.freenode.net irc.freenode.net]
ertai has quit [wolfe.freenode.net irc.freenode.net]
munga has quit [wolfe.freenode.net irc.freenode.net]
gim has quit [wolfe.freenode.net irc.freenode.net]
prigaux has quit [wolfe.freenode.net irc.freenode.net]
jdavis has quit [wolfe.freenode.net irc.freenode.net]
hcarty has quit [wolfe.freenode.net irc.freenode.net]
BiDOrD has quit [wolfe.freenode.net irc.freenode.net]
aij has quit [wolfe.freenode.net irc.freenode.net]
schme has quit [wolfe.freenode.net irc.freenode.net]
rwmjones has quit [wolfe.freenode.net irc.freenode.net]
r0bby has quit [wolfe.freenode.net irc.freenode.net]
brendan has quit [wolfe.freenode.net irc.freenode.net]
TaXules has quit [wolfe.freenode.net irc.freenode.net]
det has quit [wolfe.freenode.net irc.freenode.net]
Modius has quit [wolfe.freenode.net irc.freenode.net]
M| has quit [wolfe.freenode.net irc.freenode.net]
lanaer has quit [wolfe.freenode.net irc.freenode.net]
mbishop has quit [wolfe.freenode.net irc.freenode.net]
haelix has quit [wolfe.freenode.net irc.freenode.net]
Jedai has quit [wolfe.freenode.net irc.freenode.net]
maxote has quit [wolfe.freenode.net irc.freenode.net]
Asmadeus has quit [wolfe.freenode.net irc.freenode.net]
tarbo2 has quit [wolfe.freenode.net irc.freenode.net]
Demitar has quit [wolfe.freenode.net irc.freenode.net]
tsuyoshi has quit [wolfe.freenode.net irc.freenode.net]
sgnb has quit [wolfe.freenode.net irc.freenode.net]
gildor has quit [wolfe.freenode.net irc.freenode.net]
fremo has quit [wolfe.freenode.net irc.freenode.net]
hto has quit [wolfe.freenode.net irc.freenode.net]
jonafan has quit [wolfe.freenode.net irc.freenode.net]
erickt has quit [wolfe.freenode.net irc.freenode.net]
jlouis has quit [wolfe.freenode.net irc.freenode.net]
ozzloy has quit [wolfe.freenode.net irc.freenode.net]
acatout has quit [wolfe.freenode.net irc.freenode.net]
tomaw has quit [wolfe.freenode.net irc.freenode.net]
__marius__ has quit [wolfe.freenode.net irc.freenode.net]
lutter has quit [wolfe.freenode.net irc.freenode.net]
Ori_B has quit [wolfe.freenode.net irc.freenode.net]
ulfdoz_ has joined #ocaml
authentic has joined #ocaml
deavid has joined #ocaml
peddie has joined #ocaml
Jedai has joined #ocaml
_schulte_ has joined #ocaml
ulfdoz has joined #ocaml
gim has joined #ocaml
Amorphous has joined #ocaml
thelema has joined #ocaml
komar_ has joined #ocaml
TaXules has joined #ocaml
maxote has joined #ocaml
BiDOrD has joined #ocaml
Mr_Awesome has joined #ocaml
Modius has joined #ocaml
ramenboy has joined #ocaml
M| has joined #ocaml
tomaw has joined #ocaml
bartiosze has joined #ocaml
mellum has joined #ocaml
svenl has joined #ocaml
cmeme has joined #ocaml
animist has joined #ocaml
bacam has joined #ocaml
Pepe_ has joined #ocaml
bernardofpc has joined #ocaml
Proteus_ has joined #ocaml
lutter has joined #ocaml
jimmyb2187 has joined #ocaml
ertai has joined #ocaml
pwned has joined #ocaml
mishok13 has joined #ocaml
noj has joined #ocaml
ski__ has joined #ocaml
mbishop has joined #ocaml
jdavis has joined #ocaml
mfp has joined #ocaml
schme has joined #ocaml
rwmjones has joined #ocaml
det has joined #ocaml
xevz has joined #ocaml
caligula__ has joined #ocaml
Asmadeus has joined #ocaml
cygnus has joined #ocaml
r0bby has joined #ocaml
Demitar has joined #ocaml
hto has joined #ocaml
haelix has joined #ocaml
Ori_B has joined #ocaml
hcarty has joined #ocaml
flux has joined #ocaml
acatout has joined #ocaml
lanaer has joined #ocaml
sgnb has joined #ocaml
nimred has joined #ocaml
ozzloy has joined #ocaml
bohanlon has joined #ocaml
jonafan has joined #ocaml
brendan has joined #ocaml
munga has joined #ocaml
erickt has joined #ocaml
tarbo2 has joined #ocaml
sbok has joined #ocaml
tsuyoshi has joined #ocaml
gildor has joined #ocaml
aij has joined #ocaml
prigaux has joined #ocaml
fremo has joined #ocaml
jlouis has joined #ocaml
patronus has joined #ocaml
Hadaka has joined #ocaml
__marius__ has joined #ocaml
_schulte_ has quit [Remote closed the connection]
ulfdoz has quit [Connection timed out]
ulfdoz_ is now known as ulfdoz
jeddhaberstro has joined #ocaml
jeddhaberstro has quit [Client Quit]
komar_ has quit ["WeeChat 0.2.6.3-ohshi"]
Jedai has quit [Read error: 110 (Connection timed out)]
verte has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
noj has quit [wolfe.freenode.net irc.freenode.net]
noj has joined #ocaml
naufraghi has joined #ocaml
Submarine has joined #ocaml
BiDOrD has quit [Read error: 110 (Connection timed out)]
BiDOrD has joined #ocaml
verte has quit [Read error: 113 (No route to host)]
kaustuv has joined #ocaml
verte has joined #ocaml
jonafan has quit [Read error: 104 (Connection reset by peer)]
eevar2 has joined #ocaml
Cromulent has joined #ocaml
mishok13 has quit ["Stopping IRC chat... [OK]"]
mishok13 has joined #ocaml
Jedai has joined #ocaml
naufraghi has quit []
noj has quit [wolfe.freenode.net irc.freenode.net]
noj has joined #ocaml
Cromulent has quit []
Cromulent has joined #ocaml
Cromulent has quit [Remote closed the connection]
LeCamarade has joined #ocaml
Jedai has quit [Connection timed out]
noj has quit [wolfe.freenode.net irc.freenode.net]
noj has joined #ocaml
noj has quit [wolfe.freenode.net irc.freenode.net]
noj has joined #ocaml
rbancroft has quit [Remote closed the connection]
rbancroft has joined #ocaml
munga_ has joined #ocaml
caligula_ has joined #ocaml
<munga_> Can anybody help me with this small problem : http://pastebin.org/8468 ?
<munga_> for some reason I get a loop after I input the first command on the pipe
<munga_> like echo "aaa" > /tmp/test-pipe
hkBst has joined #ocaml
<flux> why wouldn't you get a loop?
<munga_> flux, I expect the select to wait till there is something new in the pipe ...
<flux> at that point the pipe is closed
<flux> you need to reopen it
caligula__ has quit [Read error: 104 (Connection reset by peer)]
<flux> but, if this is a command channel for your program.. don't do it
<flux> rather, use unix domain sockets
<munga_> du !
<flux> although they are slightly more complicated
<flux> you can use socat to interface with the created socket
<munga_> ok... I've to re-read a bit of basic unix programming stuff...
<flux> do you know how tcp sockets work?
<flux> (or rather, how to use them)
<flux> in any case, the basic idea is: create a new socket with Unix.socket Unix.PF_UNIX Unix.SOCK_STREAM 0, bind it to a socket with Unix.bind sock (Unix.ADDR_UNIX "/tmp/test-socket"), start listening on it with Unix.listen sock 0. when the socket is readable, do let (connected_fd, _) = Unix.accept sock and converse through the fd. close it once you're done. you may keep accepting new connections all the time.
<munga_> yes, yes ...
<munga_> thanks :)
komar_ has joined #ocaml
BiDOrD has quit []
naufraghi has joined #ocaml
komar_ has quit ["WeeChat 0.2.6.3-ohshi"]
naufraghi has quit []
Asmadeus_ has joined #ocaml
Associat0r has joined #ocaml
Asmadeus has quit [Read error: 104 (Connection reset by peer)]
Asmadeus has joined #ocaml
Ori_B has quit [Read error: 60 (Operation timed out)]
Ori_B has joined #ocaml
Asmadeus_ has quit [Read error: 110 (Connection timed out)]
_andre has joined #ocaml
Associat0r has quit []
Smerdyakov has joined #ocaml
bombshelter13_ has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
wysek has joined #ocaml
<wysek> hi, how do I compile modules to bytecode?
<Smerdyakov> 'opt' is always for native code. You won't be targeting bytecode if you mention 'opt' anywhere.
<Smerdyakov> You'll find separate sections for the bytecode and native code compilers in Part III of the manual.
<Smerdyakov> "bytecode" = "Batch compilation (ocamlc)"
<thelema> Smerdyakov: except for ocamlc.opt :)
<wysek> ocamlfind ocamlc -package sem -cclib -lpthread -g -c -o ar_framework.cma -thread ar_framework.ml
<wysek> this command creates ar_framework.cmo not .cma
<wysek> any idea why? :)
<thelema> .cmo is output of ocamlc
<Smerdyakov> Sure. Different file extensions for bytecode.
<Smerdyakov> It's doing exactly what it should.
<bacam> .cma is a bytecode archive (a collection of .cmo files, essentially)
<wysek> oh, I it compiled the rest of .ml's into .cma
<wysek> thx
<wysek> however
<Smerdyakov> Oops, wrong explanation from me. Sorry. :)
<wysek> I did use -o option
<wysek> ok, thainks :)
<wysek> works now
BiDOrD has joined #ocaml
Smerdyakov has quit ["Leaving"]
Narrenschiff has joined #ocaml
bombshelter13_ has quit [Read error: 104 (Connection reset by peer)]
bombshelter13_ has joined #ocaml
eevar2 has quit ["Leaving"]
LeCamarade is now known as LeCamarade|Away
jonafan has joined #ocaml
bombshelter13_ has quit []
bombshelter13_ has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
hkBst has joined #ocaml
BiDOrD has quit []
BiDOrD has joined #ocaml
BiDOrD has quit [Remote closed the connection]
deech has joined #ocaml
Submarine has quit [Read error: 60 (Operation timed out)]
sbok has quit [Read error: 104 (Connection reset by peer)]
sbok has joined #ocaml
Narrenschiff has quit []
ulfdoz has joined #ocaml
purestrain has joined #ocaml
<purestrain> hi
slash_ has joined #ocaml
Beelsebob has joined #ocaml
<Beelsebob> hey ho, can anyone recommend the best OCaml tutorial for a pre-existing Haskeller?
hkBst has quit [Read error: 104 (Connection reset by peer)]
<Beelsebob> Why does square x = x *. x get type float -> float not 'a -> 'a? Is *. specifically float multiplication?
<bernardofpc> yes
<bernardofpc> operators in Caml (the predef'd ones) are explicitly typed
<bernardofpc> as well as (*) has type int -> int -> int
<bernardofpc> the exception which confirms the rules is the cons (:) operator which has type 'a -> 'a list -> a' list
<Beelsebob> okay
<Beelsebob> so this is necessary because of the lack of classes in ocaml?
<bernardofpc> hum, I don't see the point
<bernardofpc> but I'm new to OCaml, and as far as I know, OCaml has something like classes
<bernardofpc> and a different way of doing that also, which are modules
<bernardofpc> a more functorial way of describing the problem
<bernardofpc> well, time to go for me
ramenboy has quit [Connection timed out]
<Beelsebob> okies
<Beelsebob> I look forward to learning about that then :)
verte has quit ["~~~ Crash in JIT!"]
BiDOrD has joined #ocaml
yziquel has joined #ocaml
<yziquel> http://paste.lisp.org/display/85274 hi. i've been trying to compile ocaml-r. Got this -fPIC error. Should r_data.c be compiled with -fPIC? If yes, where do you put it in the first line?
fschwidom has joined #ocaml
eevar2 has joined #ocaml
<hcarty> Beelsebob: OCaml has classes, but no built-in type classes.
<hcarty> yziquel: You probably need to add something like "-ccopt -fPIC"
jeddhaberstro has joined #ocaml
Beelsebob has quit ["Leaving."]
<yziquel> hcarty: http://caml.inria.fr/mantis/bug_view_advanced_page.php?bug_id=3924 is it this amd64/bsd specific bug?
Anarchos has joined #ocaml
<Anarchos> how to debug a buggy ocamlyacc grammar ? parse_error seems not to be very useful
<hcarty> yziquel: Not sure. I've run in to this before, and sprinkling "-fPIC" all over seemed to help fix it.
<Anarchos> hcarty to fix what if i can ask ?
purestrain has quit ["Ex-Chat"]
<yziquel> Anarchos: the fact the ocamlmklib complains about lack of position independent code in .o files.
<yziquel> Anarchos: doesn't seem to be required on i386, but seems required on amd64.
<Anarchos> oh ok well -fPIC seems to be the good option , right :)
_andre has quit ["leaving"]
BiDOrD has quit []
fschwidom has quit [Remote closed the connection]
ulfdoz has quit [Read error: 110 (Connection timed out)]
junis has joined #ocaml
Beelsebob has joined #ocaml
<junis> how does one use Berkeley DB XML from ocaml?...
<Beelsebob> when one uses a type name like a function, does it act like a cast – does it work for all types, or is this restricted to some special cases?
Beelsebob has quit ["Leaving."]
Arthur_Rainbow1 has joined #ocaml
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
Arthur_Rainbow1 has left #ocaml []
<junis> greetings... I have been looking for OCaml bindings for the Berkeley XML database...
<junis> can anybody help
Beelsebob has joined #ocaml
eevar2 has quit [Remote closed the connection]
bombshelter13_ has quit []
eevar2 has joined #ocaml
eevar2 has quit ["Leaving"]
<hcarty> Beelsebob: If you use a type name like a function, it should be a function. Otherwise you'll get an error.
<Beelsebob> okay, so float and int are built in functions that happen to cast between each other, yeh?
<hcarty> Beelsebob: For example "string_of_int" is the int -> string conversion function in the standard library.
<hcarty> Beelsebob: Do they?
<Beelsebob> well, reading the tutorials, float and int appear to work as casts to the apropriate types
<hcarty> You have float_of_int and int_of_float.
<hcarty> Then yes, they are just functions with those names.
<Beelsebob> ... then Float(float i1 +. float i2) ...
<Beelsebob> where i1 and i2 are ints
<Beelsebob> but anyway, the bottom line is there's no magic going on here -- those are just plain functions, right?
<hcarty> Beelsebob: I don't see the example you are talking about.
<hcarty> Oh sorry, I see what you are talking about.
<hcarty> Those are not functions.
<Beelsebob> the larger add_num block
<Beelsebob> oh?
<hcarty> Those are constuctors. They create a value (Float f).
<Beelsebob> no no, not the capitolised ones
<Beelsebob> Float (>float< i1 +. >float< i2) the things in > < there
<hcarty> Ah, ok sorry.
<hcarty> That may be out of date then. It doesn't work on my 3.11.1 install.
<Beelsebob> hmm, I installed litterally ~5 hours ago
<Beelsebob> and the example works
<Beelsebob> says it's 3.11.1
<hcarty> Ok, there is apparently a "float" function, but no "int" function.
<hcarty> Sorry about the mixup.
<Beelsebob> oh, random
<Beelsebob> is the normal way to query the interpretter for the type of a function just to do <function>;;
<hcarty> Yes
<Beelsebob> okies, cheers for your help
<Beelsebob> I think I'll put this down for tonight, and go watch a film
Beelsebob has quit ["Leaving."]
<hcarty> Have fyb
<hcarty> fun that is
BigJ has joined #ocaml
Beelsebob has joined #ocaml
junis has quit ["Leaving"]
deech has left #ocaml []
slash_ has quit [Client Quit]
munga_ has quit [Read error: 113 (No route to host)]