flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
mort___ has quit [Quit: Leaving.]
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
mcclurmc has joined #ocaml
wolfnn has quit [Ping timeout: 248 seconds]
jbrown has joined #ocaml
arjunguha has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
agarwal1975 has quit [Quit: agarwal1975]
S11001001 has joined #ocaml
mcclurmc has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
lostcuaz has joined #ocaml
WraithM has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
zarul has quit [Remote host closed the connection]
zarul has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
cdidd has quit [Ping timeout: 260 seconds]
<erider> let rec bindList (n::vars, v::vals, rho) = function
<erider> bindList (vars, vals, bind (n, v, rho))
<erider> | ([], [], rho) -> rho
<erider> | _ -> raise BindListLength;;
<erider> why does this give me a syntax error?
<erider> that line is at: (vars
jwatzman|work has quit [Quit: jwatzman|work]
ygrek has joined #ocaml
<S11001001> let rec bindList (n::vars, v::vals, rho) = function (vars, vals, bind (n, v, rho))
<S11001001> | ([], [], rho) -> rho
<S11001001> | _ -> raise BindListLength;;
<S11001001>
<S11001001> whoops
<erider> S11001001: error now moved to bind(n
<erider> do I need to (bind(n, v, rho))
<S11001001> I feel like there are a couple keywords missing here erider
<erider> exception BindListLength
<erider> let bind (name, v, rho) = (name, v) :: rho;;
<erider> that is missing
<erider> its a syntax error so I am doing something wrong :-(
<S11001001> erider: I mean `match' and `with'
<S11001001> i.e. match (vars, vals, bind (n, v, rho)) with
<erider> I calling the function bindList
<erider> recursively
talzeus_ has joined #ocaml
<def-lkb> let rec bindList = function | (n::vars, v::vals, rho) -> bindList (vars, vals, bind (n, v, rho)) | ([], [], rho) -> rho | _ -> raise BindListLength;;
zxqdms has joined #ocaml
<def-lkb> (the first | is optional, it's matter of taste but with the appropriate line returns I like the uniform look of the code with an | at every line)
ontologiae has quit [Ping timeout: 272 seconds]
nikki93 has quit [Remote host closed the connection]
<S11001001> def-lkb: I should try to get over reading | as "or" and as "where" instead
talzeus_ has quit [Remote host closed the connection]
<erider> thanks def-lkb and S11001001, now I need to figure out my type error
<def-lkb> np
<def-lkb> S11001001: well, | in ocaml should not be a read as a boolean or, but its meaning is not completely disconnected :)
nikki93 has joined #ocaml
<S11001001> def-lkb: I've heard the "where" formulation and it is equally intellectually appealing as "or".
<S11001001> C bias
manizzle has quit [Ping timeout: 276 seconds]
<def-lkb> fine
<erider> Error: This expression has type ('a * 'b) list but an expression was expected of type 'a list * 'b list * ('a * 'b) list
<erider> def-lkb: I think it is the -> (vars, vals, bind (n, v, rho)) return
<def-lkb> not in my code :)
<def-lkb> you made some error while copy-pasting
<def-lkb> (you probably forgot the recursive call to bindList)
<erider> yeah I see it now
<def-lkb> great. I have to go, bye
ollehar has quit [Ping timeout: 252 seconds]
<erider> thanks
ollehar has joined #ocaml
talzeus_ has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
cdidd has joined #ocaml
mcclurmc has joined #ocaml
ousado has quit [Remote host closed the connection]
mcclurmc has quit [Ping timeout: 252 seconds]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
watermind has quit [Client Quit]
watermind has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
arjunguha has quit [Quit: Textual IRC Client: www.textualapp.com]
cesar_ has joined #ocaml
cesar_ is now known as Guest67485
cdidd has quit [Ping timeout: 245 seconds]
manizzle has joined #ocaml
cdidd has joined #ocaml
talzeus_ has quit [Remote host closed the connection]
talzeus has joined #ocaml
shinnya has quit [Read error: Operation timed out]
mcclurmc has joined #ocaml
Guest67485 has quit [Remote host closed the connection]
manizzle has quit [Ping timeout: 246 seconds]
mcclurmc has quit [Ping timeout: 252 seconds]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
S11001001 has quit [Quit: bye bye]
kyrylo has quit [Ping timeout: 252 seconds]
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest63687
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
divyansr has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
ollehar has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
csakatoku has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
watermind has quit [Ping timeout: 246 seconds]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
mcclurmc has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
mcclurmc has quit [Ping timeout: 260 seconds]
jbrown has quit [Ping timeout: 245 seconds]
divyansr has quit [Remote host closed the connection]
divyansr has joined #ocaml
osa1_ has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
jbrown has joined #ocaml
<gasche> 00:47 < dsheets> anyone know how to install shared libraries that can be dynlinked from native code?
<gasche> isn't it what .cmxs are about?
<gasche> I experimented with native dynlink a few months ago, I don't remember the detail, only that it works
<gasche> also topfind can help you dynlink stuff
<Sfiv> gasche, would you be able to live without a good module system
<Sfiv> is it not like oxygen
<Sfiv> In that is is both vital for human survival, needed for conventional engines to run but really not a problem in nuclear power plants?
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
dant3 has joined #ocaml
introom has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ocp has quit [Ping timeout: 276 seconds]
ollehar has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
axiles has joined #ocaml
mcclurmc has joined #ocaml
jbrown has quit [Ping timeout: 272 seconds]
mcclurmc has quit [Ping timeout: 260 seconds]
ollehar has quit [Ping timeout: 252 seconds]
talzeus has quit [Remote host closed the connection]
ollehar has joined #ocaml
talzeus has joined #ocaml
manizzle has joined #ocaml
clog has quit [^C]
clog has joined #ocaml
<adrien> try "print_endline" rather than "print_string"
mcclurmc has joined #ocaml
<Kakadu> print_endline flushes stdout, IIRC
zxqdms has quit [Quit: leaving]
divyansr has quit [Remote host closed the connection]
<adrien> yup, I believe that is what is needed :)
mcclurmc has quit [Ping timeout: 260 seconds]
<adrien> that and the fact that buffed I/O usually waits for newlines to flush
<adrien> since print_string does neither of them
<Kakadu> but, AFAIR, Pritntf.printf "\n" doesn't flush
zpe has joined #ocaml
<adrien> yup, the '%!' format for printf is what you need to flush
<Rc43> adrien, Kakadu, ye, I didn't imagine that; but this time it was just an exception :)
<adrien> ok :)
<Rc43> adrien, Kakadu, didn't know about flushing differences between *string and *endline
divyansr has joined #ocaml
<adrien> well, print_string only writes the string; print_endline also writes a newline and flushes the output
zpe has quit [Ping timeout: 260 seconds]
<adrien> so for debug, forget about print_string and use print_endline :)
<adrien> or Printf.printf "your format %!" your values
<adrien> (with a newline too)
<Kakadu> I usually use printf everywhere
<Rc43> At first I used ocaml debugger for coq but then something gone wrong and I am too lazy to investigate the issue.
robink has quit [Quit: No Ping reply in 180 seconds.]
robink has joined #ocaml
AltGr has joined #ocaml
dsheets has joined #ocaml
mika1 has joined #ocaml
dant3 has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
skchrko has joined #ocaml
talzeus has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 276 seconds]
talzeus has joined #ocaml
osa1_ has quit []
q66 has quit [Quit: Leaving]
darkf_ has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
darkf has quit [Ping timeout: 245 seconds]
Kakadu_ has joined #ocaml
Kakadu has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
<Kakadu_> What do you think: is it reasonable to add http://dl.acm.org/citation.cfm?id=507641 into http://ocaml.org/docs/papers.html ?
dant3 has joined #ocaml
adrien_o1w has joined #ocaml
adrien_oww has quit [Ping timeout: 252 seconds]
talzeus has quit [Ping timeout: 272 seconds]
divyansr has quit [Remote host closed the connection]
talzeus has joined #ocaml
<companion_cube> probably, yes
ollehar has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
adrien_o1w is now known as adrien_oww
ollehar has joined #ocaml
zpe has quit [Read error: No route to host]
zpe has joined #ocaml
rwmjones has joined #ocaml
thomasga has joined #ocaml
divyansr has joined #ocaml
darkf_ is now known as darkf
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
jonludlam has joined #ocaml
martintrojer has quit [Read error: Connection reset by peer]
_andre has joined #ocaml
martintrojer has joined #ocaml
ocp has joined #ocaml
noplamodo has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
noplamodo has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
csakatok_ has quit [Remote host closed the connection]
talzeus has joined #ocaml
adrien_oww has quit [Ping timeout: 245 seconds]
adrien_oww has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
ontologiae has joined #ocaml
csakatoku has joined #ocaml
introom has quit [Ping timeout: 252 seconds]
introom has joined #ocaml
csakatoku has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
rand000 has joined #ocaml
talzeus has quit [Remote host closed the connection]
mcclurmc has quit [Ping timeout: 246 seconds]
talzeus has joined #ocaml
thomasga has quit [Quit: Leaving.]
_5kg has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 276 seconds]
avsm has quit [Quit: Leaving.]
divyansr has quit [Remote host closed the connection]
divyansr has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
Rc43 has quit [Ping timeout: 272 seconds]
Thooms has joined #ocaml
Arach has joined #ocaml
thomasga has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Ping timeout: 265 seconds]
dant3 has quit [Remote host closed the connection]
introom has quit [Ping timeout: 272 seconds]
jbrown has quit [Ping timeout: 252 seconds]
ski has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
rwmjones has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
introom has joined #ocaml
divyansr has quit [Remote host closed the connection]
divyansr has joined #ocaml
dant3 has joined #ocaml
rwmjones has joined #ocaml
failshell has joined #ocaml
<failshell> hey guys. im trying to fetch http://download.camlcity.org/download/ocamlnet-3.7.3.tar.gz but the site seems down. where else can i get that tarball?
<companion_cube> ask thomasga1, maybe
<thomasga1> not exactly the same tarball but you can try https://opam.ocaml.org/archives/ocamlfind.1.4.0+opam.tar.gz
<thomasga1> woops
<thomasga1> wrongly read the question
<failshell> trying to install google-drive-ocamlfuse
<failshell> but camlcity.org seems down
<companion_cube> too bad opam.ocaml.org forbids listing the directory :(
<failshell> so there's no other mirrors?
<Sfiv> How does OCaml internally implement destructuring of type Foo = Left of int | Right of int;;?
<thomasga1> companion_cube: agreed
<companion_cube> strange that opam cannot failback on this
<Sfiv> As in, pattern matching to distructure it
<thomasga1> you can list the files https://opam.ocaml.org/urls.txt
<thomasga1> but would be better to make the directory readable
<companion_cube> Sfiv: it's a switch on an integer
<companion_cube> to know whether the constructor is Left or Right
<Sfiv> Well, let's do Left of String | Right of Float
<companion_cube> then accessing the fields is a simple offset
<companion_cube> every value has the same size
<companion_cube> Sfiv: you first need to understand the representation of values
<failshell> companion_cube: why does the name have +opam in it? is it the same as the one im looking for?
<Sfiv> So wait, union types have room for all values even with | ?
<Sfiv> Like, Foo actually allocates for both Left and Right?
<companion_cube> Sfiv: in union types, constructors without arguments are ints, constructors with arguments are heap-allocated blocks
<companion_cube> with a header containing an int to discriminate the constructor
<companion_cube> so type 'a option = None | Some of 'a
<companion_cube> None is an int (0) and (Some 42) is a block [ header(1) | 42 ]
<companion_cube> in your case both constructors allocate
<Sfiv> So it's tagged basically
<Sfiv> That's how it does it
<companion_cube> yes, values are tagged
<companion_cube> http://rwmj.wordpress.com/2009/08/04/ocaml-internals/ if you're interested
<Sfiv> well, I knew about that part.
<Sfiv> I was more wondering how it could destructure type constructors, but it's apparently tagged
Simn has joined #ocaml
<Sfiv> So an entire word is wasted just on tag basically?
<companion_cube> the header actually contains more information
<Sfiv> Hmm, such as/
<failshell> how can i get opam to install with the tarball i downloaded?
<companion_cube> (for the GC, etc.)
<companion_cube> so yes, there is an overhead
kyrylo has joined #ocaml
<ski> (nitpick, s/type constructors/data constructors/ -- also, it's not exactly "union types", precisely because one needs tags to discriminate. some common names are "discriminated union types","sum types","variant types","coproduct types". "algebraic data types" are related, but not exactly the same)
<failshell> where does opam download tarballs? trying to trick it with the one i downloaded
thomasga1 has quit [Quit: Leaving.]
<failshell> ive put it in ~/.opam/packages.dev/ocamlnet.3.7.3 but it still tries to download it
<companion_cube> ski: right
talzeus has quit [Remote host closed the connection]
jonludlam has quit [Remote host closed the connection]
ygrek has joined #ocaml
mcclurmc has joined #ocaml
ggole has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
<Sfiv> companion_cube, nevertheless though, it can't take 32 or 64 bits to put all that info right?
darkf has quit [Quit: Leaving]
manizzle has quit [Ping timeout: 246 seconds]
<companion_cube> Sfiv: I don't know exactly, but I think so, for alignment reasons
<Drup> Sfiv: you will only slow stuff down if you want to access non aligned stuff
<adrien_oww> Sfiv: it does
<adrien_oww> Drup: not necessarily
<adrien_oww> but definitely, "bool" in ocaml is not 1 bit
thomasga has joined #ocaml
<companion_cube> in no language
<companion_cube> even in C, bool is one byte
<companion_cube> (unless you use bitfields)
<Sfiv> It is in C-- but you can't store it in variable.
<companion_cube> one word of waste for heap values is worse than nothing, but better than some other languages (java for instance)
<companion_cube> and you need some overhead anyway, for the GC
yacks has joined #ocaml
Sfiv is now known as Mrevchez
<adrien_oww> bool in 1 bit is awful for performance
<adrien_oww> iirc ocaml cannot work with words less than 32b
<companion_cube> well, it's one register per value anyway
sepp2k has joined #ocaml
_5kg has quit [Ping timeout: 248 seconds]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
agarwal1975 has joined #ocaml
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
avsm has joined #ocaml
failshell has quit [Read error: Connection reset by peer]
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #ocaml
divyansr has quit [Remote host closed the connection]
<pippijn> hi
<adrien_oww> hi pippijn
shinnya has joined #ocaml
mcclurmc has joined #ocaml
<Mrevchez> adrien_oww, say 'pippijntje', in my experience Dutch people like that
<Mrevchez> Do it.
<pippijn> adrien_oww: the answer to that is Mrevchez's gecos
watermind has joined #ocaml
<Mrevchez> Gecos?
divyansr has joined #ocaml
<pippijn> realname field
mcclurmc has quit [Ping timeout: 248 seconds]
<pippijn> in irc
<Mrevchez> pippijn, what does it say?
<Mrevchez> Yours clearly betrays your Dutchness
<pippijn> how so?
<Mrevchez> Only the Dutch would have ij, + van + so many double letters
<pippijn> right
<pippijn> no betrayal
<Mrevchez> Well, just make sure the republicans don't find out.
<pippijn> I'm in france
<Mrevchez> You would truly leave the vlaamsche frieten for the escargots?
<Mrevchez> Also, France does not have this stroopwafel business.
arjunguha has joined #ocaml
Thooms has quit [Ping timeout: 252 seconds]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
divyansr has quit [Quit: Leaving...]
arjunguha has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
shinnya has quit [Read error: Operation timed out]
divyansr has joined #ocaml
phao has joined #ocaml
talzeus has joined #ocaml
agarwal1975 has joined #ocaml
arjunguh_ has joined #ocaml
saml has joined #ocaml
arjunguha has quit [Ping timeout: 246 seconds]
phao has left #ocaml []
mcclurmc has joined #ocaml
ousado has joined #ocaml
WraithM_ has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
lostcuaz has joined #ocaml
Thooms has joined #ocaml
mika1 has quit [Quit: Leaving.]
tnguyen has quit [Quit: tnguyen]
dant3 has quit [Remote host closed the connection]
thizanne has quit [Ping timeout: 252 seconds]
cynddl has quit [Ping timeout: 272 seconds]
dant3 has joined #ocaml
jbrown has joined #ocaml
dant3 has quit [Ping timeout: 252 seconds]
mreca has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
mhi^ has joined #ocaml
divyansr has quit [Remote host closed the connection]
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
_5kg has joined #ocaml
watermind has quit [Client Quit]
watermind has joined #ocaml
watermind has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
Kakadu_ has quit [Quit: Page closed]
watermind has joined #ocaml
agarwal1975 has joined #ocaml
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jbrown has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
thomasga has quit [Quit: Leaving.]
introom has quit [Ping timeout: 276 seconds]
amirmc has joined #ocaml
sillyotter has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
sillyotter has quit [Quit: Leaving]
ygrek has quit [Ping timeout: 245 seconds]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
j0sh has quit [Quit: leaving]
j0sh has joined #ocaml
introom has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
rwmjones has quit [Ping timeout: 252 seconds]
introom has quit [Ping timeout: 245 seconds]
Thooms has quit [Ping timeout: 272 seconds]
dant3 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
dant3 has quit [Ping timeout: 272 seconds]
Guest63687 has quit [Remote host closed the connection]
rwmjones has joined #ocaml
skchrko has quit [Remote host closed the connection]
Kakadu has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
arjunguh_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ulfdoz has joined #ocaml
arjunguha has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
ollehar has quit [Ping timeout: 252 seconds]
divyansr has joined #ocaml
ollehar has joined #ocaml
jwatzman|work has joined #ocaml
AltGr has left #ocaml []
Thooms has joined #ocaml
mreca has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ollehar has joined #ocaml
q66 has joined #ocaml
zpe has quit [Read error: Operation timed out]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
thomasga has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
Thooms has joined #ocaml
avsm has quit [Ping timeout: 272 seconds]
ollehar has quit [Ping timeout: 252 seconds]
dant3 has joined #ocaml
ollehar has joined #ocaml
divyansr has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ontologiae has joined #ocaml
yacks has quit [Quit: Leaving]
yacks has joined #ocaml
kyrylo has quit [Ping timeout: 272 seconds]
mhi^ has quit [Quit: Lost terminal]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
dsheets has quit [Read error: Operation timed out]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
divyansr has joined #ocaml
ocp has quit [Ping timeout: 252 seconds]
divyansr has quit [Remote host closed the connection]
tane has joined #ocaml
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
S1100100` has joined #ocaml
ollehar has joined #ocaml
S11001001 has quit [Read error: Connection reset by peer]
S1100100` is now known as S11001001
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
tane has quit [Quit: Verlassend]
pango has quit [Ping timeout: 276 seconds]
pango has joined #ocaml
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
user__ has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
avsm has joined #ocaml
ulfdoz has quit [Ping timeout: 272 seconds]
divyansr has joined #ocaml
ggole has quit []
amirmc has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
sepp2k has quit [Quit: Konversation terminated!]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nlucaroni has joined #ocaml
arjunguha has joined #ocaml
_andre has quit [Quit: leaving]
vbv has joined #ocaml
divyansr has quit [Remote host closed the connection]
Thooms has quit [Quit: WeeChat 0.3.8]
Thooms has joined #ocaml
vbv has left #ocaml []
mhi^ has joined #ocaml
avsm has quit [Quit: Leaving.]
user__ is now known as SofiaLucifairy
Amanite has joined #ocaml
malo has joined #ocaml
wolfnn has joined #ocaml
manizzle has joined #ocaml
jonludlam has joined #ocaml
lostcuaz has joined #ocaml
jonludlam has quit [Ping timeout: 246 seconds]
mal`` has quit [Ping timeout: 276 seconds]
Snark has quit [Read error: Operation timed out]
csakatoku has joined #ocaml
<companion_cube> it's quiet here
Kakadu has quit []
csakatoku has quit [Remote host closed the connection]
mreca has joined #ocaml
mal`` has joined #ocaml
csakatoku has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
<nlucaroni> ... too quiet?
<orbitz> Hello
<orbitz> companion_cube: do you use lwt or async?
<companion_cube> orbitz: lwt, because I don't use core
<orbitz> companion_cube: have any ideas for qcheck for monadic things?
<Drup> That's tendentious, orbitz, careful with personal questions :3
agarwal1975 has quit [Quit: agarwal1975]
<companion_cube> orbitz: hmmmmmmm, you mean qcheck on properties that would retunr bool Lwt.t?
peterbb has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
malo has quit [Quit: Leaving]
jonludlam has joined #ocaml
Eyyub has joined #ocaml
csakatoku has quit []
Amanite has quit [Quit: Lost terminal]
rgrinberg1 is now known as rgrinberg
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
nikki93 has joined #ocaml
ollehar has quit [Remote host closed the connection]
ollehar has joined #ocaml
<orbitz> companion_cube: yessir
<companion_cube> hmmm, use Lwt_main.run to exit the monad? ^^
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
<Drup> running multiple Lwt_main.run is not a good idea.
<companion_cube> no, sequentially
<companion_cube> I mean each property could use it
<Drup> that's still multiple of them
<companion_cube> (unless you can't run Lwt_main.run several times sequentially?)
<Drup> I think it's ok to do it on Unix but that's not intended
<companion_cube> that's... weird
agarwal1975 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
rainbyte has joined #ocaml
Eyyub has quit [Ping timeout: 272 seconds]
Eyyub has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
gargaml has joined #ocaml
kyrylo has joined #ocaml
Eyyub has quit [Ping timeout: 272 seconds]
axiles has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
Eyyub has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
dant3 has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ontologiae has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
manizzle is now known as WeLoveCP
ollehar has joined #ocaml
WeLoveCP is now known as manizzle
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
saml has quit [Quit: Leaving]
Eyyub_ has joined #ocaml
Eyyub has quit [Ping timeout: 252 seconds]
Eyyub_ has quit [Ping timeout: 245 seconds]
Eyyub has joined #ocaml
thomasga has joined #ocaml
nikki93 has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
darkf has joined #ocaml
gargaml has quit [Quit: WeeChat 0.4.2]
ollehar has quit [Ping timeout: 252 seconds]
agarwal1975 has quit [Quit: agarwal1975]
ollehar has joined #ocaml
wolfnn has quit [Ping timeout: 260 seconds]
WraithM_ has quit [Ping timeout: 246 seconds]
Eyyub has quit [Ping timeout: 245 seconds]
tristero has quit [Quit: tristero]
Eyyub has joined #ocaml
nikki93 has joined #ocaml
Simn has quit [Quit: Leaving]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
Eyyub has quit [Ping timeout: 245 seconds]
ohama has quit [Ping timeout: 252 seconds]
Eyyub has joined #ocaml
ohama has joined #ocaml
jonludlam has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
milosn has quit [Read error: No route to host]
milosn has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
jwatzman|work has joined #ocaml
csakatoku has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
arjunguha has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
RagingDave has joined #ocaml
RagingDave has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
dsheets has joined #ocaml
rand000 has quit [Quit: leaving]
agarwal1975 has joined #ocaml