gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
Yoric has quit [Ping timeout: 256 seconds]
lggr has quit [Ping timeout: 240 seconds]
Tobu_ has quit [Read error: Connection reset by peer]
lggr has joined #ocaml
Tobu has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
avsm has quit [Quit: Leaving.]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
eikke has quit [Ping timeout: 252 seconds]
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
err404 has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
bitbckt has quit [Ping timeout: 245 seconds]
bitbckt has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
madroach has quit [Ping timeout: 265 seconds]
lggr has joined #ocaml
madroach has joined #ocaml
avsm has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
ferretsheene has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
mattrepl has joined #ocaml
jpdeplaix has quit [Ping timeout: 264 seconds]
jpdeplaix has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
DijkstraGroupie has quit [Ping timeout: 246 seconds]
DijkstraGroupie has joined #ocaml
lggr has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Yoric has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
mattrepl has quit [Quit: mattrepl]
ivan\ has joined #ocaml
DijkstraGroupie has left #ocaml []
DijkstraGroupie has joined #ocaml
lggr has joined #ocaml
avsm has quit [Quit: Leaving.]
lggr has quit [Ping timeout: 255 seconds]
Ptival has joined #ocaml
lggr has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
lggr has quit [Ping timeout: 244 seconds]
Yoric has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Quit: Leaving]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
DijkstraGroupie has quit [Quit: Lost terminal]
lggr has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
Yoric has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
DijkstraGroupie has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
ankit9 has joined #ocaml
osa1 has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lusory has joined #ocaml
lggr has joined #ocaml
Ptival has quit [Read error: Connection reset by peer]
emmanuelux has quit [Remote host closed the connection]
Ptival has joined #ocaml
cdidd has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
DijkstraGroupie has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
DijkstraGroupie has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
DijkstraGroupie has quit [Quit: lag]
lggr has joined #ocaml
DijkstraGroupie has joined #ocaml
Oejet has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
Tobu has quit [Read error: Connection reset by peer]
Tobu has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
Tobu has quit [Quit: No Ping reply in 180 seconds.]
Tobu has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
ulfdoz has joined #ocaml
DijkstraGroupie has quit [Quit: leaving]
lggr has joined #ocaml
snarkyboojum has quit [Ping timeout: 260 seconds]
snarkyboojum has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
cdidd has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
emias has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 240 seconds]
djcoin has joined #ocaml
hkBst has joined #ocaml
lggr has joined #ocaml
Yoric has joined #ocaml
ankit9 has quit [Quit: Leaving]
lggr has quit [Ping timeout: 256 seconds]
ferretsheene has quit [Quit: ferretsheene]
pango is now known as pangoafk
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
tufisi has joined #ocaml
lggr has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
gallais has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
Kakadu has joined #ocaml
mika1 has joined #ocaml
olle has joined #ocaml
lggr has joined #ocaml
eni has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
Kakadu_ has joined #ocaml
lggr has joined #ocaml
ankit9 has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
eni has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
ftrvxmtrx has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
tufisi has quit [Ping timeout: 240 seconds]
emias has joined #ocaml
lggr has joined #ocaml
eikke has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
thomasga has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
cago has joined #ocaml
lggr has joined #ocaml
cago has quit [Ping timeout: 245 seconds]
sithisbitch has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
hkBst has quit [Ping timeout: 240 seconds]
hkBst has joined #ocaml
lggr has joined #ocaml
hkBst has quit [Excess Flood]
hkBst has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
hkBst_ has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
Snark has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
olle has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
rixed has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 252 seconds]
Cyanure has joined #ocaml
flx_ has joined #ocaml
bzzbzz_ has joined #ocaml
DijkstraGroupie has joined #ocaml
Kakadu__ has joined #ocaml
orbitz_ has quit [Remote host closed the connection]
orbitz has joined #ocaml
bzzbzz has quit [Read error: Connection reset by peer]
flux has quit [Read error: Connection reset by peer]
flx_ is now known as flux
Kakadu_ has quit [Remote host closed the connection]
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
chambart has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
<Kakadu__> hi. if file.ml has not .mli-file than it's interace equals ouput of `ocaml -i file.ml`?
<f[x]> yes
<companion_cube> yes
lggr has quit [Ping timeout: 252 seconds]
<Kakadu__> It's bad....
<adrien> how would it be otherwise?
<Kakadu__> adrien: It's bad because now I have no idea why my error message occurs
<Kakadu__> adrien: btw otherwise case is, for example, when for all type aliases `type a = b` type `a' is abstract in .mli
Yoric has joined #ocaml
<adrien> I've arguments-overflown =/
<mfp> Kakadu: num_sample:int64 param only in expected signature
<mfp> according to diff -u
<adrien> mfp: I saw that one too but I think it's at a different location
<rwmjones> Kakadu__: yes .. essentially eveything is exported in that case
<mfp> right, at the end
<mfp> but the location counts too
<rwmjones> Kakadu__: it's also possible (though rare) to have an .mli file and no .ml file
olle has joined #ocaml
<adrien> mfp: yup, I can't remember the rules however, and I think ocaml can give an error message about the location
<Kakadu__> mfp: So, you want to say that order of labeled-arguments means something?
<mfp> # let f : b:int -> a:int -> int = (fun ~a ~b -> a + b);;
<mfp> # Error: This function should have type b:int -> a:int -> int but its first argument is labelled ~a
lggr has joined #ocaml
<Kakadu__> OMG
<Kakadu__> I'm noob
lggr has quit [Ping timeout: 252 seconds]
hongboz has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
DijkstraGroupie has left #ocaml []
hongboz has joined #ocaml
BiDOrD_ has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
BiDOrD has quit [Ping timeout: 272 seconds]
hkBst_ has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
hkBst_ has joined #ocaml
beckerb has joined #ocaml
hkBst__ has joined #ocaml
hkBst__ is now known as hkBst
hkBst_ has quit [Ping timeout: 256 seconds]
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
lggr has quit [Ping timeout: 260 seconds]
err404 has joined #ocaml
lggr has joined #ocaml
avsm has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
ontologiae has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
hongboz has quit [Ping timeout: 244 seconds]
hkBst has quit [Ping timeout: 240 seconds]
hkBst_ has joined #ocaml
chambart has joined #ocaml
lggr has joined #ocaml
hkBst_ has quit [Ping timeout: 240 seconds]
hkBst_ has joined #ocaml
sithisbitch has quit [Quit: Leaving]
Ronan_ has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 245 seconds]
hkBst_ has quit [Read error: Connection reset by peer]
lggr has joined #ocaml
hkBst__ has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
sepp2k1 has quit [Remote host closed the connection]
hkBst__ has quit [Read error: Connection reset by peer]
hkBst__ has joined #ocaml
avsm has quit [Quit: Leaving.]
lggr has joined #ocaml
hkBst__ has quit [Read error: Connection reset by peer]
hongboz has joined #ocaml
avsm has joined #ocaml
hkBst__ has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
avsm has quit [Client Quit]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
hkBst__ has quit [Read error: Connection reset by peer]
tufisi has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
hkBst has joined #ocaml
tufisi has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
hkBst has quit [Remote host closed the connection]
hkBst has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
ontologiae has quit [Quit: leaving]
ontologiae has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
Oejet has quit [Quit: Leaving.]
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
lggr has joined #ocaml
thomasga has quit [Ping timeout: 268 seconds]
hkBst has quit [Read error: Connection reset by peer]
lggr has quit [Ping timeout: 268 seconds]
hkBst has joined #ocaml
lggr has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
lggr has quit [Ping timeout: 260 seconds]
mattrepl has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
hkBst has quit [Ping timeout: 240 seconds]
hkBst has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
thomasga has joined #ocaml
ankit9 has quit [Quit: Leaving]
lggr has quit [Ping timeout: 255 seconds]
hkBst_ has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
lggr has joined #ocaml
smondet has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
Ptival has quit [Read error: Connection reset by peer]
lggr has joined #ocaml
eni has joined #ocaml
hkBst_ has quit [Read error: Connection reset by peer]
hongboz has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
hkBst__ has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
Tobu has quit [Ping timeout: 272 seconds]
ftrvxmtrx has quit [Quit: Leaving]
Tobu has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
Kakadu__ has quit [Quit: Konversation terminated!]
Kakadu has quit [Quit: Page closed]
eni has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
Cyanure has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
Cyanure has joined #ocaml
lggr has joined #ocaml
tufisi has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
Yoric has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
Kakadu has joined #ocaml
hkBst__ has quit [Quit: Konversation terminated!]
Ptival has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
Ptival has quit [Ping timeout: 240 seconds]
Ptival has joined #ocaml
lggr has joined #ocaml
Ptival has quit [Ping timeout: 246 seconds]
beckerb has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 244 seconds]
mika1 has quit [Quit: Leaving.]
lggr has joined #ocaml
Tobu has quit [Quit: No Ping reply in 180 seconds.]
Tobu has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
mattrepl has quit [Quit: mattrepl]
lggr has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
pangoafk is now known as pango
Submarine has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
ftrvxmtrx has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
chambart has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
Cyanure has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 244 seconds]
djcoin has quit [Quit: WeeChat 0.3.7]
ontologiae has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
emmanuelux has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
sepp2k has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
tufisi has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
osa1 has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
eikke has quit [Ping timeout: 244 seconds]
eikke has joined #ocaml
Oejet has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
osa1 has quit [Quit: Konversation terminated!]
lggr has joined #ocaml
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
err404 has quit [Ping timeout: 240 seconds]
emmanuelux has quit [Quit: emmanuelux]
lggr has joined #ocaml
emmanuelux has joined #ocaml
err404 has joined #ocaml
emmanuelux has quit [Read error: Connection reset by peer]
emmanuelux has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
ontologiae has quit [Ping timeout: 246 seconds]
DaoWen has joined #ocaml
<DaoWen> is there a simple way to convert a stream to a list?
lggr has joined #ocaml
hongboz has joined #ocaml
<_habnabit> DaoWen, a stream?
<DaoWen> yes
<DaoWen> I know the stream is finite, and I want to do pattern matching on the elements
<DaoWen> I think using cons syntax would be easiest
<DaoWen> e.g. a :: b :: tail
<DaoWen> but that doesn't work on streams
<DaoWen> so is there a simple way to convert the stream to a list?
Kakadu has quit [Ping timeout: 240 seconds]
Kakadu has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
<Qrntz> let to_list st = let rec aux l = try aux (Stream.next st :: l) with Stream.Failure -> List.rev l in aux []
<DaoWen> Qrntz: thanks
<Qrntz> you're welcome
chambart has joined #ocaml
lggr has joined #ocaml
nimred has quit [Quit: leaving]
nimred has joined #ocaml
Yoric has quit [Ping timeout: 244 seconds]
lggr has quit [Ping timeout: 248 seconds]
Cyanure has joined #ocaml
ImAlsoGreg has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
oriba has joined #ocaml
Oejet has quit [Ping timeout: 252 seconds]
Snark has quit [Quit: Quitte]
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
emmanuelux has quit [Quit: emmanuelux]
emmanuelux has joined #ocaml
ImAlsoGreg has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
rothwell has joined #ocaml
chambart has quit [Ping timeout: 245 seconds]
<rothwell> 'lo. i have a type declaration: "type t = T of int * (t list)" and now want to replace the list with an ordered set (from the standard library), but i obviously can't instantiate Set.Make if i've not yet defined the t type... what's the correct way to deal with this?
Ptival has joined #ocaml
lggr has joined #ocaml
<rothwell> oh... i've just noticed 'module rec' in the manual, that looks like it's what i want...
Submarine has quit [Ping timeout: 248 seconds]
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
<adrien> I can't think much right now but functors could be a good approach
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
DaoWen has quit [Quit: DaoWen]
<rothwell> http://pastebin.ca/2205386 <- that worked, for the record
DaoWen has joined #ocaml
Ptival has quit [Ping timeout: 240 seconds]
Ptival has joined #ocaml
lggr has joined #ocaml
cdidd has joined #ocaml
DaoWen has quit [Quit: DaoWen]
Ptival has quit [Ping timeout: 255 seconds]
lggr has quit [Ping timeout: 255 seconds]
lggr has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
lggr has quit [Ping timeout: 252 seconds]
thomasga1 has quit [Quit: Leaving.]
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
Anarchos has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
Cyanure has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
thebifnif has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
eikke has quit [Ping timeout: 245 seconds]
DaoWen has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
smondet has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
fraggle_ has quit [Remote host closed the connection]
lggr has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
fraggle_ has joined #ocaml
Yoric has joined #ocaml
olle has quit [Ping timeout: 244 seconds]
lggr has quit [Ping timeout: 252 seconds]
larhat has joined #ocaml
DaoWen has quit [Quit: DaoWen]
lggr has joined #ocaml
Ptival has joined #ocaml
err404 has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 268 seconds]
Ptival has quit [Quit: Leaving]
lggr has joined #ocaml
gnuvince has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 252 seconds]
CoverSlide has joined #ocaml
lggr has joined #ocaml
sepp2k has quit [Remote host closed the connection]
thebifnif has quit [Quit: thebifnif]
lggr has quit [Ping timeout: 240 seconds]
olle has joined #ocaml
olle has quit [Client Quit]
lggr has joined #ocaml