<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]