gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
jakedouglas has quit [Quit: Leaving.]
srcerer_ has joined #ocaml
srcerer has quit [Ping timeout: 240 seconds]
srcerer_ is now known as srcerer
mjonsson has joined #ocaml
_unK has quit [Remote host closed the connection]
grettke has quit []
<mjonsson> is there any ubuntu package for ocaml 3.12?
<mjonsson> i was using Map.Make and noticed that 3.12 has a lot of useful functions that are not in 3.11.2
jakedouglas has joined #ocaml
mjonsson has quit [Remote host closed the connection]
mjonsson has joined #ocaml
valross has joined #ocaml
valross has quit [Ping timeout: 265 seconds]
valross has joined #ocaml
<flux> oh really? what's new?
<flux> (I'm intrigued, not sharky :))
<thelema> flux: Map.singleton, merge, for_all, exists, filter, partition, cardinal, bindings, min_binding, max_binding, choose, split
<flux> nice! I've been missing those :)
<flux> (although batteries has the most interesting of those?)
tmaeda has quit [Ping timeout: 240 seconds]
<thelema> yes, batteries has most of these already...
<thelema> we return an enum instead of a list for [bindings]
<thelema> and I'm not sure we have a merge function for maps, but I know we have one for IMaps (I use it a lot, and it was a *pain* to write)
<flux> does it work?-)
<flux> (complicated tree manipulation is always a suspect ;-))
<thelema> mine? probably. Theirs? yes.
tmaeda has joined #ocaml
mjonsson has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
hto has quit [Read error: Connection reset by peer]
hto has joined #ocaml
ygrek has joined #ocaml
valross has quit [Remote host closed the connection]
Yoric has joined #ocaml
joewilliams is now known as joewilliams_away
gildor has quit [Ping timeout: 240 seconds]
gildor has joined #ocaml
ttamttam has joined #ocaml
ulfdoz has quit [Quit: deprecated]
ftrvxmtrx has quit [Quit: Leaving]
Amorphous has quit [Ping timeout: 240 seconds]
Amorphous has joined #ocaml
ikaros has joined #ocaml
Yoric has quit [Quit: Yoric]
ftrvxmtrx has joined #ocaml
sepp2k has joined #ocaml
Yoric has joined #ocaml
th5 has joined #ocaml
robthebob has quit [Remote host closed the connection]
boscop_ has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
goncalo has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 245 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
barismetin has joined #ocaml
smimou has joined #ocaml
ygrek has joined #ocaml
chee has quit [Ping timeout: 245 seconds]
rwmjones is now known as rwmjones|lunch
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
hto has quit [Read error: Connection reset by peer]
chee has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
explodus_ has left #ocaml []
explodus has joined #ocaml
rwmjones|lunch is now known as rwmjones
<adrien> hi, I just stumbled on something I believe is an ocaml bug or at least a deficiency: http://vpaste.net/928Hh? (very short and simple reproducer), is anyone aware of a bug report or a comment about that? (so I don't open needlessly a bug report)
<flux> well, I suppose it may be a bug, but I'm not sure how well implicit coercions involving optinal arguments are supposed to work
<flux> but it does work in other cases so I imagine it should work in that as well
ygrek has joined #ocaml
<adrien> it's not hard to work around but the behaviour was quite unexpected =/
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
<kaustuv> adrien: the principal type of (fun f -> f ()) is (unit -> 'a) -> 'a, not (?foo:'b -> ?bar:'c -> ... -> unit -> 'a) -> 'a. I'm sure you can see that the ML type system cannot express the kind of polymorphism that would abstract over all such implicit arguments.
<adrien> kaustuv: I see how it can be hard (or impossible maybe) but (fun f -> f ()) works while (fun f -> f () ()) doesn't: it fails when the argument is enclosed between two non-optional arguments
<adrien> I'm ok with it not working but I wish the error message were better
<kaustuv> Ah, I see. There is apparently some magic that allows an initial sequence of implicit arguments to be omitted.
<kaustuv> That is, a function of type ?a:int -> unit -> unit is acceptable as an argument that is expected to be of type unit -> unit, etc.
chee has quit [Ping timeout: 276 seconds]
<kaustuv> Actually, the magic is deeper. This fails too:
<kaustuv> # let f ?(a=10) ?(b=20) () = ()
<kaustuv> let h f = f ?b:(Some 30) ()
<kaustuv> let _ = h f ;;
munga has joined #ocaml
munga has quit [Read error: Connection reset by peer]
munga has joined #ocaml
<kaustuv> I would suggest posting about this to the caml-list instead of filing a bug report
hyperboreean has quit [Quit: leaving]
munga has quit [Client Quit]
munga has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
hyperbor1ean has joined #ocaml
avsm has joined #ocaml
hyperbor1ean has quit [Client Quit]
ttamttam has quit [Remote host closed the connection]
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
hyperbor1ean has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
lpereira has joined #ocaml
hyperbor1ean has quit [Quit: leaving]
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
Yoric has quit [Client Quit]
mjonsson has joined #ocaml
hyperboreean has joined #ocaml
hyperboreean has quit [Client Quit]
fraggle_laptop has joined #ocaml
hyperboreean has joined #ocaml
hyperboreean has quit [Changing host]
hyperboreean has joined #ocaml
hto has joined #ocaml
hyperboreean has quit [Quit: leaving]
hyperboreean has joined #ocaml
hyperboreean has quit [Changing host]
hyperboreean has joined #ocaml
hyperboreean has quit [Client Quit]
hyperboreean has joined #ocaml
hyperboreean has quit [Changing host]
hyperboreean has joined #ocaml
mjonsson has quit [Remote host closed the connection]
hto has quit [Quit: Lost terminal]
hto has joined #ocaml
jakedouglas has joined #ocaml
Yoric has joined #ocaml
avsm has quit [Quit: Leaving.]
joewilliams_away is now known as joewilliams
_unK has joined #ocaml
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
ftrvxmtrx has quit [Read error: Connection reset by peer]
ikaros has joined #ocaml
rbancrof1 has left #ocaml []
rbancroft has joined #ocaml
ftrvxmtrx has joined #ocaml
iago has joined #ocaml
boscop_ has quit [Ping timeout: 240 seconds]
boscop_ has joined #ocaml
rwmjones is now known as rwmjones_biab
barismetin has quit [Remote host closed the connection]
ygrek has joined #ocaml
fraggle_laptop has quit [Read error: Connection reset by peer]
ulfdoz has joined #ocaml
init1 has joined #ocaml
rwmjones_biab is now known as rwmjones
th5 has quit [Quit: th5]
ftrvxmtrx has quit [Quit: Leaving]
Yoric has quit [Quit: Yoric]
itewsh has joined #ocaml
ftrvxmtrx has joined #ocaml
Edward_ has joined #ocaml
Yoric has joined #ocaml
ygrek has quit [Remote host closed the connection]
ztfw has joined #ocaml
itewsh has quit [Quit: o/]
ygrek has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
oriba has joined #ocaml
oriba has quit [Client Quit]
sepp2k has quit [Quit: sepp2k]
sepp2k has joined #ocaml
_unK has quit [Remote host closed the connection]
munga has quit [Ping timeout: 240 seconds]
chee has joined #ocaml
_unK has joined #ocaml
chee has quit [Ping timeout: 240 seconds]
Edward_ has quit [Ping timeout: 240 seconds]
rwmjones is now known as rwmjones_biab
rwmjones_biab is now known as rwmjones
init1 has quit [Quit: Quitte]
Edward_ has joined #ocaml
munga has joined #ocaml
rwmjones is now known as rwmjones_biab
chee has joined #ocaml
<hcarty> Would a Map.accum function (http://codepad.org/fad9wc0Q) be generally useful enough to add to Batteries?
<hcarty> I run in to situations where it would be somehow useful to use Map rather than Hashtbl
<hcarty> Since Hashtbl already has a find_all function.
ztfw has quit [*.net *.split]
Modius has quit [*.net *.split]
LionMadeOfLions has quit [*.net *.split]
hcarty has quit [*.net *.split]
schmrkc has quit [*.net *.split]
shawnps has quit [*.net *.split]
patronus has quit [*.net *.split]
nejimban has quit [*.net *.split]
shachaf has quit [*.net *.split]
hcarty has joined #ocaml
shawnps has joined #ocaml
schmrkc has joined #ocaml
schmrkc has quit [Changing host]
schmrkc has joined #ocaml
shachaf has joined #ocaml
nejimban has joined #ocaml
patronus has joined #ocaml
ztfw has joined #ocaml
LionMadeOfLions has joined #ocaml
Modius has joined #ocaml
marchdown_ has joined #ocaml
marchdown_ has quit [Excess Flood]
marchdown_ has joined #ocaml
munga has quit [Ping timeout: 255 seconds]
marchdown_ has quit [Quit: marchdown_]
smimou has quit [Quit: bli]
bzzbzz has quit [Quit: leaving]
Smerdyakov has joined #ocaml
ztfw has quit [Remote host closed the connection]
rwmjones_biab is now known as rwmjones
Yoric has quit [Quit: Yoric]
sepp2k has quit [Quit: sepp2k]
ygrek has quit [Ping timeout: 245 seconds]
oriba has joined #ocaml
oriba has quit [Quit: Verlassend]
boscop_ has quit [Ping timeout: 240 seconds]
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
ulfdoz has quit [Ping timeout: 265 seconds]
ulfdoz has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
nejimban has quit [Quit: changing servers]
nejimban has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
bzzbzz has joined #ocaml
Smerdyakov has quit [Quit: Leaving]
bzzbzz has quit [Quit: leaving]
bzzbzz has joined #ocaml
munga has joined #ocaml
iago has quit [Quit: Leaving]
munga has quit [Ping timeout: 240 seconds]
lpereira has quit [Quit: Leaving.]