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
dnolen_ has joined #ocaml
iratsu has joined #ocaml
othiym23 has quit [Ping timeout: 276 seconds]
alexyk has quit [Quit: alexyk]
alexyk has joined #ocaml
alexyk has quit [Quit: alexyk]
alexyk has joined #ocaml
joewilliams is now known as joewilliams_away
RAW has joined #ocaml
sepp2k has quit [Quit: Leaving.]
impy has quit [Ping timeout: 264 seconds]
metasyntax|work has quit [Ping timeout: 240 seconds]
metasyntax|work has joined #ocaml
joewilliams_away is now known as joewilliams
vivanov has joined #ocaml
ulfdoz has joined #ocaml
Julien_T has quit [Ping timeout: 255 seconds]
Julien_Tz has joined #ocaml
Julien_Tz is now known as Julien_T
ikaros has joined #ocaml
vivanov has quit [Read error: No route to host]
hto has joined #ocaml
hto has quit [Client Quit]
hto_ has quit [Quit: leaving]
dnolen_ has quit [Quit: dnolen_]
ulfdoz has quit [Ping timeout: 255 seconds]
ztfw has joined #ocaml
tautologico has quit [Quit: tautologico]
alexyk has quit [Quit: alexyk]
larhat has joined #ocaml
avsm has quit [Quit: Leaving.]
ankit9 has quit [Quit: Leaving]
solistic has joined #ocaml
solistic has quit [Quit: leaving]
ankit9 has joined #ocaml
edwin has joined #ocaml
avsm has joined #ocaml
mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
mal`` has joined #ocaml
Amorphous has quit [Read error: Operation timed out]
mcclurmc_ has quit [Ping timeout: 276 seconds]
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
Amorphous has joined #ocaml
lopex has joined #ocaml
mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
mal`` has joined #ocaml
dcolish has quit [Ping timeout: 260 seconds]
tommd has quit [Ping timeout: 276 seconds]
ftrvxmtrx has joined #ocaml
_andre has joined #ocaml
bobry1 has joined #ocaml
metasyntax|work has quit [Ping timeout: 264 seconds]
metasyntax|work has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 276 seconds]
<adrien> gildor: hmmm, if you continue like that, you're going to be the creator of the biggest number of ocaml libraries :-)
<adrien> (I wonder if I should switch to a library use of libarchive which I use in yypkg, but with the command-line tools)
grettke has joined #ocaml
grettke has left #ocaml []
meltem has quit [Remote host closed the connection]
metasyntax|work has quit [Quit: WeeChat [quit]]
alpounet has quit [Quit: Bye.]
alpounet has joined #ocaml
ezyang has joined #ocaml
<ezyang> Is there a definitive reference for programming OCaml's module system anywhere?
<ezyang> I'm doing fancy stuff with functor types, and I'm failing my syntax-check.
<thelema> ezyang: yes, there's a complete syntax description in the manual, one sec...
<ezyang> cool.
<ezyang> OK, so if I have 'module type State = functor (Val : S) -> sig ...' and I have 'module Ledger (Val : S)' and I want to say Ledger is a module of type State, how do I do that?
<ezyang> Oh, write it out the long way: 'module Ledger : State functor (Val : S) -> struct ...'
Smerdyakov has joined #ocaml
ankit9 has quit [Quit: Leaving]
larhat has quit [Ping timeout: 246 seconds]
lopex has quit [Ping timeout: 252 seconds]
Cyanure has joined #ocaml
lopex has joined #ocaml
iratsu has quit [Ping timeout: 250 seconds]
iratsu has joined #ocaml
Cyanure has quit [Remote host closed the connection]
lopex has quit []
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
dcolish has joined #ocaml
lopex has joined #ocaml
<hcarty> git support on Google Code... that's nice of them
ulfdoz has joined #ocaml
<adrien> took some time however, wonder why
<hcarty> adrien: Probably adjusting the filesystem-based backend to play nicely with bigtable
<hcarty> adrien: And they may have hoped hg support would make the demand go away :-)
<adrien> ah, right, might be because of that
<adrien> I had a bad experience with hg today, tried it on windows with tortoisehg, kept telling me that file "blackhole" had no "fileno" property... in the end, git worked much better on windows; it was supposed to be the other way round
othiym23 has joined #ocaml
Smerdyakov has quit [Quit: Leaving]
lopex has quit [Ping timeout: 260 seconds]
lopex has joined #ocaml
bobry1 has quit [Ping timeout: 255 seconds]
sepp2k has joined #ocaml
sepp2k has quit [Ping timeout: 255 seconds]
<thelema> hmm, there's no way to have a map function argument that defaults to identity but still allows ('a -> 'b) arguments, is there...
<thelema> i.e. let map ?(f:'a -> 'b = identity) x = f x
alexyk has joined #ocaml
sepp2k has joined #ocaml
avsm1 has quit [Quit: Leaving.]
jamii has joined #ocaml
<hcarty> thelema: No, sadly not
<hcarty> I've tried before... if you find a way, I'm interested!
<thelema> well, there's likely a way using records to force the type of the argument, but that's ugly
<thelema> i.e. type map_arg = {f:'a -> 'b}
<thelema> let map ?(f:map_arg = {f=identity}) x = f.f x
<hcarty> thelema: That still gives you val map : ?f:('a, 'a) map_arg -> 'a -> 'a
<thelema> err, nope.
<thelema> I was thinking more like: # type map_arg = {f : 'a 'b . 'a -> 'b};;
<thelema> but this doesn't allow {f=identity}
iratsu has quit [Ping timeout: 260 seconds]
avsm has joined #ocaml
iratsu has joined #ocaml
<gildor> adrien: it is so easy to do a lot of small libraries with oasis, that it is easy to release a lot
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
milosn has quit [Read error: Connection reset by peer]
alexyk has quit [Quit: alexyk]
milosn has joined #ocaml
bzzbzz has quit [Quit: leaving]
avsm has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
iratsu has quit [Quit: Leaving.]
mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
mal`` has joined #ocaml
alexyk has joined #ocaml
alexyk has quit [Client Quit]
edwin has quit [Remote host closed the connection]
cthuluh has quit [Quit: Life is the only flaw in an otherwise perfect nonexistence]
avsm has joined #ocaml
cthuluh has joined #ocaml
Obfuscate has quit [*.net *.split]
Obfuscate has joined #ocaml
Obfuscate has quit [Ping timeout: 246 seconds]
Obfuscate has joined #ocaml
othiym23 has quit [Quit: Leaving...]
othiym23 has joined #ocaml
othiym23 has quit [Client Quit]
othiym23 has joined #ocaml
ikaros has quit [Remote host closed the connection]
ztfw has quit [Remote host closed the connection]
jamii has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Client Quit]
avsm has quit [Quit: Leaving.]
alexyk has joined #ocaml
srcerer has quit [Ping timeout: 258 seconds]
Obfuscate` has joined #ocaml
Obfuscate has quit [Ping timeout: 246 seconds]
Obfuscate` is now known as Obfuscate